/ ________________ \
| / _______ |
| / 8 7 6 5 4 3 2 \ / 19 \/ 88197 17 |
And|CRootOf\x + 9*x + 87*x + 387*x + 1740*x + 3600*x + 8000*x - 1, 1/ <= x, x < -1 + 3 / -- + --------- - -----------------------|
| \/ 2 18 ________________|
| / _______ |
| / 19 \/ 88197 |
| 3*3 / -- + --------- |
\ \/ 2 18 /
$$\operatorname{CRootOf} {\left(x^{8} + 9 x^{7} + 87 x^{6} + 387 x^{5} + 1740 x^{4} + 3600 x^{3} + 8000 x^{2} - 1, 1\right)} \leq x \wedge x < - \frac{17}{3 \sqrt[3]{\frac{19}{2} + \frac{\sqrt{88197}}{18}}} - 1 + \sqrt[3]{\frac{19}{2} + \frac{\sqrt{88197}}{18}}$$
(x < -1 + (19/2 + sqrt(88197)/18)^(1/3) - 17/(3*(19/2 + sqrt(88197)/18)^(1/3)))∧(CRootOf(x^8 + 9*x^7 + 87*x^6 + 387*x^5 + 1740*x^4 + 3600*x^3 + 8000*x^2 - 1, 1) <= x)
_________________
3 ____ 3 ____ 3 / _______
/ 8 7 6 5 4 3 2 \ 17*\/ 18 \/ 12 *\/ 171 + \/ 88197
[CRootOf\x + 9*x + 87*x + 387*x + 1740*x + 3600*x + 8000*x - 1, 1/, -1 - ---------------------- + ---------------------------)
_________________ 6
3 / _______
3*\/ 171 + \/ 88197
$$x\ in\ \left[\operatorname{CRootOf} {\left(x^{8} + 9 x^{7} + 87 x^{6} + 387 x^{5} + 1740 x^{4} + 3600 x^{3} + 8000 x^{2} - 1, 1\right)}, - \frac{17 \sqrt[3]{18}}{3 \sqrt[3]{171 + \sqrt{88197}}} - 1 + \frac{\sqrt[3]{12} \sqrt[3]{171 + \sqrt{88197}}}{6}\right)$$
x in Interval.Ropen(CRootOf(x^8 + 9*x^7 + 87*x^6 + 387*x^5 + 1740*x^4 + 3600*x^3 + 8000*x^2 - 1, 1), -17*18^(1/3)/(3*(171 + sqrt(88197))^(1/3)) - 1 + 12^(1/3)*(171 + sqrt(88197))^(1/3)/6)