MAYBE
TRS:
 {f(a(), f(f(a(), a()), x)) -> f(f(a(), a()), f(a(), f(a(), x)))}
 DP:
  Strict:
   {f#(a(), f(f(a(), a()), x)) -> f#(f(a(), a()), f(a(), f(a(), x))),
    f#(a(), f(f(a(), a()), x)) -> f#(a(), x),
    f#(a(), f(f(a(), a()), x)) -> f#(a(), f(a(), x))}
  Weak:
  {f(a(), f(f(a(), a()), x)) -> f(f(a(), a()), f(a(), f(a(), x)))}
  EDG:
   {(f#(a(), f(f(a(), a()), x)) -> f#(a(), f(a(), x)), f#(a(), f(f(a(), a()), x)) -> f#(a(), f(a(), x)))
    (f#(a(), f(f(a(), a()), x)) -> f#(a(), f(a(), x)), f#(a(), f(f(a(), a()), x)) -> f#(a(), x))
    (f#(a(), f(f(a(), a()), x)) -> f#(a(), f(a(), x)), f#(a(), f(f(a(), a()), x)) -> f#(f(a(), a()), f(a(), f(a(), x))))
    (f#(a(), f(f(a(), a()), x)) -> f#(a(), x), f#(a(), f(f(a(), a()), x)) -> f#(f(a(), a()), f(a(), f(a(), x))))
    (f#(a(), f(f(a(), a()), x)) -> f#(a(), x), f#(a(), f(f(a(), a()), x)) -> f#(a(), x))
    (f#(a(), f(f(a(), a()), x)) -> f#(a(), x), f#(a(), f(f(a(), a()), x)) -> f#(a(), f(a(), x)))}
   SCCS:
    Scc:
     {f#(a(), f(f(a(), a()), x)) -> f#(a(), x),
      f#(a(), f(f(a(), a()), x)) -> f#(a(), f(a(), x))}
    SCC:
     Strict:
      {f#(a(), f(f(a(), a()), x)) -> f#(a(), x),
       f#(a(), f(f(a(), a()), x)) -> f#(a(), f(a(), x))}
     Weak:
     {f(a(), f(f(a(), a()), x)) -> f(f(a(), a()), f(a(), f(a(), x)))}
     Fail