/ _________________________________\ / _________________________________\ / _________________________________\ / _________________________________\
| / ___________ | | / ___________ | | / ___________ | | / ___________ |
| / / ___ | | / / ___ | | / / ___ | | / / ___ |
| / ___ 4*\/ 2 + \/ 3 | | / ___ 4*\/ 2 + \/ 3 | | / ___ 4*\/ 2 + \/ 3 | | / ___ 4*\/ 2 + \/ 3 |
[atan| / 15 + 8*\/ 3 - ---------------- |, atan| / 15 + 8*\/ 3 + ---------------- |] U [pi - atan| / 15 + 8*\/ 3 + ---------------- |, pi - atan| / 15 + 8*\/ 3 - ---------------- |]
| / ___ | | / ___ | | / ___ | | / ___ |
\\/ 2 - \/ 3 / \\/ 2 - \/ 3 / \\/ 2 - \/ 3 / \\/ 2 - \/ 3 /
$$x\ in\ \left[\operatorname{atan}{\left(\sqrt{- \frac{4 \sqrt{\sqrt{3} + 2}}{2 - \sqrt{3}} + 8 \sqrt{3} + 15} \right)}, \operatorname{atan}{\left(\sqrt{8 \sqrt{3} + 15 + \frac{4 \sqrt{\sqrt{3} + 2}}{2 - \sqrt{3}}} \right)}\right] \cup \left[\pi - \operatorname{atan}{\left(\sqrt{8 \sqrt{3} + 15 + \frac{4 \sqrt{\sqrt{3} + 2}}{2 - \sqrt{3}}} \right)}, \pi - \operatorname{atan}{\left(\sqrt{- \frac{4 \sqrt{\sqrt{3} + 2}}{2 - \sqrt{3}} + 8 \sqrt{3} + 15} \right)}\right]$$
x in Union(Interval(pi - atan(sqrt(8*sqrt(3) + 15 + 4*sqrt(sqrt(3) + 2)/(2 - sqrt(3)))), pi - atan(sqrt(-4*sqrt(sqrt(3) + 2)/(2 - sqrt(3)) + 8*sqrt(3) + 15))), Interval(atan(sqrt(-4*sqrt(sqrt(3) + 2)/(2 - sqrt(3)) + 8*sqrt(3) + 15)), atan(sqrt(8*sqrt(3) + 15 + 4*sqrt(sqrt(3) + 2)/(2 - sqrt(3))))))
/ / / _________________________________\ / _________________________________\ \ / / _________________________________\ / _________________________________\ \\
| | | / ___________ | | / ___________ | | | | / ___________ | | / ___________ | ||
| | | / / ___ | | / / ___ | | | | / / ___ | | / / ___ | ||
| | | / ___ 4*\/ 2 + \/ 3 | | / ___ 4*\/ 2 + \/ 3 | | | | / ___ 4*\/ 2 + \/ 3 | | / ___ 4*\/ 2 + \/ 3 | ||
Or|And|x <= pi - atan| / 15 + 8*\/ 3 - ---------------- |, pi - atan| / 15 + 8*\/ 3 + ---------------- | <= x|, And|x <= atan| / 15 + 8*\/ 3 + ---------------- |, atan| / 15 + 8*\/ 3 - ---------------- | <= x||
| | | / ___ | | / ___ | | | | / ___ | | / ___ | ||
\ \ \\/ 2 - \/ 3 / \\/ 2 - \/ 3 / / \ \\/ 2 - \/ 3 / \\/ 2 - \/ 3 / //
$$\left(x \leq \pi - \operatorname{atan}{\left(\sqrt{- \frac{4 \sqrt{\sqrt{3} + 2}}{2 - \sqrt{3}} + 8 \sqrt{3} + 15} \right)} \wedge \pi - \operatorname{atan}{\left(\sqrt{8 \sqrt{3} + 15 + \frac{4 \sqrt{\sqrt{3} + 2}}{2 - \sqrt{3}}} \right)} \leq x\right) \vee \left(x \leq \operatorname{atan}{\left(\sqrt{8 \sqrt{3} + 15 + \frac{4 \sqrt{\sqrt{3} + 2}}{2 - \sqrt{3}}} \right)} \wedge \operatorname{atan}{\left(\sqrt{- \frac{4 \sqrt{\sqrt{3} + 2}}{2 - \sqrt{3}} + 8 \sqrt{3} + 15} \right)} \leq x\right)$$
((x <= atan(sqrt(15 + 8*sqrt(3) + 4*sqrt(2 + sqrt(3))/(2 - sqrt(3)))))∧(atan(sqrt(15 + 8*sqrt(3) - 4*sqrt(2 + sqrt(3))/(2 - sqrt(3)))) <= x))∨((x <= pi - atan(sqrt(15 + 8*sqrt(3) - 4*sqrt(2 + sqrt(3))/(2 - sqrt(3)))))∧(pi - atan(sqrt(15 + 8*sqrt(3) + 4*sqrt(2 + sqrt(3))/(2 - sqrt(3)))) <= x))