/ / / / / / / ___\\\\\ \ / / / / / / ___\\\\\ \ \ | | | | | | |4*\/ 2 ||||| / _______________________________________________________________________________________________________________________________________________________________________\| | | | | | |4*\/ 2 ||||| / _______________________________________________________________________________________________________________________________________________________________________\| | | | | | | |atan|-------||||| | / / / / / ___\\\\ / / / / ___\\\\ || | | | | |atan|-------||||| | / / / / / ___\\\\ / / / / ___\\\\ || | | | | | | | \ 7 /|||| | / | | | |4*\/ 2 |||| | | | |4*\/ 2 |||| || | | | | | \ 7 /|||| | / | | | |4*\/ 2 |||| | | | |4*\/ 2 |||| || | | | | | |sin|-------------|||| | / | | |atan|-------|||| | | |atan|-------|||| || | | | |sin|-------------|||| | / | | |atan|-------|||| | | |atan|-------|||| || | | | | | | \ 2 /||| | / | | | \ 7 /||| | | | \ 7 /||| || | | | | \ 2 /||| | / | | | \ 7 /||| | | | \ 7 /||| || | | | | |atan|------------------||| | / | |sin|-------------||| | |sin|-------------||| || | | |atan|------------------||| | / | |sin|-------------||| | |sin|-------------||| || | | | | | | / / ___\\||| | / | | \ 2 /|| | | \ 2 /|| || | | | | / / ___\\||| | / | | \ 2 /|| | | \ 2 /|| || | | | | | | | |4*\/ 2 ||||| | / |atan|------------------|| |atan|------------------|| || | | | | | |4*\/ 2 ||||| | / |atan|------------------|| |atan|------------------|| || | | | | | | |atan|-------||||| | / | | / / ___\\|| | | / / ___\\|| || | | | | |atan|-------||||| | / | | / / ___\\|| | | / / ___\\|| || | | | | | | | \ 7 /|||| | / ___________________________________________ | | | |4*\/ 2 |||| ___________________________________________ | | | |4*\/ 2 |||| || | | | | | \ 7 /|||| | / ___________________________________________ | | | |4*\/ 2 |||| ___________________________________________ | | | |4*\/ 2 |||| || | | | | | |cos|-------------|||| | / / / / ___\\ / / ___\\ | | |atan|-------|||| / / / ___\\ / / ___\\ | | |atan|-------|||| || | | | |cos|-------------|||| | / / / / ___\\ / / ___\\ | | |atan|-------|||| / / / ___\\ / / ___\\ | | |atan|-------|||| || | | | | | \ \ 2 //|| | / / | |4*\/ 2 || | |4*\/ 2 || | | | \ 7 /||| / | |4*\/ 2 || | |4*\/ 2 || | | | \ 7 /||| || | | | \ \ 2 //|| | / / | |4*\/ 2 || | |4*\/ 2 || | | | \ 7 /||| / | |4*\/ 2 || | |4*\/ 2 || | | | \ 7 /||| || | | | |cos|------------------------|| | / / |atan|-------|| |atan|-------|| | |cos|-------------||| / |atan|-------|| |atan|-------|| | |cos|-------------||| || | |sin|------------------------|| | / / |atan|-------|| |atan|-------|| | |cos|-------------||| / |atan|-------|| |atan|-------|| | |cos|-------------||| || | | | | \ 2 /| | / / 2| \ 7 /| 2| \ 7 /| 2| \ \ 2 //| / 2| \ 7 /| 2| \ 7 /| 2| \ \ 2 //| || | | \ 2 /| | / / 2| \ 7 /| 2| \ 7 /| 2| \ \ 2 //| / 2| \ 7 /| 2| \ 7 /| 2| \ \ 2 //| || | And|x < -I*|I*atan|-----------------------------| + log| / / cos |-------------| + sin |-------------| *cos |------------------------| + / cos |-------------| + sin |-------------| *sin |------------------------| ||, -I*|I*atan|-----------------------------| + log| / / cos |-------------| + sin |-------------| *cos |------------------------| + / cos |-------------| + sin |-------------| *sin |------------------------| || < x| | | | / / / / ___\\\\| \\/ \/ \ 2 / \ 2 / \ 2 / \/ \ 2 / \ 2 / \ 2 / /| | | / / / / ___\\\\| \\/ \/ \ 2 / \ 2 / \ 2 / \/ \ 2 / \ 2 / \ 2 / /| | | | | | | | |4*\/ 2 ||||| | | | | | | |4*\/ 2 ||||| | | | | | | | |atan|-------||||| | | | | | |atan|-------||||| | | | | | | | | \ 7 /|||| | | | | | | \ 7 /|||| | | | | | | |sin|-------------|||| | | | | |sin|-------------|||| | | | | | | | \ 2 /||| | | | | | \ 2 /||| | | | | | |atan|------------------||| | | | |atan|------------------||| | | | | | | | / / ___\\||| | | | | | / / ___\\||| | | | | | | | | |4*\/ 2 ||||| | | | | | | |4*\/ 2 ||||| | | | | | | | |atan|-------||||| | | | | | |atan|-------||||| | | | | | | | | \ 7 /|||| | | | | | | \ 7 /|||| | | | | | | |cos|-------------|||| | | | | |cos|-------------|||| | | | | | | \ \ 2 //|| | | | | \ \ 2 //|| | | | | |sin|------------------------|| | | |cos|------------------------|| | | \ \ \ \ 2 // / \ \ \ 2 // / /
(x < -i*(i*atan(cos(atan(sin(atan(4*sqrt(2)/7)/2)/cos(atan(4*sqrt(2)/7)/2))/2)/sin(atan(sin(atan(4*sqrt(2)/7)/2)/cos(atan(4*sqrt(2)/7)/2))/2)) + log(sqrt(sqrt(cos(atan(4*sqrt(2)/7)/2)^2 + sin(atan(4*sqrt(2)/7)/2)^2)*cos(atan(sin(atan(4*sqrt(2)/7)/2)/cos(atan(4*sqrt(2)/7)/2))/2)^2 + sqrt(cos(atan(4*sqrt(2)/7)/2)^2 + sin(atan(4*sqrt(2)/7)/2)^2)*sin(atan(sin(atan(4*sqrt(2)/7)/2)/cos(atan(4*sqrt(2)/7)/2))/2)^2))))∧(-i*(i*atan(sin(atan(sin(atan(4*sqrt(2)/7)/2)/cos(atan(4*sqrt(2)/7)/2))/2)/cos(atan(sin(atan(4*sqrt(2)/7)/2)/cos(atan(4*sqrt(2)/7)/2))/2)) + log(sqrt(sqrt(cos(atan(4*sqrt(2)/7)/2)^2 + sin(atan(4*sqrt(2)/7)/2)^2)*cos(atan(sin(atan(4*sqrt(2)/7)/2)/cos(atan(4*sqrt(2)/7)/2))/2)^2 + sqrt(cos(atan(4*sqrt(2)/7)/2)^2 + sin(atan(4*sqrt(2)/7)/2)^2)*sin(atan(sin(atan(4*sqrt(2)/7)/2)/cos(atan(4*sqrt(2)/7)/2))/2)^2))) < x)