YES
Time: 0.011592
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))
    (g#(x, y) -> h#(x, y), h#(f x, y) -> g#(x, y))}
   STATUS:
    arrows: 0.500000
    SCCS (1):
     Scc:
      {  g#(x, y) -> h#(x, y),
       h#(f x, y) -> g#(x, y)}
     
     SCC (2):
      Strict:
       {  g#(x, y) -> h#(x, y),
        h#(f x, y) -> g#(x, y)}
      Weak:
      {  g(x, y) -> h(x, y),
       h(f x, y) -> f g(x, y)}
      POLY:
       Mode: weak, max_in=1, output_bits=-1, dnum=1, ur=true
       Interpretation:
        [g](x0, x1) = 1,
        
        [h](x0, x1) = 0,
        
        [f](x0) = x0 + 1,
        
        [g#](x0, x1) = x0 + 1,
        
        [h#](x0, x1) = x0 + 1
       Strict:
        h#(f x, y) -> g#(x, y)
        2 + 1x + 0y >= 1 + 1x + 0y
        g#(x, y) -> h#(x, y)
        1 + 1x + 0y >= 1 + 1x + 0y
       Weak:
        h(f x, y) -> f g(x, y)
        0 + 0x + 0y >= 2 + 0x + 0y
        g(x, y) -> h(x, y)
        1 + 0x + 0y >= 0 + 0x + 0y
      SCCS (0):