What is the antiderivative of #1 - x^3 - 20x^4#?