YES
TRS:
 {f(g(f(a()), h(a(), f(a())))) -> f(h(g(f(a()), a()), g(f(a()), f(a()))))}
 DP:
  Strict:
   {f#(g(f(a()), h(a(), f(a())))) -> f#(h(g(f(a()), a()), g(f(a()), f(a()))))}
  Weak:
  {f(g(f(a()), h(a(), f(a())))) -> f(h(g(f(a()), a()), g(f(a()), f(a()))))}
  EDG:
   {}
   SCCS:
    
    Qed