Solve `||x-1|-5|lt=2`

Explanation

`||x-1| -5| ge 2`
i.e., `|x-1| -5| le -2 " or " |x-1| -5| ge 2`
i.e., `|x-1| le 3 " or " |x-1| ge 7`
i.e., `-3 le x-1 le 3" or " x-1 le -7 " or " x-1 ge 7`
i.e., `-2 le x le 4 " or " x le -6 " or " x ge 8 `
i.e., `x in (-oo,-6]cup [-2,4] cup [8,oo)`