YES
(VAR y x z)
(RULES
i(*(y,x)) -> *(i(x),i(y))
i(one()) -> one()
i(i(y)) -> y
*(y,one()) -> y
*(y,i(y)) -> one()
*(y,*(i(y),x)) -> x
*(i(y),*(y,x)) -> x
*(one(),y) -> y
*(i(y),y) -> one()
*(*(y,x),z) -> *(y,*(x,z))
div(y,x) -> *(y,i(x))
)