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