Input TRS:
    1: t(f(x),g(y),f(z())) -> t(z(),g(x),g(y))
    2: t(g(x),g(y),f(z())) -> t(f(y),f(z()),x)
   e1: f(g(x)) ->= g(f(x))	[relative]
   e2: g(f(x)) ->= f(g(x))	[relative]
   e3: f(f(x)) ->= g(g(x))	[relative]
   e4: g(g(x)) ->= f(f(x))	[relative]
Number of Rules: 2
Direct POLO(Sum) ... removes: 1 2
	I(z) = 0
	I(t) = x1 + x2 + x3
	I(f) = x1 + 1
	I(g) = x1 + 1
Number of Rules: 0