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