YES
(VAR x y z)
(RULES
1() -> exp(0())
+(x,+(0(),y)) -> +(x,y)
*(x,exp(0())) -> x
*(x,*(exp(0()),y)) -> *(x,y)
+(+(x,y),z) -> +(x,+(y,z))
+(x,0()) -> x
*(*(x,y),z) -> *(x,*(y,z))
exp(+(x,y)) -> *(exp(x),exp(y))
)