antiderivative of (7x+3)/(x^2+1)