/ ________________ \ | / _______ | | / 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 /
(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 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)