MAYBE
Time: 0.006017
TRS:
 {  half 0() -> 0(),
  half s 0() -> 0(),
  half s s x -> s half x,
    bits 0() -> 0(),
    bits s x -> s bits half s x}
 DP:
  DP:
   {half# s s x -> half# x,
      bits# s x -> half# s x,
      bits# s x -> bits# half s x}
  TRS:
  {  half 0() -> 0(),
   half s 0() -> 0(),
   half s s x -> s half x,
     bits 0() -> 0(),
     bits s x -> s bits half s x}
  EDG:
   {(half# s s x -> half# x, half# s s x -> half# x)
    (bits# s x -> half# s x, half# s s x -> half# x)
    (bits# s x -> bits# half s x, bits# s x -> half# s x)
    (bits# s x -> bits# half s x, bits# s x -> bits# half s x)}
   EDG:
    {(half# s s x -> half# x, half# s s x -> half# x)
     (bits# s x -> half# s x, half# s s x -> half# x)
     (bits# s x -> bits# half s x, bits# s x -> half# s x)
     (bits# s x -> bits# half s x, bits# s x -> bits# half s x)}
    EDG:
     {(bits# s x -> bits# half s x, bits# s x -> half# s x)
      (bits# s x -> bits# half s x, bits# s x -> bits# half s x)}
     EDG:
      {(bits# s x -> bits# half s x, bits# s x -> half# s x)
       (bits# s x -> bits# half s x, bits# s x -> bits# half s x)}
      STATUS:
       arrows: 0.777778
       SCCS (1):
        Scc:
         {bits# s x -> bits# half s x}
        
        
        SCC (1):
         Strict:
          {bits# s x -> bits# half s x}
         Weak:
         {  half 0() -> 0(),
          half s 0() -> 0(),
          half s s x -> s half x,
            bits 0() -> 0(),
            bits s x -> s bits half s x}
         Fail