(x^2+1)^2-x^2