abs(2 x-2)-9 = 0