sum
0
0
sum
s
x
+
sqr
s
x
sum
x
sqr
x
*
x
x
sum
s
x
+
*
s
x
s
x
sum
x
2.2
sum
s
x
sum
x
sum
s
x
sum
x
sum
s
x
sqr
s
x
true
sum
s
x
sum
x
sum
s
x
sum
x
true
s
1
1
1
sum
1
0
sqr
1
0
0
0
0
sqr
1
0
+
2
0
sum
1
1
0
*
2
0
sum
s
x
sqr
s
x
false
NaTT
certifiable-1.6