(pi/2-arctan(x)) * second derivative of pi/2-arctan(x)-(derivative of pi/2-arctan(x))^2