YES
Time: 0.008196
TRS:
 {    f f x -> f c f x,
      f f x -> f d f x,
      g c x -> x,
    g c 1() -> g d h 0(),
  g c h 0() -> g d 1(),
      g d x -> x,
      g h x -> g x}
 DP:
  DP:
   {    f# f x -> f# c f x,
        f# f x -> f# d f x,
      g# c 1() -> g# d h 0(),
    g# c h 0() -> g# d 1(),
        g# h x -> g# x}
  TRS:
  {    f f x -> f c f x,
       f f x -> f d f x,
       g c x -> x,
     g c 1() -> g d h 0(),
   g c h 0() -> g d 1(),
       g d x -> x,
       g h x -> g x}
  EDG:
   {}
   STATUS:
    arrows: 1.000000
    SCCS (0):