appappplus0yyappappplusappsxyappsappappplusxyappapptimes0y0appapptimesappsxyappappplusappapptimesxyyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsincappmapappplusapps0doubleappmapapptimesappsapps0app2plus000s0times0map0nil0cons0inc0double0FULL./TRS/higher-order/AotoYam/014.trs