MAYBE
Time: 0.002804
TRS:
 {f(a(), f(f(a(), a()), x)) -> f(f(a(), a()), f(a(), f(a(), x)))}
 DP:
  DP:
   {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))}
  TRS:
  {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)))}
   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)))}
    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)))}
     STATUS:
      arrows: 0.333333
      SCCS (1):
       Scc:
        {f#(a(), f(f(a(), a()), x)) -> f#(a(), x),
         f#(a(), f(f(a(), a()), x)) -> f#(a(), f(a(), x))}
       
       SCC (2):
        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)))}
        Open