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