YES
TRS:
 {f(f(x)) -> g(f(x))}
 DP:
  Strict:
   {}
  Weak:
  {f(f(x)) -> g(f(x))}
  Qed