/ 2 \ log\x - 3*x/ ------------- < 2 log(2)
log(x^2 - 3*x)/log(2) < 2
(-1, 0) U (3, 4)
x in Union(Interval.open(-1, 0), Interval.open(3, 4))
Or(And(-1 < x, x < 0), And(3 < x, x < 4))
((-1 < x)∧(x < 0))∨((3 < x)∧(x < 4))