How do you find the antiderivative of x32?