YES(?,O(n^2))

Problem:
 f(x,g(x)) -> x
 f(x,h(y)) -> f(h(x),y)

Proof:
 Matrix Interpretation Processor:
  dimension: 2
  interpretation:
                  [7]
   [h](x0) = x0 + [1],
   
                 [1 4]     [1 6]     [0]
   [f](x0, x1) = [0 0]x0 + [0 1]x1 + [3],
   
                  [2]
   [g](x0) = x0 + [0]
  orientation:
               [2  10]    [2]         
   f(x,g(x)) = [0  1 ]x + [3] >= x = x
   
               [1 4]    [1 6]    [13]    [1 4]    [1 6]    [11]            
   f(x,h(y)) = [0 0]x + [0 1]y + [4 ] >= [0 0]x + [0 1]y + [3 ] = f(h(x),y)
  problem:
   
  Qed