|| 2 | 2| ||x - 8*x + 2| - x | >= 2*x + 2
Abs(-x^2 + |x^2 - 8*x + 2|) >= 2*x + 2
(-oo, 0] U [1, 2] U [5, oo)
x in Union(Interval(-oo, 0), Interval(1, 2), Interval(5, oo))
Or(And(1 <= x, x <= 2), And(5 <= x, x < oo), And(x <= 0, -oo < x))
((1 <= x)∧(x <= 2))∨((5 <= x)∧(x < oo))∨((x <= 0)∧(-oo < x))