Integral[pi/2 - arctan(x^2),{x, 0, infinity}]