Output: [|x-9=0|]