∫(1 √(x^2-1))dx