YES
Time: 0.008594
TRS:
 {f(g x, y, y) -> g f(x, x, y)}
 DP:
  DP:
   {f#(g x, y, y) -> f#(x, x, y)}
  TRS:
  {f(g x, y, y) -> g f(x, x, y)}
  UR:
   {a(z, w) -> z,
    a(z, w) -> w}
   EDG:
    {(f#(g x, y, y) -> f#(x, x, y), f#(g x, y, y) -> f#(x, x, y))}
    EDG:
     {(f#(g x, y, y) -> f#(x, x, y), f#(g x, y, y) -> f#(x, x, y))}
     EDG:
      {(f#(g x, y, y) -> f#(x, x, y), f#(g x, y, y) -> f#(x, x, y))}
      EDG:
       {(f#(g x, y, y) -> f#(x, x, y), f#(g x, y, y) -> f#(x, x, y))}
       STATUS:
        arrows: 0.000000
        SCCS (1):
         Scc:
          {f#(g x, y, y) -> f#(x, x, y)}
         
         SCC (1):
          Strict:
           {f#(g x, y, y) -> f#(x, x, y)}
          Weak:
          {f(g x, y, y) -> g f(x, x, y)}
          POLY:
           Mode: weak, max_in=1, output_bits=-1, dnum=1, ur=true
           Interpretation:
            [f](x0, x1, x2) = x0 + 1,
            
            [g](x0) = x0 + 1,
            
            [f#](x0, x1, x2) = x0
           Strict:
            f#(g x, y, y) -> f#(x, x, y)
            1 + 1x + 0y >= 0 + 1x + 0y
           Weak:
            f(g x, y, y) -> g f(x, x, y)
            2 + 1x + 0y >= 2 + 1x + 0y
          Qed