antiderivative of (x-3)/(x^2+1) dx