terms N cons recip sqr N n__terms s N sqr 0 0 sqr s X s add sqr X dbl X dbl 0 0 dbl s X s s dbl X add 0 X X add s X Y s add X Y first 0 X nil first s X cons Y Z cons Y n__first X activate Z terms X n__terms X first X1 X2 n__first X1 X2 activate n__terms X terms X activate n__first X1 X2 first X1 X2 activate X X terms 1 cons 2 recip 1 sqr 1 n__terms 1 s 1 0 0 add 2 dbl 1 first 2 nil 0 n__first 2 activate 1 FULL ./TRS/TRCSR/Ex2_Luc02a_Z.trs