TIMEOUT
MAYBE
Trs:
 {f(f(a(), b()), x) -> f(b(), f(a(), f(c(), f(b(), f(a(), x))))),
      f(x, f(y, z)) -> f(f(x, y), z)}
 Open