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