dblMarked_addtermsMarked_sqrsfirstrecipMarked_termsaddMarked_firstsqrMarked_dbl0nilconsYXNterms(N)cons(recip(sqr(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y))cons(Y)terms(N)cons(recip(sqr(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y))cons(Y)Marked_terms(N)Marked_sqr(N)Marked_sqr(s(X))Marked_add(sqr(X),dbl(X))Marked_sqr(s(X))Marked_sqr(X)Marked_sqr(s(X))Marked_dbl(X)Marked_dbl(s(X))Marked_dbl(X)Marked_add(s(X),Y)Marked_add(X,Y)terms(N)cons(recip(sqr(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y))cons(Y)Marked_sqr(s(X))Marked_sqr(X)Marked_sqr1Marked_sqr(s(X))Marked_sqr(X)terms(N)cons(recip(sqr(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y))cons(Y)terms(N)cons(recip(sqr(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y))cons(Y)Marked_dbl(s(X))Marked_dbl(X)Marked_dbl1Marked_dbl(s(X))Marked_dbl(X)terms(N)cons(recip(sqr(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y))cons(Y)terms(N)cons(recip(sqr(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y))cons(Y)Marked_add(s(X),Y)Marked_add(X,Y)Marked_add1Marked_add(s(X),Y)Marked_add(X,Y)terms(N)cons(recip(sqr(N)))sqr(0)0sqr(s(X))s(add(sqr(X),dbl(X)))dbl(0)0dbl(s(X))s(s(dbl(X)))add(0,X)Xadd(s(X),Y)s(add(X,Y))first(0,X)nilfirst(s(X),cons(Y))cons(Y)