YES
Time: 0.002994
TRS:
 {f(a(), f(b(), f(a(), x))) -> f(a(), f(b(), f(b(), f(a(), x)))),
  f(b(), f(b(), f(b(), x))) -> f(b(), f(b(), x))}
 DP:
  DP:
   {f#(a(), f(b(), f(a(), x))) -> f#(a(), f(b(), f(b(), f(a(), x)))),
    f#(a(), f(b(), f(a(), x))) -> f#(b(), f(b(), f(a(), x)))}
  TRS:
  {f(a(), f(b(), f(a(), x))) -> f(a(), f(b(), f(b(), f(a(), x)))),
   f(b(), f(b(), f(b(), x))) -> f(b(), f(b(), x))}
  UR:
   {f(a(), f(b(), f(a(), x))) -> f(a(), f(b(), f(b(), f(a(), x)))),
    f(b(), f(b(), f(b(), x))) -> f(b(), f(b(), x))}
   EDG:
    {(f#(a(), f(b(), f(a(), x))) -> f#(b(), f(b(), f(a(), x))), f#(a(), f(b(), f(a(), x))) -> f#(b(), f(b(), f(a(), x))))
     (f#(a(), f(b(), f(a(), x))) -> f#(b(), f(b(), f(a(), x))), f#(a(), f(b(), f(a(), x))) -> f#(a(), f(b(), f(b(), f(a(), x)))))
     (f#(a(), f(b(), f(a(), x))) -> f#(a(), f(b(), f(b(), f(a(), x)))), f#(a(), f(b(), f(a(), x))) -> f#(a(), f(b(), f(b(), f(a(), x)))))
     (f#(a(), f(b(), f(a(), x))) -> f#(a(), f(b(), f(b(), f(a(), x)))), f#(a(), f(b(), f(a(), x))) -> f#(b(), f(b(), f(a(), x))))}
    EDG:
     {(f#(a(), f(b(), f(a(), x))) -> f#(a(), f(b(), f(b(), f(a(), x)))), f#(a(), f(b(), f(a(), x))) -> f#(a(), f(b(), f(b(), f(a(), x)))))
      (f#(a(), f(b(), f(a(), x))) -> f#(a(), f(b(), f(b(), f(a(), x)))), f#(a(), f(b(), f(a(), x))) -> f#(b(), f(b(), f(a(), x))))}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):