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(f9(x),y) = f9(y)
g(f10(x),y) = f10(y)
g(f11(x),y) = f11(y)
g(f12(x),y) = f12(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(f9(x)))) = f9(x)
g(x,j(f9(f10(x)))) = f10(x)
g(x,j(f10(f11(x)))) = f11(x)
g(x,j(f11(f12(x)))) = f12(x)
g(x,j(f12(f1(x)))) = f1(x)

COMPLETE TRS:
RULES:
f11(j(x)) -> f11(f11(x))
f12(x) -> f11(x)
f11(f11(f11(f11(x)))) -> f11(x)
g(y,x) -> f11(x)
f2(x) -> f11(x)
f3(x) -> f11(x)
f4(x) -> f11(x)
f5(x) -> f11(x)
f6(x) -> f11(x)
f7(x) -> f11(x)
f8(x) -> f11(x)
f1(x) -> f11(x)
f9(x) -> f11(x)
f10(x) -> f11(x)

SUCCESS
MaxTRS: 2 
Search time: 41.69 seconds