integrate(1/sqrt(x**2 + 1))