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