YES

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

Proof:
 Matrix Interpretation Processor: dim=1
  
  interpretation:
   [a] = 0,
   
   [*](x0, x1) = x0 + x1 + 4,
   
   [+](x0, x1) = x0 + 4x1 + 4
  orientation:
   +(*(x,y),*(a(),y)) = x + 5y + 24 >= x + y + 8 = *(+(x,a()),y)
   
   *(*(x,y),z) = x + y + z + 8 >= x + y + z + 8 = *(x,*(y,z))
  problem:
   *(*(x,y),z) -> *(x,*(y,z))
  Matrix Interpretation Processor: dim=3
   
   interpretation:
                  [1 0 1]     [1 0 0]     [1]
    [*](x0, x1) = [0 0 0]x0 + [0 0 0]x1 + [0]
                  [1 0 0]     [0 0 1]     [1]
   orientation:
                  [2 0 1]    [1 0 1]    [1 0 0]    [3]    [1 0 1]    [1 0 1]    [1 0 0]    [2]              
    *(*(x,y),z) = [0 0 0]x + [0 0 0]y + [0 0 0]z + [0] >= [0 0 0]x + [0 0 0]y + [0 0 0]z + [0] = *(x,*(y,z))
                  [1 0 1]    [1 0 0]    [0 0 1]    [2]    [1 0 0]    [1 0 0]    [0 0 1]    [2]              
   problem:
    
   Qed