max (- 2·x^2 + 18·x) - (0.25·x^3 - 2·x^2 + 3·x + 12.5)