minus
minus
x
x
minus
h
x
h
minus
x
minus
f
x
y
f
minus
y
minus
x
2.2
minus
f
x
y
minus
y
minus
f
x
y
minus
x
minus
h
x
minus
x
true
minus
h
x
minus
x
minus
f
x
y
minus
x
minus
f
x
y
minus
y
true
h
1
1
1
minus
1
0
f
2
1
2
1
minus
1
1
0
NaTT
certifiable-1.6