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