/ / ___\ / ___\ \
| |\/ 2 | |\/ 2 | |
And|t < pi - atan|-----|, atan|-----| < t|
\ \ 4 / \ 4 / /
$$t < \pi - \operatorname{atan}{\left(\frac{\sqrt{2}}{4} \right)} \wedge \operatorname{atan}{\left(\frac{\sqrt{2}}{4} \right)} < t$$
(atan(sqrt(2)/4) < t)∧(t < pi - atan(sqrt(2)/4))
/ ___\ / ___\
|\/ 2 | |\/ 2 |
(atan|-----|, pi - atan|-----|)
\ 4 / \ 4 /
$$x\ in\ \left(\operatorname{atan}{\left(\frac{\sqrt{2}}{4} \right)}, \pi - \operatorname{atan}{\left(\frac{\sqrt{2}}{4} \right)}\right)$$
x in Interval.open(atan(sqrt(2)/4), pi - atan(sqrt(2)/4))