2 / 2 \ 2 log (x) - 9*\x + 8*x + 12/ <= log (x) - 108
-9*(x^2 + 8*x + 12) + log(x)^2 <= log(x)^2 - 108
Or(And(0 <= x, x < oo), And(x <= -8, -oo < x))
((0 <= x)∧(x < oo))∨((x <= -8)∧(-oo < x))
(-oo, -8] U [0, oo)
x in Union(Interval(-oo, -8), Interval(0, oo))