antiderivative of 1/(x^2-9) dx