log
x
s
s
y
cond
le
x
s
s
y
x
y
cond
true
x
y
s
0
cond
false
x
y
double
log
x
square
s
s
y
le
0
v
true
le
s
u
0
false
le
s
u
s
v
le
u
v
double
0
0
double
s
x
s
s
double
x
square
0
0
square
s
x
s
plus
square
x
double
x
plus
n
0
n
plus
n
s
m
s
plus
n
m
2.2
plus
n
s
m
plus
n
m
cond
false
x
y
double
log
x
square
s
s
y
log
x
s
s
y
cond
le
x
s
s
y
x
y
double
s
x
double
x
cond
false
x
y
log
x
square
s
s
y
log
x
s
s
y
le
x
s
s
y
square
s
x
double
x
square
s
x
plus
square
x
double
x
le
s
u
s
v
le
u
v
cond
false
x
y
square
s
s
y
square
s
x
square
x
true
log
x
s
s
y
cond
le
x
s
s
y
x
y
cond
false
x
y
log
x
square
s
s
y
true
Failed!
NaTT
certifiable-1.6