YES
TRS:
 {app(app(app(comp(), f), g), x) -> app(f, app(g, x)),
                 app(twice(), f) -> app(app(comp(), f), f)}
 DP:
  Strict:
   {app#(app(app(comp(), f), g), x) -> app#(f, app(g, x)),
    app#(app(app(comp(), f), g), x) -> app#(g, x),
                   app#(twice(), f) -> app#(app(comp(), f), f),
                   app#(twice(), f) -> app#(comp(), f)}
  Weak:
  {app(app(app(comp(), f), g), x) -> app(f, app(g, x)),
                  app(twice(), f) -> app(app(comp(), f), f)}
  EDG:
   {(app#(app(app(comp(), f), g), x) -> app#(g, x), app#(twice(), f) -> app#(comp(), f))
    (app#(app(app(comp(), f), g), x) -> app#(g, x), app#(twice(), f) -> app#(app(comp(), f), f))
    (app#(app(app(comp(), f), g), x) -> app#(g, x), app#(app(app(comp(), f), g), x) -> app#(g, x))
    (app#(app(app(comp(), f), g), x) -> app#(g, x), app#(app(app(comp(), f), g), x) -> app#(f, app(g, x)))
    (app#(app(app(comp(), f), g), x) -> app#(f, app(g, x)), app#(app(app(comp(), f), g), x) -> app#(f, app(g, x)))
    (app#(app(app(comp(), f), g), x) -> app#(f, app(g, x)), app#(app(app(comp(), f), g), x) -> app#(g, x))
    (app#(app(app(comp(), f), g), x) -> app#(f, app(g, x)), app#(twice(), f) -> app#(app(comp(), f), f))
    (app#(app(app(comp(), f), g), x) -> app#(f, app(g, x)), app#(twice(), f) -> app#(comp(), f))}
   SCCS:
    Scc:
     {app#(app(app(comp(), f), g), x) -> app#(f, app(g, x)),
      app#(app(app(comp(), f), g), x) -> app#(g, x)}
    SCC:
     Strict:
      {app#(app(app(comp(), f), g), x) -> app#(f, app(g, x)),
       app#(app(app(comp(), f), g), x) -> app#(g, x)}
     Weak:
     {app(app(app(comp(), f), g), x) -> app(f, app(g, x)),
                     app(twice(), f) -> app(app(comp(), f), f)}
     SPSC:
      Simple Projection:
       pi(app#) = 0
      Strict:
       {app#(app(app(comp(), f), g), x) -> app#(g, x)}
      EDG:
       {(app#(app(app(comp(), f), g), x) -> app#(g, x), app#(app(app(comp(), f), g), x) -> app#(g, x))}
       SCCS:
        Scc:
         {app#(app(app(comp(), f), g), x) -> app#(g, x)}
        SCC:
         Strict:
          {app#(app(app(comp(), f), g), x) -> app#(g, x)}
         Weak:
         {app(app(app(comp(), f), g), x) -> app(f, app(g, x)),
                         app(twice(), f) -> app(app(comp(), f), f)}
         SPSC:
          Simple Projection:
           pi(app#) = 0
          Strict:
           {}
          Qed