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