YES
(VAR x y)
(RULES
g(x,y) -> f8(y)
f7(x) -> f8(x)
f6(x) -> f8(x)
f5(x) -> f8(x)
f8(j(x)) -> f8(f8(x))
f2(x) -> f8(x)
f3(x) -> f8(x)
f4(x) -> f8(x)
f1(x) -> f8(x)
f8(f8(f8(f8(x)))) -> f8(x)
)