YES
Time: 0.000420
TRS:
 {  f(x, y, z, 0()) -> 2(),
  f(g x, h x, y, x) -> f(y, y, y, x),
              g 0() -> 2(),
              h 0() -> 2()}
 DP:
  DP:
   {f#(g x, h x, y, x) -> f#(y, y, y, x)}
  TRS:
  {  f(x, y, z, 0()) -> 2(),
   f(g x, h x, y, x) -> f(y, y, y, x),
               g 0() -> 2(),
               h 0() -> 2()}
  EDG:
   {}
   SCCS (0):
    
    Qed