integral of sqrt(1+x^2)