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