Output: [|x-40=0|]