D
t
1
D
constant
0
D
+
x
y
+
D
x
D
y
D
*
x
y
+
*
y
D
x
*
x
D
y
D
-
x
y
-
D
x
D
y
2.2
D
-
x
y
D
y
D
*
x
y
D
y
D
*
x
y
D
x
D
+
x
y
D
x
D
-
x
y
D
x
D
+
x
y
D
y
true
D
+
x
y
D
y
D
-
x
y
D
x
D
+
x
y
D
x
D
*
x
y
D
y
D
*
x
y
D
x
D
-
x
y
D
y
true
1
0
0
constant
0
0
t
0
0
D
1
0
0
0
0
D
1
1
0
-
2
1
2
1
+
2
1
2
1
*
2
1
2
1
NaTT
certifiable-1.6