/ / / / ___________ \ / _____________________________\\\ / / / ___________ \ / _____________________________\\ \\
| | | | 3/4 / ___ | | / ___ ||| | | | 3/4 / ___ | | / ___ || ||
| | | | - 2 + 2*\/ 2 + \/ 2 | | / 18 8*\/ 2 ||| | | | 2 + 2*\/ 2 + \/ 2 | | / 18 8*\/ 2 || ||
Or|And|0 <= x, x <= -I*|I*atan|------------------------------| + log| / ------------ + ------------ |||, And|x <= 2*pi, -I*|I*atan|------------------------------| + log| / ------------ + ------------ || <= x||
| | | | ___________| | / 2 2 ||| | | | ___________| | / 2 2 || ||
| | | | ___ 4 ___ / ___ | | / / ___\ / ___\ ||| | | | ___ 4 ___ / ___ | | / / ___\ / ___\ || ||
\ \ \ \2*\/ 2 + \/ 2 *\/ 2 + \/ 2 / \\/ \4 + \/ 2 / \4 + \/ 2 / /// \ \ \2*\/ 2 - \/ 2 *\/ 2 + \/ 2 / \\/ \4 + \/ 2 / \4 + \/ 2 / // //
$$\left(0 \leq x \wedge x \leq - i \left(\log{\left(\sqrt{\frac{8 \sqrt{2}}{\left(\sqrt{2} + 4\right)^{2}} + \frac{18}{\left(\sqrt{2} + 4\right)^{2}}} \right)} + i \operatorname{atan}{\left(\frac{- 2^{\frac{3}{4}} + 2 \sqrt{\sqrt{2} + 2}}{\sqrt[4]{2} \sqrt{\sqrt{2} + 2} + 2 \sqrt{2}} \right)}\right)\right) \vee \left(x \leq 2 \pi \wedge - i \left(\log{\left(\sqrt{\frac{8 \sqrt{2}}{\left(\sqrt{2} + 4\right)^{2}} + \frac{18}{\left(\sqrt{2} + 4\right)^{2}}} \right)} + i \operatorname{atan}{\left(\frac{2^{\frac{3}{4}} + 2 \sqrt{\sqrt{2} + 2}}{- \sqrt[4]{2} \sqrt{\sqrt{2} + 2} + 2 \sqrt{2}} \right)}\right) \leq x\right)$$
((0 <= x)∧(x <= -i*(i*atan((-2^(3/4) + 2*sqrt(2 + sqrt(2)))/(2*sqrt(2) + 2^(1/4)*sqrt(2 + sqrt(2)))) + log(sqrt(18/(4 + sqrt(2))^2 + 8*sqrt(2)/(4 + sqrt(2))^2)))))∨((x <= 2*pi)∧(-i*(i*atan((2^(3/4) + 2*sqrt(2 + sqrt(2)))/(2*sqrt(2) - 2^(1/4)*sqrt(2 + sqrt(2)))) + log(sqrt(18/(4 + sqrt(2))^2 + 8*sqrt(2)/(4 + sqrt(2))^2))) <= x))