integrate(atan(1/(1-x**2)), x)