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