int 1/sqrt(1 + x^2) dx