/ ________________________________________________________________________________________________________________________________________________ \
| / _______________________ 3 ___ ___ |
| ___ / 2/3 3 / _______ 8*\/ 2 804*\/ 2 |
| \/ 2 * / 80 - 2 *\/ 32641 + 255*\/ 16385 - -------------------------- + -------------------------------------------------------------------------- |
| ___________________________________________________________________ / _______________________ ___________________________________________________________________ |
| / _______________________ 3 ___ / 3 / _______ / _______________________ 3 ___ |
| ___ / 2/3 3 / _______ 8*\/ 2 / \/ 32641 + 255*\/ 16385 / 2/3 3 / _______ 8*\/ 2 |
| \/ 2 * / 40 + 2 *\/ 32641 + 255*\/ 16385 + -------------------------- / / 40 + 2 *\/ 32641 + 255*\/ 16385 + -------------------------- |
| / _______________________ / / _______________________ |
| / 3 / _______ / / 3 / _______ |
| \/ \/ 32641 + 255*\/ 16385 \/ \/ \/ 32641 + 255*\/ 16385 |
And|x < oo, -1 + -------------------------------------------------------------------------------- + ----------------------------------------------------------------------------------------------------------------------------------------------------------------- < x|
\ 16 16 /
$$x < \infty \wedge -1 + \frac{\sqrt{2} \sqrt{\frac{8 \sqrt[3]{2}}{\sqrt[3]{255 \sqrt{16385} + 32641}} + 40 + 2^{\frac{2}{3}} \sqrt[3]{255 \sqrt{16385} + 32641}}}{16} + \frac{\sqrt{2} \sqrt{- 2^{\frac{2}{3}} \sqrt[3]{255 \sqrt{16385} + 32641} - \frac{8 \sqrt[3]{2}}{\sqrt[3]{255 \sqrt{16385} + 32641}} + 80 + \frac{804 \sqrt{2}}{\sqrt{\frac{8 \sqrt[3]{2}}{\sqrt[3]{255 \sqrt{16385} + 32641}} + 40 + 2^{\frac{2}{3}} \sqrt[3]{255 \sqrt{16385} + 32641}}}}}{16} < x$$
(x < oo)∧(-1 + sqrt(2)*sqrt(40 + 2^(2/3)*(32641 + 255*sqrt(16385))^(1/3) + 8*2^(1/3)/(32641 + 255*sqrt(16385))^(1/3))/16 + sqrt(2)*sqrt(80 - 2^(2/3)*(32641 + 255*sqrt(16385))^(1/3) - 8*2^(1/3)/(32641 + 255*sqrt(16385))^(1/3) + 804*sqrt(2)/sqrt(40 + 2^(2/3)*(32641 + 255*sqrt(16385))^(1/3) + 8*2^(1/3)/(32641 + 255*sqrt(16385))^(1/3)))/16 < x)
________________________________________________________________________________________________________________________________________________
/ _______________________ 3 ___ ___
___ / 2/3 3 / _______ 8*\/ 2 804*\/ 2
\/ 2 * / 80 - 2 *\/ 32641 + 255*\/ 16385 - -------------------------- + --------------------------------------------------------------------------
___________________________________________________________________ / _______________________ ___________________________________________________________________
/ _______________________ 3 ___ / 3 / _______ / _______________________ 3 ___
___ / 2/3 3 / _______ 8*\/ 2 / \/ 32641 + 255*\/ 16385 / 2/3 3 / _______ 8*\/ 2
\/ 2 * / 40 + 2 *\/ 32641 + 255*\/ 16385 + -------------------------- / / 40 + 2 *\/ 32641 + 255*\/ 16385 + --------------------------
/ _______________________ / / _______________________
/ 3 / _______ / / 3 / _______
\/ \/ 32641 + 255*\/ 16385 \/ \/ \/ 32641 + 255*\/ 16385
(-1 + -------------------------------------------------------------------------------- + -----------------------------------------------------------------------------------------------------------------------------------------------------------------, oo)
16 16
$$x\ in\ \left(-1 + \frac{\sqrt{2} \sqrt{\frac{8 \sqrt[3]{2}}{\sqrt[3]{255 \sqrt{16385} + 32641}} + 40 + 2^{\frac{2}{3}} \sqrt[3]{255 \sqrt{16385} + 32641}}}{16} + \frac{\sqrt{2} \sqrt{- 2^{\frac{2}{3}} \sqrt[3]{255 \sqrt{16385} + 32641} - \frac{8 \sqrt[3]{2}}{\sqrt[3]{255 \sqrt{16385} + 32641}} + 80 + \frac{804 \sqrt{2}}{\sqrt{\frac{8 \sqrt[3]{2}}{\sqrt[3]{255 \sqrt{16385} + 32641}} + 40 + 2^{\frac{2}{3}} \sqrt[3]{255 \sqrt{16385} + 32641}}}}}{16}, \infty\right)$$
x in Interval.open(-1 + sqrt(2)*sqrt(8*2^(1/3)/(255*sqrt(16385) + 32641)^(1/3) + 40 + 2^(2/3)*(255*sqrt(16385) + 32641)^(1/3))/16 + sqrt(2)*sqrt(-2^(2/3)*(255*sqrt(16385) + 32641)^(1/3) - 8*2^(1/3)/(255*sqrt(16385) + 32641)^(1/3) + 80 + 804*sqrt(2)/sqrt(8*2^(1/3)/(255*sqrt(16385) + 32641)^(1/3) + 40 + 2^(2/3)*(255*sqrt(16385) + 32641)^(1/3)))/16, oo)