What is the antiderivative of (x3)2?