MAYBE
Time: 0.008064
TRS:
 {      1024_1 x -> if(lt(x, 10()), x),
          1024() -> 1024_1 0(),
   if(true(), x) -> double 1024_1 s x,
  if(false(), x) -> s 0(),
      lt(x, 0()) -> false(),
    lt(0(), s y) -> true(),
    lt(s x, s y) -> lt(x, y),
            10() -> double s double s s 0(),
      double 0() -> 0(),
      double s x -> s s double x}
 DP:
  DP:
   {     1024_1# x -> if#(lt(x, 10()), x),
         1024_1# x -> lt#(x, 10()),
         1024_1# x -> 10#(),
           1024#() -> 1024_1# 0(),
    if#(true(), x) -> 1024_1# s x,
    if#(true(), x) -> double# 1024_1 s x,
     lt#(s x, s y) -> lt#(x, y),
             10#() -> double# s double s s 0(),
             10#() -> double# s s 0(),
       double# s x -> double# x}
  TRS:
  {      1024_1 x -> if(lt(x, 10()), x),
           1024() -> 1024_1 0(),
    if(true(), x) -> double 1024_1 s x,
   if(false(), x) -> s 0(),
       lt(x, 0()) -> false(),
     lt(0(), s y) -> true(),
     lt(s x, s y) -> lt(x, y),
             10() -> double s double s s 0(),
       double 0() -> 0(),
       double s x -> s s double x}
  EDG:
   {(if#(true(), x) -> 1024_1# s x, 1024_1# x -> 10#())
    (if#(true(), x) -> 1024_1# s x, 1024_1# x -> lt#(x, 10()))
    (if#(true(), x) -> 1024_1# s x, 1024_1# x -> if#(lt(x, 10()), x))
    (lt#(s x, s y) -> lt#(x, y), lt#(s x, s y) -> lt#(x, y))
    (1024_1# x -> lt#(x, 10()), lt#(s x, s y) -> lt#(x, y))
    (10#() -> double# s s 0(), double# s x -> double# x)
    (double# s x -> double# x, double# s x -> double# x)
    (if#(true(), x) -> double# 1024_1 s x, double# s x -> double# x)
    (10#() -> double# s double s s 0(), double# s x -> double# x)
    (1024_1# x -> if#(lt(x, 10()), x), if#(true(), x) -> 1024_1# s x)
    (1024_1# x -> if#(lt(x, 10()), x), if#(true(), x) -> double# 1024_1 s x)
    (1024_1# x -> 10#(), 10#() -> double# s double s s 0())
    (1024_1# x -> 10#(), 10#() -> double# s s 0())
    (1024#() -> 1024_1# 0(), 1024_1# x -> if#(lt(x, 10()), x))
    (1024#() -> 1024_1# 0(), 1024_1# x -> lt#(x, 10()))
    (1024#() -> 1024_1# 0(), 1024_1# x -> 10#())}
   STATUS:
    arrows: 0.840000
    SCCS (3):
     Scc:
      {     1024_1# x -> if#(lt(x, 10()), x),
       if#(true(), x) -> 1024_1# s x}
     Scc:
      {double# s x -> double# x}
     Scc:
      {lt#(s x, s y) -> lt#(x, y)}
     
     
     SCC (2):
      Strict:
       {     1024_1# x -> if#(lt(x, 10()), x),
        if#(true(), x) -> 1024_1# s x}
      Weak:
      {      1024_1 x -> if(lt(x, 10()), x),
               1024() -> 1024_1 0(),
        if(true(), x) -> double 1024_1 s x,
       if(false(), x) -> s 0(),
           lt(x, 0()) -> false(),
         lt(0(), s y) -> true(),
         lt(s x, s y) -> lt(x, y),
                 10() -> double s double s s 0(),
           double 0() -> 0(),
           double s x -> s s double x}
      Open
     
     
     
     
     SCC (1):
      Strict:
       {double# s x -> double# x}
      Weak:
      {      1024_1 x -> if(lt(x, 10()), x),
               1024() -> 1024_1 0(),
        if(true(), x) -> double 1024_1 s x,
       if(false(), x) -> s 0(),
           lt(x, 0()) -> false(),
         lt(0(), s y) -> true(),
         lt(s x, s y) -> lt(x, y),
                 10() -> double s double s s 0(),
           double 0() -> 0(),
           double s x -> s s double x}
      Open
     
     SCC (1):
      Strict:
       {lt#(s x, s y) -> lt#(x, y)}
      Weak:
      {      1024_1 x -> if(lt(x, 10()), x),
               1024() -> 1024_1 0(),
        if(true(), x) -> double 1024_1 s x,
       if(false(), x) -> s 0(),
           lt(x, 0()) -> false(),
         lt(0(), s y) -> true(),
         lt(s x, s y) -> lt(x, y),
                 10() -> double s double s s 0(),
           double 0() -> 0(),
           double s x -> s s double x}
      Open