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