∫1/(x^2-1) dx