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