YES(?,O(n^2))

Problem:
 div(X,e()) -> i(X)
 i(div(X,Y)) -> div(Y,X)
 div(div(X,Y),Z) -> div(Y,div(i(X),Z))

Proof:
 Matrix Interpretation Processor:
  dimension: 2
  interpretation:
             [1 1]  
   [i](x0) = [0 1]x0,
   
                   [1 1]          [0]
   [div](x0, x1) = [0 1]x0 + x1 + [2],
   
         [8]
   [e] = [0]
  orientation:
                [1 1]    [8]    [1 1]        
   div(X,e()) = [0 1]X + [2] >= [0 1]X = i(X)
   
                 [1 2]    [1 1]    [2]        [1 1]    [0]           
   i(div(X,Y)) = [0 1]X + [0 1]Y + [2] >= X + [0 1]Y + [2] = div(Y,X)
   
                     [1 2]    [1 1]        [2]    [1 2]    [1 1]        [0]                     
   div(div(X,Y),Z) = [0 1]X + [0 1]Y + Z + [4] >= [0 1]X + [0 1]Y + Z + [4] = div(Y,div(i(X),Z))
  problem:
   
  Qed