What is the antiderivative of #12x^3 - 7x#?