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