YES
Time: 0.001466
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:
    {(f# f x -> f# d f x, f# f x -> f# d f x)
     (f# f x -> f# d f x, f# c(s x, y) -> f# c(x, s y))
     (g# c(x, s y) -> g# c(s x, y), g# c(x, s y) -> g# c(s x, y))
     (f# c(s x, y) -> f# c(x, s y), f# c(s x, y) -> f# c(x, s y))
     (f# c(s x, y) -> f# c(x, s y), f# f x -> f# d f x)}
    EDG:
     {(g# c(x, s y) -> g# c(s x, y), g# c(x, s y) -> g# c(s x, y))
      (f# c(s x, y) -> f# c(x, s y), f# c(s x, y) -> f# c(x, s y))}
     EDG:
      {}
      EDG:
       {}
       STATUS:
        arrows: 1.000000
        SCCS (0):