/ ___ 4 ___\ / ___ 4 ___\
|\/ 2 *\/ 3 | |\/ 2 *\/ 3 |
(pi + atan|-----------|, pi - atan|-----------|)
| ___ | | ___ |
\ 1 - \/ 3 / \ 1 - \/ 3 /
$$x\ in\ \left(\operatorname{atan}{\left(\frac{\sqrt{2} \sqrt[4]{3}}{1 - \sqrt{3}} \right)} + \pi, \pi - \operatorname{atan}{\left(\frac{\sqrt{2} \sqrt[4]{3}}{1 - \sqrt{3}} \right)}\right)$$
x in Interval.open(atan(sqrt(2)*3^(1/4)/(1 - sqrt(3))) + pi, pi - atan(sqrt(2)*3^(1/4)/(1 - sqrt(3))))
/ / ___ 4 ___\ / ___ 4 ___\ \
| |\/ 2 *\/ 3 | |\/ 2 *\/ 3 | |
And|x < pi - atan|-----------|, pi + atan|-----------| < x|
| | ___ | | ___ | |
\ \ 1 - \/ 3 / \ 1 - \/ 3 / /
$$x < \pi - \operatorname{atan}{\left(\frac{\sqrt{2} \sqrt[4]{3}}{1 - \sqrt{3}} \right)} \wedge \operatorname{atan}{\left(\frac{\sqrt{2} \sqrt[4]{3}}{1 - \sqrt{3}} \right)} + \pi < x$$
(pi + atan(sqrt(2)*3^(1/4)/(1 - sqrt(3))) < x)∧(x < pi - atan(sqrt(2)*3^(1/4)/(1 - sqrt(3))))