How do you find the antiderivative of x44x2dx?