integral dx/sqrt(1+x^2)