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