Input TRS:
    1: half(0()) -> 0()
    2: half(s(0())) -> 0()
    3: half(s(s(x))) -> s(half(x))
    4: s(log(0())) -> s(0())
    5: log(s(x)) -> s(log(half(s(x))))
Number of Rules: 5
Direct POLO(mPol) ... failed.