What is the antiderivative of (5x)/(x^2+1)?