2 -x / ___ \ 2 1 ----- + \\/ 2 *x/ <= 8*x - 5 + - 1 - x x
(-x)/(1 - x) + (sqrt(2)*x)^2 <= 8*x^2 - 5 + 1/x
/ / / 4 3 2 \ \ / / 4 3 2 \ \ / / 4 3 2 \ \ / / 4 3 2 \ \\ Or\And\x <= CRootOf\6*x - 6*x - 6*x + 6*x - 1, 0/, -oo < x/, And\x <= CRootOf\6*x - 6*x - 6*x + 6*x - 1, 1/, 0 < x/, And\CRootOf\6*x - 6*x - 6*x + 6*x - 1, 2/ <= x, x < 1/, And\CRootOf\6*x - 6*x - 6*x + 6*x - 1, 3/ <= x, x < oo//
((-oo < x)∧(x <= CRootOf(6*x^4 - 6*x^3 - 6*x^2 + 6*x - 1, 0)))∨((0 < x)∧(x <= CRootOf(6*x^4 - 6*x^3 - 6*x^2 + 6*x - 1, 1)))∨((x < 1)∧(CRootOf(6*x^4 - 6*x^3 - 6*x^2 + 6*x - 1, 2) <= x))∨((x < oo)∧(CRootOf(6*x^4 - 6*x^3 - 6*x^2 + 6*x - 1, 3) <= x))
/ 4 3 2 \ / 4 3 2 \ / 4 3 2 \ / 4 3 2 \ (-oo, CRootOf\6*x - 6*x - 6*x + 6*x - 1, 0/] U (0, CRootOf\6*x - 6*x - 6*x + 6*x - 1, 1/] U [CRootOf\6*x - 6*x - 6*x + 6*x - 1, 2/, 1) U [CRootOf\6*x - 6*x - 6*x + 6*x - 1, 3/, oo)
x in Union(Interval(-oo, CRootOf(6*x^4 - 6*x^3 - 6*x^2 + 6*x - 1, 0)), Interval.Lopen(0, CRootOf(6*x^4 - 6*x^3 - 6*x^2 + 6*x - 1, 1)), Interval.Ropen(CRootOf(6*x^4 - 6*x^3 - 6*x^2 + 6*x - 1, 2), 1), Interval(CRootOf(6*x^4 - 6*x^3 - 6*x^2 + 6*x - 1, 3), oo))