arctan(x) + arccot (x) = pi/2