YES

(VAR x)
(RULES
  *(*(s(y()),s(y())),fac(+(*(s(y()),y()),y()))) -> fac(*(s(y()),s(y())))
  s(+(*(s(y()),y()),y())) -> *(s(y()),s(y()))
  *(fac(0()),fac(0())) -> fac(fac(0()))
  *(0(),s(y())) -> *(0(),y())
  *(s(x),fac(x)) -> fac(s(x))
  s(0()) -> fac(0())
  +(*(x,y()),x) -> *(x,s(y()))
  *(x,0()) -> 0()
  +(x,s(y())) -> s(+(x,y()))
  +(x,0()) -> x
)

(COMMENT
Termination is shown by KBO with weight

  w0 = 1
  w(+) = 1
  w(0) = 1
  w(s) = 1
  w(y) = 1
  w(*) = 0
  w(fac) = 1

and precedence:

  y > * > + > s > fac > 0
)