MAYBE
Time: 0.021916
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))))}
  EDG:
   {(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))))}
   STATUS:
    arrows: 0.875000
    SCCS (1):
     Scc:
      {a#(f(), a(g(), a(f(), x))) -> a#(f(), a(g(), a(g(), a(f(), x))))}
     
     
     
     SCC (1):
      Strict:
       {a#(f(), a(g(), a(f(), x))) -> a#(f(), a(g(), a(g(), a(f(), 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