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