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