integrate 1/(t Sqrt(t^2-1)) dt