/ / / 3 2 \ / 3 2 \ \ / / 3 2 \ \\
Or\And\x <= CRootOf\x - 7*x + 10*x + 1, 1/, CRootOf\x - 7*x + 10*x + 1, 0/ <= x/, And\CRootOf\x - 7*x + 10*x + 1, 2/ <= x, x < oo//
$$\left(x \leq \operatorname{CRootOf} {\left(x^{3} - 7 x^{2} + 10 x + 1, 1\right)} \wedge \operatorname{CRootOf} {\left(x^{3} - 7 x^{2} + 10 x + 1, 0\right)} \leq x\right) \vee \left(\operatorname{CRootOf} {\left(x^{3} - 7 x^{2} + 10 x + 1, 2\right)} \leq x \wedge x < \infty\right)$$
((x < oo)∧(CRootOf(x^3 - 7*x^2 + 10*x + 1, 2) <= x))∨((x <= CRootOf(x^3 - 7*x^2 + 10*x + 1, 1))∧(CRootOf(x^3 - 7*x^2 + 10*x + 1, 0) <= x))
/ 3 2 \ / 3 2 \ / 3 2 \
[CRootOf\x - 7*x + 10*x + 1, 0/, CRootOf\x - 7*x + 10*x + 1, 1/] U [CRootOf\x - 7*x + 10*x + 1, 2/, oo)
$$x\ in\ \left[\operatorname{CRootOf} {\left(x^{3} - 7 x^{2} + 10 x + 1, 0\right)}, \operatorname{CRootOf} {\left(x^{3} - 7 x^{2} + 10 x + 1, 1\right)}\right] \cup \left[\operatorname{CRootOf} {\left(x^{3} - 7 x^{2} + 10 x + 1, 2\right)}, \infty\right)$$
x in Union(Interval(CRootOf(x^3 - 7*x^2 + 10*x + 1, 0), CRootOf(x^3 - 7*x^2 + 10*x + 1, 1)), Interval(CRootOf(x^3 - 7*x^2 + 10*x + 1, 2), oo))