Input TRS:
    1: half(0()) -> 0()
    2: half(s(s(x))) -> s(half(x))
    3: log(s(0())) -> 0()
    4: log(s(s(x))) -> s(log(s(half(x))))
Number of Rules: 4
Direct QWPOS(Sum) ... orients all.
	I(0) = 1
	I(s) = x1 + 2	sigma(s) = [1]
	I(half) = x1	sigma(half) = [1]
	I(log) = x1 + 1	sigma(log) = [1]
    PREC: 0 > log > s = half
Number of Rules: 0