MAYBE
TRS:
 {    half(0()) -> 0(),
   half(s(0())) -> 0(),
  half(s(s(x))) -> s(half(x)),
    s(log(0())) -> s(0()),
      log(s(x)) -> s(log(half(s(x))))}
 DP:
  Strict:
   {half#(s(s(x))) -> half#(x),
    half#(s(s(x))) -> s#(half(x)),
      s#(log(0())) -> s#(0()),
        log#(s(x)) -> half#(s(x)),
        log#(s(x)) -> s#(log(half(s(x)))),
        log#(s(x)) -> log#(half(s(x)))}
  Weak:
  {    half(0()) -> 0(),
    half(s(0())) -> 0(),
   half(s(s(x))) -> s(half(x)),
     s(log(0())) -> s(0()),
       log(s(x)) -> s(log(half(s(x))))}
  EDG:
   {(log#(s(x)) -> s#(log(half(s(x)))), s#(log(0())) -> s#(0()))
    (log#(s(x)) -> half#(s(x)), half#(s(s(x))) -> half#(x))
    (log#(s(x)) -> half#(s(x)), half#(s(s(x))) -> s#(half(x)))
    (half#(s(s(x))) -> half#(x), half#(s(s(x))) -> half#(x))
    (half#(s(s(x))) -> half#(x), half#(s(s(x))) -> s#(half(x)))
    (log#(s(x)) -> log#(half(s(x))), log#(s(x)) -> half#(s(x)))
    (log#(s(x)) -> log#(half(s(x))), log#(s(x)) -> s#(log(half(s(x)))))
    (log#(s(x)) -> log#(half(s(x))), log#(s(x)) -> log#(half(s(x))))}
   SCCS:
    Scc:
     {log#(s(x)) -> log#(half(s(x)))}
    Scc:
     {half#(s(s(x))) -> half#(x)}
    SCC:
     Strict:
      {log#(s(x)) -> log#(half(s(x)))}
     Weak:
     {    half(0()) -> 0(),
       half(s(0())) -> 0(),
      half(s(s(x))) -> s(half(x)),
        s(log(0())) -> s(0()),
          log(s(x)) -> s(log(half(s(x))))}
     Fail
    SCC:
     Strict:
      {half#(s(s(x))) -> half#(x)}
     Weak:
     {    half(0()) -> 0(),
       half(s(0())) -> 0(),
      half(s(s(x))) -> s(half(x)),
        s(log(0())) -> s(0()),
          log(s(x)) -> s(log(half(s(x))))}
     SPSC:
      Simple Projection:
       pi(half#) = 0
      Strict:
       {}
      Qed