Question 401207
= (x^2+1)*arctan(x)/2 - x/2 + C