integrate (1/(1+arctan(x)))