integral(-1/(1+x^2)) + pi/2; arccot