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