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