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
D
minus
x
minus
D
x
D
div
x
y
-
div
D
x
y
div
*
x
D
y
pow
y
2
D
ln
x
div
D
x
x
D
pow
x
y
+
*
*
y
pow
x
-
y
1
D
x
*
*
pow
x
y
ln
x
D
y
2.2
D
pow
x
y
D
x
D
-
x
y
D
x
D
+
x
y
D
y
D
*
x
y
D
x
D
*
x
y
D
y
D
-
x
y
D
y
D
ln
x
D
x
D
div
x
y
D
y
D
pow
x
y
D
y
D
minus
x
D
x
D
+
x
y
D
x
D
div
x
y
D
x
true
D
div
x
y
D
x
D
*
x
y
D
y
D
+
x
y
D
x
D
minus
x
D
x
D
pow
x
y
D
y
D
*
x
y
D
x
D
+
x
y
D
y
D
-
x
y
D
x
D
div
x
y
D
y
D
ln
x
D
x
D
-
x
y
D
y
D
pow
x
y
D
x
true
1
0
0
ln
1
1
1
constant
0
0
minus
1
1
1
pow
2
1
2
1
t
0
0
div
2
1
2
1
D
1
0
0
0
0
D
1
1
0
-
2
1
2
1
2
0
0
+
2
1
2
1
*
2
1
2
1
NaTT
certifiable-1.6