/ / / / ___________ \ / _____________________________\\\ / / / ___________ \ / _____________________________\\ \\
| | | | 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 / // //
((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))