Dt1Dconstant0D!plusXY!plusDXDYD!timesUV!plus!timesVDU!timesUDVD!minusWP!minusDWDPDminusX1minusDX1DdivY1U1!minusdivDY1U1div!timesY1DU1powU12DlnV1divDV1V1DpowW1P1!plus!times!timesP1powW1!minusP11DW1!times!timespowW1P1lnW1DP1mapF2nilnilmapZ2consU2V2consZ2U2mapZ2V2filterI2nilnilfilterJ2consX3Y3filter2J2X3J2X3Y3filter2trueG3V3W3consV3filterG3W3filter2falseJ3X4Y4filterJ3Y4XaYaUaVaWaPaX1aY1aU1aV1aW1aP1aF2ccZ2ccU2cV2dI2cbJ2cbX3cY3dG3cbV3cW3dJ3cbX4cY4d!minusaaa!plusaaa!timesaaa0a1a2aDaaconscddconstantadivaaafalsebfiltercbddfilter2bcbcddlnaamapccddminusaanildpowaaatatruebFULLbenchmarks/applicative/Applicative_first_order_05__11.atrs