18 * log(10, x) == (1/2)*x^3 - 8*x^2 + (34 + 1/2)*x - 27