dx
X
1
dx
0
0
dx
1
0
dx
a
0
dx
+
f
g
+
dx
f
dx
g
dx
*
f
g
+
*
dx
f
g
*
dx
g
f
dx
-
f
g
-
dx
f
dx
g
dx
neg
f
neg
dx
f
dx
/
f
g
-
/
dx
f
g
/
*
dx
g
f
exp
g
2
dx
ln
f
/
dx
f
f
dx
exp
f
g
+
*
dx
f
*
exp
f
-
g
1
g
*
dx
g
*
exp
f
g
ln
f
+
*
+
*
2.2
+
x
y
+
y
x
+
x
+
y
z
+
+
x
y
z
*
x
*
y
z
*
*
x
y
z
*
x
y
*
y
x
dx
*
f
g
dx
g
dx
exp
f
g
dx
g
dx
ln
f
dx
f
dx
+
f
g
dx
g
dx
neg
f
dx
f
dx
-
f
g
dx
f
dx
+
f
g
dx
f
dx
exp
f
g
dx
f
dx
/
f
g
dx
f
dx
*
f
g
dx
f
dx
-
f
g
dx
g
dx
/
f
g
dx
g
dx
/
f
g
dx
g
dx
neg
f
dx
f
dx
-
f
g
dx
g
dx
*
f
g
dx
f
dx
/
f
g
dx
f
dx
+
f
g
dx
g
dx
ln
f
dx
f
dx
exp
f
g
dx
g
dx
exp
f
g
dx
f
dx
+
f
g
dx
f
dx
-
f
g
dx
f
dx
*
f
g
dx
g
true
a
0
0
1
0
0
ln
1
1
1
/
2
1
2
1
dx
1
1
0
dx
1
0
0
0
0
-
2
1
2
1
neg
1
1
1
2
0
0
exp
2
1
2
1
+
2
1
2
1
X
0
0
*
2
1
2
1
dx
*
f
g
dx
g
dx
-
f
g
dx
f
dx
+
f
g
dx
f
dx
exp
f
g
dx
f
dx
exp
f
g
dx
g
dx
ln
f
dx
f
dx
+
f
g
dx
g
dx
/
f
g
dx
f
dx
*
f
g
dx
f
dx
-
f
g
dx
g
dx
neg
f
dx
f
dx
/
f
g
dx
g
NaTT
certifiable-1.6