/ / ___\ \ | | 3 \/ 5 | | Or|And|0 <= x, x < - - -----|, And(1 < x, x < 2)| \ \ 2 2 / /
((1 < x)∧(x < 2))∨((0 <= x)∧(x < 3/2 - sqrt(5)/2))
___
3 \/ 5
[0, - - -----) U (1, 2)
2 2
x in Union(Interval.Ropen(0, 3/2 - sqrt(5)/2), Interval.open(1, 2))