/ / _____________\ / _____________\ \
| | / ___ | | / ___ | |
And\x < - 4*atan\\/ 7 + 4*\/ 3 / + 4*pi, 4*atan\\/ 7 + 4*\/ 3 / < x/
$$x < - 4 \operatorname{atan}{\left(\sqrt{4 \sqrt{3} + 7} \right)} + 4 \pi \wedge 4 \operatorname{atan}{\left(\sqrt{4 \sqrt{3} + 7} \right)} < 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\ \left(4 \operatorname{atan}{\left(\sqrt{4 \sqrt{3} + 7} \right)}, - 4 \operatorname{atan}{\left(\sqrt{4 \sqrt{3} + 7} \right)} + 4 \pi\right)$$
x in Interval.open(4*atan(sqrt(4*sqrt(3) + 7)), -4*atan(sqrt(4*sqrt(3) + 7)) + 4*pi)