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
dx
1
X
0
1
0
0
0
a
0
+
2
AC
*
2
AC
-
2
neg
1
/
2
exp
2
2
0
ln
1
FULL
./TRS/CimeAC/differ.trs