Input TRS:
    1: f(f(x)) -> g(f(x))
    2: g(g(x)) -> f(x)
Number of Rules: 2
Direct POLO(Pol) ... orients all.
	I(f) = x1 + 3
	I(g) = x1 + 2
Number of Rules: 0