MAYBE
Time: 0.001371
TRS:
 {f(f(f(a(), f(a(), a())), a()), x) -> f(x, f(x, a()))}
 DP:
  DP:
   {f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())),
    f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a())}
  TRS:
  {f(f(f(a(), f(a(), a())), a()), x) -> f(x, f(x, a()))}
  UR:
   {f(f(f(a(), f(a(), a())), a()), x) -> f(x, f(x, a())),
                              b(y, z) -> y,
                              b(y, z) -> z}
   EDG:
    {(f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()))
     (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())))
     (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())))
     (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()))}
    EDG:
     {(f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()))
      (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())))
      (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())))
      (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()))}
     EDG:
      {(f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()))
       (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())))
       (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())))
       (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()))}
      EDG:
       {(f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()))
        (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())))
        (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())))
        (f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())), f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a()))}
       STATUS:
        arrows: 0.000000
        SCCS (1):
         Scc:
          {f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())),
           f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a())}
         
         SCC (2):
          Strict:
           {f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, f(x, a())),
            f#(f(f(a(), f(a(), a())), a()), x) -> f#(x, a())}
          Weak:
          {f(f(f(a(), f(a(), a())), a()), x) -> f(x, f(x, a()))}
          Open