EQUATIONS: g(g(x,y),j(z)) = g(x,g(y,z)) g(g(x,y),z) = g(x,z) g(f1(x),y) = f1(y) g(f2(x),y) = f2(y) g(f3(x),y) = f3(y) g(f4(x),y) = f4(y) g(f5(x),y) = f5(y) g(f6(x),y) = f6(y) g(f7(x),y) = f7(y) g(f8(x),y) = f8(y) g(x,j(f1(f2(x)))) = f2(x) g(x,j(f2(f3(x)))) = f3(x) g(x,j(f3(f4(x)))) = f4(x) g(x,j(f4(f5(x)))) = f5(x) g(x,j(f5(f6(x)))) = f6(x) g(x,j(f6(f7(x)))) = f7(x) g(x,j(f7(f8(x)))) = f8(x) g(x,j(f8(f1(x)))) = f1(x) COMPLETE TRS: RULES: f1(j(x)) -> f1(f1(x)) f1(f1(f1(f1(x)))) -> f1(x) g(y,x) -> f1(x) f2(x) -> f1(x) f3(x) -> f1(x) f4(x) -> f1(x) f5(x) -> f1(x) f6(x) -> f1(x) f7(x) -> f1(x) f8(x) -> f1(x) SUCCESS MaxTRS: 2 Search time: 0.24 seconds