integrate (1)/(sqrt(1 + x^2)) dx