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