appDt1appDconstant0appDappapp+xyappapp+appDxappDyappDappapp*xyappapp+appapp*yappDxappapp*xappDyappDappapp-xyappapp-appDxappDyappDappminusxappminusappDxappDappappdivxyappapp-appappdivappDxyappappdivappapp*xappDyappapppowy2appDapplnxappappdivappDxxappDappapppowxyappapp+appapp*appapp*yappapppowxappapp-y1appDxappapp*appapp*appapppowxyapplnxappDyappappmapfnilnilappappmapfappappconsxxsappappconsappfxappappmapfxsappappfilterfnilnilappappfilterfappappconsxxsappappappappfilter2appfxfxxsappappappappfilter2truefxxsappappconsxappappfilterfxsappappappappfilter2falsefxxsappappfilterfxsapp2D0t010constant000+0*0-0minus0div0pow020ln0map0nil0cons0filter0filter20true0false0FULL./TRS/currying/D33/11.trs