Input TRS:
    1: f(g(f(x))) -> f(g(g(g(f(x)))))
   e1: g(x) ->= g(g(x))	[relative]
   e2: g(x) ->= g(g(f(g(g(x)))))	[relative]
   e3: f(x) ->= g(g(f(g(g(x)))))	[relative]
Number of Rules: 1
Direct Mat3b ... removes: 1
	I(f) = [1,0,1;0,0,0;0,0,1] * x1 + [0;1;1]
	I(g) = [1,0,0;0,0,0;0,1,0] * x1
Number of Rules: 0