/ / / 3 2 \ / 3 2 \ \ / 3 2 \ \
Or\And\x < CRootOf\x - 6*x + 9*x - 1, 1/, CRootOf\x - 6*x + 9*x - 1, 0/ < x/, CRootOf\x - 6*x + 9*x - 1, 2/ < x/
$$\left(x < \operatorname{CRootOf} {\left(x^{3} - 6 x^{2} + 9 x - 1, 1\right)} \wedge \operatorname{CRootOf} {\left(x^{3} - 6 x^{2} + 9 x - 1, 0\right)} < x\right) \vee \operatorname{CRootOf} {\left(x^{3} - 6 x^{2} + 9 x - 1, 2\right)} < x$$
(CRootOf(x^3 - 6*x^2 + 9*x - 1, 2) < x)∨((x < CRootOf(x^3 - 6*x^2 + 9*x - 1, 1))∧(CRootOf(x^3 - 6*x^2 + 9*x - 1, 0) < x))
/ 3 2 \ / 3 2 \ / 3 2 \
(CRootOf\x - 6*x + 9*x - 1, 0/, CRootOf\x - 6*x + 9*x - 1, 1/) U (CRootOf\x - 6*x + 9*x - 1, 2/, oo)
$$x\ in\ \left(\operatorname{CRootOf} {\left(x^{3} - 6 x^{2} + 9 x - 1, 0\right)}, \operatorname{CRootOf} {\left(x^{3} - 6 x^{2} + 9 x - 1, 1\right)}\right) \cup \left(\operatorname{CRootOf} {\left(x^{3} - 6 x^{2} + 9 x - 1, 2\right)}, \infty\right)$$
x in Union(Interval.open(CRootOf(x^3 - 6*x^2 + 9*x - 1, 0), CRootOf(x^3 - 6*x^2 + 9*x - 1, 1)), Interval.open(CRootOf(x^3 - 6*x^2 + 9*x - 1, 2), oo))