YES

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

(COMMENT
Termination is shown by EKBO with interpretations on natural numbers

  *_A(x1,x2) = x1 + x2 + 1
  one_A = 1
  i_A(x1) = x1
  f_A(x1) = 1
  g_A(x1) = 4
  h_A(x1) = x1 + 5
  k_A(x1) = 3
  j_A(x1) = 2
  *#_A(x1,x2) = x1
  one#_A = 0
  f#_A(x1) = 0

weights

  w0 = 1
  w(*) = 0
  w(one) = 1
  w(i) = 0
  w(f) = 1
  w(g) = 1
  w(h) = 1
  w(k) = 1
  w(j) = 1

and precedence:

i > k > j > * > g > h > f > one
)