MAYBE
Time: 0.002534
TRS:
 {g f(x, y) -> f(f(g g x, g g y), f(g g x, g g y))}
 DP:
  DP:
   {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}
  TRS:
  {g f(x, y) -> f(f(g g x, g g y), f(g g x, g g y))}
  UR:
   {g f(x, y) -> f(f(g g x, g g y), f(g g x, g g y)),
      a(z, w) -> z,
      a(z, w) -> w}
   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)}
    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)}
     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)}
      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)}
       STATUS:
        arrows: 0.000000
        SCCS (1):
         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 (4):
          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))}
          Open