YES(?,O(n^1))

Problem:
 app(app(apply(),f),x) -> app(f,x)

Proof:
 Complexity Transformation Processor:
  strict:
   app(app(apply(),f),x) -> app(f,x)
  weak:
   
  Matrix Interpretation Processor:
   dimension: 1
   max_matrix:
    1
    interpretation:
     [app](x0, x1) = x0 + x1,
     
     [apply] = 1
    orientation:
     app(app(apply(),f),x) = f + x + 1 >= f + x = app(f,x)
    problem:
     strict:
      
     weak:
      app(app(apply(),f),x) -> app(f,x)
    Qed