terms
N
cons
recip
sqr
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
cons
Y
half
0
0
half
s
0
0
half
s
s
X
s
half
X
half
dbl
X
X
2.2
add
s
X
Y
add
X
Y
sqr
s
X
dbl
X
terms
N
sqr
N
sqr
s
X
sqr
X
dbl
s
X
dbl
X
half
s
s
X
half
X
sqr
s
X
add
sqr
X
dbl
X
true
half
s
s
X
half
X
true
s
1
1
1
recip
1
0
dbl
1
0
dbl
1
0
terms
1
0
half
1
1
0
half
1
0
sqr
1
0
0
0
0
first
2
0
nil
0
0
first
2
0
cons
1
0
add
2
0
add
2
0
sqr
1
0
terms
1
0
terms
N
sqr
N
false
sqr
s
X
sqr
X
true
s
1
1
1
recip
1
0
dbl
1
0
dbl
1
0
terms
1
0
half
1
0
half
1
0
sqr
1
1
0
0
0
0
first
2
0
nil
0
0
first
2
0
cons
1
0
add
2
0
add
2
0
sqr
1
0
terms
1
0
sqr
s
X
add
sqr
X
dbl
X
false
sqr
s
X
dbl
X
false
dbl
s
X
dbl
X
true
s
1
1
1
recip
1
0
dbl
1
0
dbl
1
1
0
terms
1
0
half
1
0
half
1
0
sqr
1
0
0
0
0
first
2
0
nil
0
0
first
2
0
cons
1
0
add
2
0
add
2
0
sqr
1
0
terms
1
0
add
s
X
Y
add
X
Y
true
s
1
1
1
recip
1
0
dbl
1
0
dbl
1
0
terms
1
0
half
1
0
half
1
0
sqr
1
0
0
0
0
first
2
0
nil
0
0
first
2
0
cons
1
0
add
2
1
0
add
2
0
sqr
1
0
terms
1
0
NaTT
certifiable-1.6