Input TRS:
    1: a(f(),0()) -> a(s(),0())
    2: a(d(),0()) -> 0()
    3: a(d(),a(s(),x)) -> a(s(),a(s(),a(d(),a(p(),a(s(),x)))))
    4: a(f(),a(s(),x)) -> a(d(),a(f(),a(p(),a(s(),x))))
    5: a(p(),a(s(),x)) -> x
Number of Rules: 5
Direct POLO(Sum) ... removes: 1
	I(0) = 0
	I(a) = x1 + x2
	I(d) = 0
	I(f) = 1
	I(p) = 0
	I(s) = 0
Number of Rules: 4
Direct POLO(Sum) ...Direct QLPOS ...Direct QKBOS ... failed.