Integral of 1/sqrt(x^2-1)