integral arctan(x)/(1+x^2)