/ pi\ cos|2*x - --| > 1/2 \ 4 /
cos(2*x - pi/4) > 1/2
/1 pi \ cos|- + -- - 2*pi*n| > 1/2 \5 3 /
_____ / \ -------ο-------ο------- x1 x2
/ / / / ___________________________________________________________________________________________________________________________________________________________________________________________________________\\\ / / / _______________________________________________________________________________________________________________________________________________________________________________________________________\\ \\ | | | / / / ___ ___ \\\ | / / / ___ ___ \\ / / ___ ___ \\ ||| | | / / / / ___ ___ \\\\ | / / / ___ ___ \\ / / ___ ___ \\ || || | | | | | | \/ 2 \/ 6 ||| | / | | \/ 2 \/ 6 || | | \/ 2 \/ 6 || ||| | | | | | | \/ 2 \/ 6 |||| | / | | \/ 6 \/ 2 || | | \/ 6 \/ 2 || || || | | | | |atan|------------- + -------------||| | / |atan|------------------- + -------------------|| |atan|------------------- + -------------------|| ||| | | | | |atan|------------- - -------------|||| | / |atan|- ----------------- + -----------------|| |atan|- ----------------- + -----------------|| || || | | | | | | ___ ___ ___ ___||| | / _______________________________________ | | / ___ ___\ / ___ ___\|| _______________________________________ | | / ___ ___\ / ___ ___\|| ||| | | | | | | ___ ___ ___ ___|||| | / _______________________________________ | | / ___ ___\ / ___ ___\|| _______________________________________ | | / ___ ___\ / ___ ___\|| || || | | | | | \\/ 2 - \/ 6 \/ 2 - \/ 6 /|| | / / 2 2 | | | \/ 6 \/ 2 | | \/ 6 \/ 2 ||| / 2 2 | | | \/ 6 \/ 2 | | \/ 6 \/ 2 ||| ||| | | | | | \\/ 2 + \/ 6 \/ 2 + \/ 6 /||| | / / 2 2 | | |\/ 2 \/ 6 | |\/ 2 \/ 6 ||| / 2 2 | | |\/ 2 \/ 6 | |\/ 2 \/ 6 ||| || || | | | |cos|-----------------------------------|| | / / / ___ ___\ / ___ ___\ | |4*|- ----- + -----| 4*|- ----- + -----||| / / ___ ___\ / ___ ___\ | |4*|- ----- + -----| 4*|- ----- + -----||| ||| | | | |sin|-----------------------------------||| | / / / ___ ___\ / ___ ___\ | | 4*|----- + -----| 4*|----- + -----||| / / ___ ___\ / ___ ___\ | | 4*|----- + -----| 4*|----- + -----||| || || | | | | \ 2 /| | / / | \/ 6 \/ 2 | |\/ 2 \/ 6 | 2| \ \ 4 4 / \ 4 4 //| / | \/ 6 \/ 2 | |\/ 2 \/ 6 | 2| \ \ 4 4 / \ 4 4 //| ||| | | | | \ 2 /|| | / / | \/ 6 \/ 2 | |\/ 2 \/ 6 | 2| \ \ 4 4 / \ 4 4 //| / | \/ 6 \/ 2 | |\/ 2 \/ 6 | 2| \ \ 4 4 / \ 4 4 //| || || Or|And|0 <= x, x < -I*|- I*atan|----------------------------------------| + log| / / |- ----- + -----| + |----- + -----| *cos |-----------------------------------------------| + / |- ----- + -----| + |----- + -----| *sin |-----------------------------------------------| |||, And|x <= pi, -I*|I*|pi + atan|----------------------------------------|| + log| / / |- ----- + -----| + |----- + -----| *cos |---------------------------------------------| + / |- ----- + -----| + |----- + -----| *sin |---------------------------------------------| || < x|| | | | | / / ___ ___ \\| \\/ \/ \ 4 4 / \ 4 4 / \ 2 / \/ \ 4 4 / \ 4 4 / \ 2 / /|| | | | | / / ___ ___ \\|| \\/ \/ \ 4 4 / \ 4 4 / \ 2 / \/ \ 4 4 / \ 4 4 / \ 2 / /| || | | | | | | \/ 2 \/ 6 ||| || | | | | | | \/ 2 \/ 6 |||| | || | | | | |atan|------------- + -------------||| || | | | | |atan|------------- - -------------|||| | || | | | | | | ___ ___ ___ ___||| || | | | | | | ___ ___ ___ ___|||| | || | | | | | \\/ 2 - \/ 6 \/ 2 - \/ 6 /|| || | | | | | \\/ 2 + \/ 6 \/ 2 + \/ 6 /||| | || | | | |sin|-----------------------------------|| || | | | |cos|-----------------------------------||| | || \ \ \ \ \ 2 // // \ \ \ \ \ 2 /// / //
((x <= pi)∧(-i*(i*(pi + atan(sin(atan(sqrt(2)/(sqrt(2) + sqrt(6)) - sqrt(6)/(sqrt(2) + sqrt(6)))/2)/cos(atan(sqrt(2)/(sqrt(2) + sqrt(6)) - sqrt(6)/(sqrt(2) + sqrt(6)))/2))) + log(sqrt(sqrt((-sqrt(6)/4 + sqrt(2)/4)^2 + (sqrt(2)/4 + sqrt(6)/4)^2)*cos(atan(-sqrt(6)/(4*(sqrt(2)/4 + sqrt(6)/4)) + sqrt(2)/(4*(sqrt(2)/4 + sqrt(6)/4)))/2)^2 + sqrt((-sqrt(6)/4 + sqrt(2)/4)^2 + (sqrt(2)/4 + sqrt(6)/4)^2)*sin(atan(-sqrt(6)/(4*(sqrt(2)/4 + sqrt(6)/4)) + sqrt(2)/(4*(sqrt(2)/4 + sqrt(6)/4)))/2)^2))) < x))∨((0 <= x)∧(x < -i*(-i*atan(cos(atan(sqrt(2)/(sqrt(2) - sqrt(6)) + sqrt(6)/(sqrt(2) - sqrt(6)))/2)/sin(atan(sqrt(2)/(sqrt(2) - sqrt(6)) + sqrt(6)/(sqrt(2) - sqrt(6)))/2)) + log(sqrt(sqrt((-sqrt(6)/4 + sqrt(2)/4)^2 + (sqrt(2)/4 + sqrt(6)/4)^2)*cos(atan(sqrt(2)/(4*(-sqrt(6)/4 + sqrt(2)/4)) + sqrt(6)/(4*(-sqrt(6)/4 + sqrt(2)/4)))/2)^2 + sqrt((-sqrt(6)/4 + sqrt(2)/4)^2 + (sqrt(2)/4 + sqrt(6)/4)^2)*sin(atan(sqrt(2)/(4*(-sqrt(6)/4 + sqrt(2)/4)) + sqrt(6)/(4*(-sqrt(6)/4 + sqrt(2)/4)))/2)^2)))))