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