How do you find the antiderivative of #int (x^2+1)^2 dx#?