/ / / 4 3 \ \ / / 4 3 \ \\
Or\And\x <= CRootOf\x - 8*x + 3*x - 4, 1/, 0 < x/, And\CRootOf\x - 8*x + 3*x - 4, 0/ <= x, x < 0//
$$\left(x \leq \operatorname{CRootOf} {\left(x^{4} - 8 x^{3} + 3 x - 4, 1\right)} \wedge 0 < x\right) \vee \left(\operatorname{CRootOf} {\left(x^{4} - 8 x^{3} + 3 x - 4, 0\right)} \leq x \wedge x < 0\right)$$
((0 < x)∧(x <= CRootOf(x^4 - 8*x^3 + 3*x - 4, 1)))∨((x < 0)∧(CRootOf(x^4 - 8*x^3 + 3*x - 4, 0) <= x))
/ 4 3 \ / 4 3 \
[CRootOf\x - 8*x + 3*x - 4, 0/, 0) U (0, CRootOf\x - 8*x + 3*x - 4, 1/]
$$x\ in\ \left[\operatorname{CRootOf} {\left(x^{4} - 8 x^{3} + 3 x - 4, 0\right)}, 0\right) \cup \left(0, \operatorname{CRootOf} {\left(x^{4} - 8 x^{3} + 3 x - 4, 1\right)}\right]$$
x in Union(Interval.Lopen(0, CRootOf(x^4 - 8*x^3 + 3*x - 4, 1)), Interval.Ropen(CRootOf(x^4 - 8*x^3 + 3*x - 4, 0), 0))