Output: [|x-1=0|]