integrate(1/(x^2-1), x=2..3)