Output: [|x-4=0|]