/ / / / / / ___\\\ \\ / / / / / / ___\\\ \ \ \ / / / / / / ___\\\\ \ / / / / / ___\\\\ \ \\ | | | | |atan\2*\/ 2 /|| / ___________________________________________\|| | | | | |atan\2*\/ 2 /|| | / ___________________________________________\| | | | | | |atan\2*\/ 2 /||| / ___________________________________________\| | | | |atan\2*\/ 2 /||| / ___________________________________________\| || | | | |sin|-------------|| | / / / ___\\ / / ___\\ ||| | | | |sin|-------------|| | | / / / ___\\ / / ___\\ || | | | | |sin|-------------||| | / / / ___\\ / / ___\\ || | | |sin|-------------||| | / / / ___\\ / / ___\\ || || | | | | \ 2 /| | / 2|atan\2*\/ 2 /| 2|atan\2*\/ 2 /| ||| | | | | \ 2 /| | | / 2|atan\2*\/ 2 /| 2|atan\2*\/ 2 /| || | | | | | \ 2 /|| | / 2|atan\2*\/ 2 /| 2|atan\2*\/ 2 /| || | | | \ 2 /|| | / 2|atan\2*\/ 2 /| 2|atan\2*\/ 2 /| || || Or|And|0 <= x, x < -I*|I*atan|------------------| + log| / cos |-------------| + sin |-------------| |||, And|x <= 2*pi, -I*|I*|- atan|------------------| + 2*pi| + log| / cos |-------------| + sin |-------------| || < x|, And|x < -I*|I*|pi + atan|------------------|| + log| / cos |-------------| + sin |-------------| ||, -I*|I*|pi - atan|------------------|| + log| / cos |-------------| + sin |-------------| || < x|| | | | | / / ___\\| \\/ \ 2 / \ 2 / /|| | | | | / / ___\\| | \\/ \ 2 / \ 2 / /| | | | | | / / ___\\|| \\/ \ 2 / \ 2 / /| | | | / / ___\\|| \\/ \ 2 / \ 2 / /| || | | | | |atan\2*\/ 2 /|| || | | | | |atan\2*\/ 2 /|| | | | | | | | |atan\2*\/ 2 /||| | | | | |atan\2*\/ 2 /||| | || | | | |cos|-------------|| || | | | |cos|-------------|| | | | | | | |cos|-------------||| | | | |cos|-------------||| | || \ \ \ \ \ 2 // // \ \ \ \ \ 2 // / / / \ \ \ \ \ 2 /// / \ \ \ \ 2 /// / //
((0 <= x)∧(x < -i*(i*atan(sin(atan(2*sqrt(2))/2)/cos(atan(2*sqrt(2))/2)) + log(sqrt(cos(atan(2*sqrt(2))/2)^2 + sin(atan(2*sqrt(2))/2)^2)))))∨((x <= 2*pi)∧(-i*(i*(-atan(sin(atan(2*sqrt(2))/2)/cos(atan(2*sqrt(2))/2)) + 2*pi) + log(sqrt(cos(atan(2*sqrt(2))/2)^2 + sin(atan(2*sqrt(2))/2)^2))) < x))∨((x < -i*(i*(pi + atan(sin(atan(2*sqrt(2))/2)/cos(atan(2*sqrt(2))/2))) + log(sqrt(cos(atan(2*sqrt(2))/2)^2 + sin(atan(2*sqrt(2))/2)^2))))∧(-i*(i*(pi - atan(sin(atan(2*sqrt(2))/2)/cos(atan(2*sqrt(2))/2))) + log(sqrt(cos(atan(2*sqrt(2))/2)^2 + sin(atan(2*sqrt(2))/2)^2))) < x))