integral 1/(x^2 - 1)