TRS:
 {    half(0()) -> 0(),
  half(s(s(x))) -> s(half(x)),
    log(s(0())) -> 0(),
   log(s(s(x))) -> s(log(s(half(x))))}
 MPO:
  Prec:
   s > half, 
   log > s
   empty
  Strict:
   {}
   Weak:
    {}
  Qed