___ \/ x + 3 > x - 3
sqrt(x) + 3 > x - 3
And(0 <= x, x < 9)
(0 <= x)∧(x < 9)
[0, 9)
x in Interval.Ropen(0, 9)