Input TRS:
    1: double(0()) -> 0()
    2: double(s(x)) -> s(s(double(x)))
    3: half(0()) -> 0()
    4: half(s(0())) -> 0()
    5: half(s(s(x))) -> s(half(x))
    6: -(x,0()) -> x
    7: -(s(x),s(y)) -> -(x,y)
    8: if(0(),y,z) -> y
    9: if(s(x),y,z) -> z
    10: half(double(x)) -> x
Number of Rules: 10
Direct POLO(mPol) ... orients all.
	I(-) = 3 * x1 + 3 * x2
	I(0) = 1
	I(if) = 3 * x1 + x2 + 3 * x3 + 1
	I(s) = x1 + 1
	I(half) = 3 * x1 + 3
	I(double) = 3 * x1 + 2
Number of Rules: 0