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