log(x + 6) - log(x) > 1/3
-log(x) + log(x + 6) > 1/3
/ 6 \ And|0 < x, x < ---------| | 1/3| \ -1 + e /
(0 < x)∧(x < 6/(-1 + exp(1/3)))
-6 (0, --------) 1/3 1 - e
x in Interval.open(0, -6/(1 - exp(1/3)))