______________ _______ / 2 \/ x + 3 > \/ x - 4*x + 3
sqrt(x + 3) > sqrt(x^2 - 4*x + 3)
(0, 1] U [3, 5)
x in Union(Interval.Lopen(0, 1), Interval.Ropen(3, 5))
Or(And(3 <= x, x < 5), And(x <= 1, 0 < x))
((3 <= x)∧(x < 5))∨((x <= 1)∧(0 < x))