YES
(VAR x y z)
(RULES
*(j(x),j(y)) -> j(*(x,y))
*(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),*(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)
*(j(x),*(j(y),z)) -> *(j(*(x,y)),z)
i(j(x)) -> j(i(x))
i(k(x)) -> k(i(x))
i(g(x)) -> g(i(x))
i(f(x)) -> f(i(x))
i(h(x)) -> h(i(x))
*(j(x),*(h(y),z)) -> *(h(y),*(j(x),z))
i(*(x,y)) -> *(i(y),i(x))
*(x,*(i(x),y)) -> y
f(one()) -> one()
h(one()) -> one()
k(one()) -> one()
j(one()) -> one()
g(one()) -> one()
i(one()) -> one()
i(i(x)) -> x
*(x,one()) -> x
*(x,i(x)) -> one()
*(i(x),*(x,y)) -> y
*(k(x),*(g(y),z)) -> *(g(y),*(k(x),z))
*(k(x),*(f(y),z)) -> *(f(y),*(k(x),z))
*(h(x),*(g(y),z)) -> *(g(y),*(h(x),z))
*(h(x),*(f(y),z)) -> *(f(y),*(h(x),z))
*(g(x),*(f(y),z)) -> *(f(y),*(g(x),z))
*(k(x),*(h(y),z)) -> *(h(y),*(k(x),z))
*(j(x),*(k(y),z)) -> *(k(y),*(j(x),z))
*(j(x),*(f(y),z)) -> *(f(y),*(j(x),z))
*(j(x),*(g(y),z)) -> *(g(y),*(j(x),z))
*(one(),x) -> x
*(i(x),x) -> one()
*(*(x,y),z) -> *(x,*(y,z))
*(g(x),f(y)) -> *(f(y),g(x))
*(h(x),f(y)) -> *(f(y),h(x))
*(h(x),g(y)) -> *(g(y),h(x))
*(k(x),f(y)) -> *(f(y),k(x))
*(k(x),h(y)) -> *(h(y),k(x))
*(k(x),g(y)) -> *(g(y),k(x))
*(j(x),f(y)) -> *(f(y),j(x))
*(j(x),g(y)) -> *(g(y),j(x))
*(j(x),h(y)) -> *(h(y),j(x))
*(j(x),k(y)) -> *(k(y),j(x))
)