YES
Time: 0.001175
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:
   {}
   EDG:
    {}
    EDG:
     {}
     STATUS:
      arrows: 1.000000
      SCCS (0):