1. An integration - differentiation loop
Let's compute an integral using Reduce, then differentiate the result and see if we get our original integrand back. First, the integral:
X
evaluation by Reduce gives:
X .
To differentiate, we wrap this with a differentiation template:
X
and pass to Reduce, which gives:
X .
Another one:
X
Integration yields X , and differentiating:X .