D t 1 D constant 0 D !plus X Y !plus D X D Y D !times U V !plus !times V D U !times U D V D !minus W P !minus D W D P D minus X1 minus D X1 D div Y1 U1 !minus div D Y1 U1 div !times Y1 D U1 pow U1 2 D ln V1 div D V1 V1 D pow W1 P1 !plus !times !times P1 pow W1 !minus P1 1 D W1 !times !times pow W1 P1 ln W1 D P1 map F2 nil nil map Z2 cons U2 V2 cons Z2 U2 map Z2 V2 filter I2 nil nil filter J2 cons X3 Y3 filter2 J2 X3 J2 X3 Y3 filter2 true G3 V3 W3 cons V3 filter G3 W3 filter2 false J3 X4 Y4 filter J3 Y4 X a Y a U a V a W a P a X1 a Y1 a U1 a V1 a W1 a P1 a F2 c c Z2 c c U2 c V2 d I2 c b J2 c b X3 c Y3 d G3 c b V3 c W3 d J3 c b X4 c Y4 d !minus a a a !plus a a a !times a a a 0 a 1 a 2 a D a a cons c d d constant a div a a a false b filter c b d d filter2 b c b c d d ln a a map c c d d minus a a nil d pow a a a t a true b FULL benchmarks/applicative/Applicative_first_order_05__11.atrs