integrate 1/(1+x^2) dx