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