(VAR x y z)
(RULES
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)
)