Input TRS:
    1: i(x,x) -> i(a(),b())
    2: g(x,x) -> g(a(),b())
    3: h(s(f(x))) -> h(f(x))
    4: f(s(x)) -> s(s(f(h(s(x)))))
    5: f(g(s(x),y)) -> f(g(x,s(y)))
    6: h(g(x,s(y))) -> h(g(s(x),y))
    7: h(i(x,y)) -> i(i(c(),h(h(y))),x)
    8: g(a(),g(x,g(b(),g(a(),g(x,y))))) -> g(a(),g(a(),g(a(),g(x,g(b(),g(b(),y))))))
Number of Rules: 8
Direct POLO(Pol) ... failed.