∫ dt / [ (t^2 + 1)·√(t^2 - 1) ]