\int 1/(1+arctan(x))