Input TRS:
    1: g(x,0()) -> 0()
    2: g(d(),s(x)) -> s(s(g(d(),x)))
    3: g(h(),s(0())) -> 0()
    4: g(h(),s(s(x))) -> s(g(h(),x))
    5: double(x) -> g(d(),x)
    6: half(x) -> g(h(),x)
    7: f(s(x),y) -> f(half(s(x)),double(y))
    8: f(s(0()),y) -> y
    9: id(x) -> f(x,s(0()))
Number of Rules: 9
Direct QWPOS(max) ... failed.