primitive of sqrt(1+x^2)