YES
(VAR y x z)
(RULES
*(y,g(y)) -> g(y)
f(g(y)) -> g(y)
f(*(y,x)) -> g(y)
*(f(y),y) -> f(y)
*(*(y,x),z) -> *(f(x),z)
g(*(y,x)) -> f(x)
f(f(y)) -> f(y)
*(y,f(x)) -> *(y,x)
g(f(y)) -> f(y)
*(y,*(x,z)) -> *(y,g(x))
g(g(y)) -> g(y)
*(f(y),g(y)) -> y
*(g(y),x) -> *(y,x)
)