YES(?,O(n^1))

Problem:
 app(app(app(compose(),f),g),x) -> app(f,app(g,x))

Proof:
 RT Transformation Processor:
  strict:
   app(app(app(compose(),f),g),x) -> app(f,app(g,x))
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   interpretation:
    [app](x0, x1) = x0 + x1 + 16,
    
    [compose] = 1
   orientation:
    app(app(app(compose(),f),g),x) = f + g + x + 49 >= f + g + x + 32 = app(f,app(g,x))
   problem:
    strict:
     
    weak:
     app(app(app(compose(),f),g),x) -> app(f,app(g,x))
   Qed