/ / / ___ \\ / / ___ \ \\
| | | \/ 2 || | | \/ 2 | ||
Or|And|0 <= x, x < atan|---------------||, And|x <= 2*pi, - atan|---------------| + 2*pi < x||
| | | ____________|| | | ____________| ||
| | | / ___ || | | / ___ | ||
\ \ \\/ -1 + \/ 5 // \ \\/ -1 + \/ 5 / //
$$\left(0 \leq x \wedge x < \operatorname{atan}{\left(\frac{\sqrt{2}}{\sqrt{-1 + \sqrt{5}}} \right)}\right) \vee \left(x \leq 2 \pi \wedge - \operatorname{atan}{\left(\frac{\sqrt{2}}{\sqrt{-1 + \sqrt{5}}} \right)} + 2 \pi < x\right)$$
((0 <= x)∧(x < atan(sqrt(2)/sqrt(-1 + sqrt(5)))))∨((x <= 2*pi)∧(-atan(sqrt(2)/sqrt(-1 + sqrt(5))) + 2*pi < x))
/ ___ \ / ___ \
| \/ 2 | | \/ 2 |
[0, atan|---------------|) U (- atan|---------------| + 2*pi, 2*pi]
| ____________| | ____________|
| / ___ | | / ___ |
\\/ -1 + \/ 5 / \\/ -1 + \/ 5 /
$$x\ in\ \left[0, \operatorname{atan}{\left(\frac{\sqrt{2}}{\sqrt{-1 + \sqrt{5}}} \right)}\right) \cup \left(- \operatorname{atan}{\left(\frac{\sqrt{2}}{\sqrt{-1 + \sqrt{5}}} \right)} + 2 \pi, 2 \pi\right]$$
x in Union(Interval.Ropen(0, atan(sqrt(2)/sqrt(-1 + sqrt(5)))), Interval.Lopen(-atan(sqrt(2)/sqrt(-1 + sqrt(5))) + 2*pi, 2*pi))