2 / 2\ log(2*x) + 5 + 8*x - 4*x + log(5) - 2*x*\1 + 4*x + 4*x / <= 4
-2*x*(4*x^2 + 4*x + 1) - 4*x^2 + 8*x + 5 + log(2*x) + log(5) <= 4