YES
Time: 0.001103
TRS:
 {   double 0() -> 0(),
     double s x -> s s double x,
       half 0() -> 0(),
  half double x -> x,
     half s 0() -> 0(),
     half s s x -> s half x,
      -(x, 0()) -> x,
    -(s x, s y) -> -(x, y),
  if(0(), y, z) -> y,
  if(s x, y, z) -> z}
 DP:
  DP:
   { double# s x -> double# x,
     half# s s x -> half# x,
    -#(s x, s y) -> -#(x, y)}
  TRS:
  {   double 0() -> 0(),
      double s x -> s s double x,
        half 0() -> 0(),
   half double x -> x,
      half s 0() -> 0(),
      half s s x -> s half x,
       -(x, 0()) -> x,
     -(s x, s y) -> -(x, y),
   if(0(), y, z) -> y,
   if(s x, y, z) -> z}
  UR:
   {}
   EDG:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):