MAYBE
TRS:
 {g(f(x, y)) -> f(f(g(g(x)), g(g(y))), f(g(g(x)), g(g(y))))}
 DP:
  Strict:
   {g#(f(x, y)) -> g#(x),
    g#(f(x, y)) -> g#(y),
    g#(f(x, y)) -> g#(g(x)),
    g#(f(x, y)) -> g#(g(y))}
  Weak:
  {g(f(x, y)) -> f(f(g(g(x)), g(g(y))), f(g(g(x)), g(g(y))))}
  EDG:
   {(g#(f(x, y)) -> g#(y), g#(f(x, y)) -> g#(g(y)))
    (g#(f(x, y)) -> g#(y), g#(f(x, y)) -> g#(g(x)))
    (g#(f(x, y)) -> g#(y), g#(f(x, y)) -> g#(y))
    (g#(f(x, y)) -> g#(y), g#(f(x, y)) -> g#(x))
    (g#(f(x, y)) -> g#(g(x)), g#(f(x, y)) -> g#(g(y)))
    (g#(f(x, y)) -> g#(g(x)), g#(f(x, y)) -> g#(g(x)))
    (g#(f(x, y)) -> g#(g(x)), g#(f(x, y)) -> g#(y))
    (g#(f(x, y)) -> g#(g(x)), g#(f(x, y)) -> g#(x))
    (g#(f(x, y)) -> g#(g(y)), g#(f(x, y)) -> g#(x))
    (g#(f(x, y)) -> g#(g(y)), g#(f(x, y)) -> g#(y))
    (g#(f(x, y)) -> g#(g(y)), g#(f(x, y)) -> g#(g(x)))
    (g#(f(x, y)) -> g#(g(y)), g#(f(x, y)) -> g#(g(y)))
    (g#(f(x, y)) -> g#(x), g#(f(x, y)) -> g#(x))
    (g#(f(x, y)) -> g#(x), g#(f(x, y)) -> g#(y))
    (g#(f(x, y)) -> g#(x), g#(f(x, y)) -> g#(g(x)))
    (g#(f(x, y)) -> g#(x), g#(f(x, y)) -> g#(g(y)))}
   SCCS:
    Scc:
     {g#(f(x, y)) -> g#(x),
      g#(f(x, y)) -> g#(y),
      g#(f(x, y)) -> g#(g(x)),
      g#(f(x, y)) -> g#(g(y))}
    SCC:
     Strict:
      {g#(f(x, y)) -> g#(x),
       g#(f(x, y)) -> g#(y),
       g#(f(x, y)) -> g#(g(x)),
       g#(f(x, y)) -> g#(g(y))}
     Weak:
     {g(f(x, y)) -> f(f(g(g(x)), g(g(y))), f(g(g(x)), g(g(y))))}
     Fail