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