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