(VAR x)
(RULES
  -(+(x,-(x))) -> 0
  +(x,-(x)) -> 0
  -(+(0,0)) -> 0
  +(0,0) -> 0
  -(0) -> 0
)
(COMMENT Example 5 of \cite{GTV04})