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