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