integral of \sqrt{x^2-1}