TIMEOUT
MAYBE
Trs:
 {    f(minus(x)) -> minus(minus(minus(f(x)))),
   minus(*(x, y)) -> +(minus(minus(minus(x))), minus(minus(minus(y)))),
   minus(+(x, y)) -> *(minus(minus(minus(x))), minus(minus(minus(y)))),
  minus(minus(x)) -> x}
 Open