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