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