integral of 1/(x^2+1)