YES(?,O(n^2))

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

Proof:
 Matrix Interpretation Processor:
  dimension: 2
  interpretation:
                      [1 2]     [8]
   [*](x0, x1) = x0 + [0 1]x1 + [1]
  orientation:
                     [1 2]    [1 4]    [18]        [1 2]    [1 2]    [16]              
   *(x,*(y,z)) = x + [0 1]y + [0 1]z + [2 ] >= x + [0 1]y + [0 1]z + [2 ] = *(*(x,y),z)
   
            [2 2]    [8]         
   *(x,x) = [0 2]x + [1] >= x = x
  problem:
   
  Qed