int sqrt(1+x^2) dx