YES
Time: 0.000773
TRS:
 {  g(x, y) -> h(x, y),
  h(f x, y) -> f g(x, y)}
 DP:
  DP:
   {  g#(x, y) -> h#(x, y),
    h#(f x, y) -> g#(x, y)}
  TRS:
  {  g(x, y) -> h(x, y),
   h(f x, y) -> f g(x, y)}
  EDG:
   {(h#(f x, y) -> g#(x, y), g#(x, y) -> h#(x, y))}
   STATUS:
    arrows: 0.750000
    SCCS (0):