Input TRS:
    1: f(f(x)) -> f(c(f(x)))
    2: f(f(x)) -> f(d(f(x)))
    3: g(c(x)) -> x
    4: g(d(x)) -> x
    5: g(c(0())) -> g(d(1()))
    6: g(c(1())) -> g(d(0()))
Number of Rules: 6
Direct POLO(Sum) ... removes: 4 3
	I(0) = 0
	I(1) = 0
	I(c) = x1
	I(d) = x1
	I(f) = x1
	I(g) = x1 + 1
Number of Rules: 4
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.