integral 1/(1+atan(x))