MAYBE
Time: 0.003221
TRS:
 {a(f(), a(f(), a(g(), a(g(), x)))) -> a(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x))))))}
 DP:
  DP:
   {a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))),
    a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))),
    a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))),
    a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x),
    a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)),
    a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x)))}
  TRS:
  {a(f(), a(f(), a(g(), a(g(), x)))) -> a(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x))))))}
  UR:
   {a(f(), a(f(), a(g(), a(g(), x)))) -> a(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x))))))}
   EDG:
    {(a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)))
     (a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)), a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x))))}
    STATUS:
     arrows: 0.000000
     SCCS (1):
      Scc:
       {a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))),
        a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))),
        a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))),
        a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x),
        a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)),
        a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x)))}
      
      SCC (6):
       Strict:
        {a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x)))))),
         a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(g(), a(f(), a(f(), a(f(), x))))),
         a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(g(), a(f(), a(f(), a(f(), x)))),
         a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), x),
         a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), x)),
         a#(f(), a(f(), a(g(), a(g(), x)))) -> a#(f(), a(f(), a(f(), x)))}
       Weak:
       {a(f(), a(f(), a(g(), a(g(), x)))) -> a(g(), a(g(), a(g(), a(f(), a(f(), a(f(), x))))))}
       Open