| 2 | 2 |x - 1| < x - |x| + 1
|x^2 - 1| < x^2 - |x| + 1
(-2, -1/2) U (1/2, 2)
x in Union(Interval.open(-2, -1/2), Interval.open(1/2, 2))
Or(And(-2 < x, x < -1/2), And(1/2 < x, x < 2))
((-2 < x)∧(x < -1/2))∨((1/2 < x)∧(x < 2))