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