YES

Problem:
 app(app(app(uncurry(),f),x),y) -> app(app(f,x),y)

Proof:
 DP Processor:
  DPs:
   app#(app(app(uncurry(),f),x),y) -> app#(f,x)
   app#(app(app(uncurry(),f),x),y) -> app#(app(f,x),y)
  TRS:
   app(app(app(uncurry(),f),x),y) -> app(app(f,x),y)
  Matrix Interpretation Processor:
   dimension: 1
   interpretation:
    [app#](x0, x1) = x0 + 1,
    
    [app](x0, x1) = x0 + x1,
    
    [uncurry] = 1
   orientation:
    app#(app(app(uncurry(),f),x),y) = f + x + 2 >= f + 1 = app#(f,x)
    
    app#(app(app(uncurry(),f),x),y) = f + x + 2 >= f + x + 1 = app#(app(f,x),y)
    
    app(app(app(uncurry(),f),x),y) = f + x + y + 1 >= f + x + y = app(app(f,x),y)
   problem:
    DPs:
     
    TRS:
     app(app(app(uncurry(),f),x),y) -> app(app(f,x),y)
   Qed