integral of sqrt(x^2 + 1)