YES
Time: 0.001358
TRS:
 {app(app(app(compose(), f), g), x) -> app(f, app(g, x))}
 DP:
  DP:
   {app#(app(app(compose(), f), g), x) -> app#(f, app(g, x)),
    app#(app(app(compose(), f), g), x) -> app#(g, x)}
  TRS:
  {app(app(app(compose(), f), g), x) -> app(f, app(g, x))}
  UR:
   {app(app(app(compose(), f), g), x) -> app(f, app(g, x))}
   EDG:
    {}
    STATUS:
     arrows: 1.000000
     SCCS (0):