___ 2/x\ 2/x\ -\/ 3 cos |-| - sin |-| < ------- \4/ \4/ 2
-sin(x/4)^2 + cos(x/4)^2 < (-sqrt(3))/2
/ / _____________\ / _____________\ \ | | / ___ | | / ___ | | And\x < - 4*atan\\/ 7 + 4*\/ 3 / + 4*pi, 4*atan\\/ 7 + 4*\/ 3 / < x/
(4*atan(sqrt(7 + 4*sqrt(3))) < x)∧(x < -4*atan(sqrt(7 + 4*sqrt(3))) + 4*pi)
/ _____________\ / _____________\ | / ___ | | / ___ | (4*atan\\/ 7 + 4*\/ 3 /, - 4*atan\\/ 7 + 4*\/ 3 / + 4*pi)
x in Interval.open(4*atan(sqrt(4*sqrt(3) + 7)), -4*atan(sqrt(4*sqrt(3) + 7)) + 4*pi)