September 22, 1987 10:08:38 am PDT ReduceExamples.tioga Let's do some examples of Reduce computations with CaminoReal. Let me get myself a fresh CR tool. 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 .