TIMEOUT
MAYBE
Trs:
 {                  g(x, x, x) -> g(c(), d(), e()),
                    g(x, y, x) -> g(c(), d(), e()),
               h(h(x, a()), y) -> h(h(a(), y), h(a(), x)),
            h(f(x, s(y)), b()) -> f(a(), g(y, a(), f(s(x), a()))),
  f(h(a(), y), g(x, b(), a())) -> h(f(x, s(y)), s(b())),
   f(x, g(x, a(), f(s(x), y))) -> f(h(x, b()), g(a(), b(), y)),
           f(x, f(y, f(x, y))) -> f(a(), f(x, f(y, b()))),
                    s(f(x, y)) -> f(y, f(s(s(x)), a())),
                          s(y) -> b()}
 Open