/ 2\ / 3 2\ log(0.0)*7*\9*x - 4*x / >= log(0.0)*7*\x + 4*x /
(7*log(0.0))*(-4*x^2 + 9*x) >= (7*log(0.0))*(x^3 + 4*x^2)