YES

Problem:
 +(*(x,y),*(a(),y)) -> *(+(x,a()),y)
 *(*(x,y),z) -> *(x,*(y,z))

Proof:
 Matrix Interpretation Processor: dim=1
  
  interpretation:
   [+](x0, x1) = 5x0 + 6x1 + 2,
   
   [a] = 0,
   
   [*](x0, x1) = 4x0 + x1 + 2
  orientation:
   +(*(x,y),*(a(),y)) = 20x + 11y + 24 >= 20x + y + 10 = *(+(x,a()),y)
   
   *(*(x,y),z) = 16x + 4y + z + 10 >= 4x + 4y + z + 4 = *(x,*(y,z))
  problem:
   
  Qed