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 .      ÊY  ˜ Ileft˜"Icenter˜ LšÐblœ˜J–Y57.71739 pt leading 53.9526 pt topLeading 53.9526 pt topIndent 27.76479 pt bottomLeading šÏlc˜cheadšœ(˜(J–Y57.71739 pt leading 53.9526 pt topLeading 53.9526 pt topIndent 27.76479 pt bottomLeading šž‰˜‰J–[33.56712 pt leading 35.49699 pt topLeading 35.49699 pt topIndent 22.07013 pt bottomLeading •	CharPropsòArtwork
MeddleExprPostfix[33.56712 pt leading 35.49699 pt topLeading 35.49699 pt topIndent 22.07013 pt bottomLeading 
MeddleExpr‚^CaminoRealExpressionRepresentationVersion1.1      (CMPD $indefInt {$integrand (CMPD $fraction {$numerator (CMPD $sum {$addend (ATOM $variable "x")} {$augend (ATOM $integer "4")})} {$denominator (CMPD $sum {$addend (CMPD $pow {$base (ATOM $variable "x")} {$exponent (ATOM $integer "2")})} {$augend (ATOM $integer "1")})})} {$wrt (ATOM $variable "x")})MeddlePtSize šœ˜J–Y46.69613 pt leading 37.4999 pt topLeading 37.4999 pt topIndent 33.19622 pt bottomLeading šž˜J–Y38.93133 pt leading 35.7082 pt topLeading 35.7082 pt topIndent 27.22314 pt bottomLeading –ïArtwork
MeddleExprPostfixY38.93133 pt leading 35.7082 pt topLeading 35.7082 pt topIndent 27.22314 pt bottomLeading 
MeddleExprƒ[CaminoRealExpressionRepresentationVersion1.1      (CMPD $fraction {$numerator (CMPD $sum {$addend (CMPD $product {$multiplier (ATOM $integer "8")} {$multiplicand (CMPD $unaryFunction {$f (ATOM $variable "atan")} {$arg1 (ATOM $variable "x")})})} {$augend (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (CMPD $sum {$addend (CMPD $pow {$base (ATOM $variable "x")} {$exponent (ATOM $integer "2")})} {$augend (ATOM $integer "1")})})})} {$denominator (ATOM $integer "2")})MeddlePtSize  ˜J–Z59.3254 pt leading 55.56061 pt topLeading 55.56061 pt topIndent 27.76479 pt bottomLeading šž?˜?J–[57.69613 pt leading 53.93133 pt topLeading 53.93133 pt topIndent 27.76479 pt bottomLeading –­Artwork
MeddleExprPostfix[57.69613 pt leading 53.93133 pt topLeading 53.93133 pt topIndent 27.76479 pt bottomLeading 
MeddleExpr„CaminoRealExpressionRepresentationVersion1.1      (CMPD $partialDeriv {$differand (CMPD $fraction {$numerator (CMPD $sum {$addend (CMPD $product {$multiplier (ATOM $integer "8")} {$multiplicand (CMPD $unaryFunction {$f (ATOM $variable "atan")} {$arg1 (ATOM $variable "x")})})} {$augend (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (CMPD $sum {$addend (CMPD $pow {$base (ATOM $variable "x")} {$exponent (ATOM $integer "2")})} {$augend (ATOM $integer "1")})})})} {$denominator (ATOM $integer "2")})} {$wrt (ATOM $variable "x")})MeddlePtSize ˜J–Y53.56988 pt leading 41.7858 pt topLeading 41.7858 pt topIndent 35.78408 pt bottomLeading šž ˜ J–[33.56712 pt leading 28.04445 pt topLeading 28.04445 pt topIndent 29.52267 pt bottomLeading –ºArtwork
MeddleExprPostfix[33.56712 pt leading 28.04445 pt topLeading 28.04445 pt topIndent 29.52267 pt bottomLeading 
MeddleExpr‚$CaminoRealExpressionRepresentationVersion1.1      (CMPD $fraction {$numerator (CMPD $sum {$addend (ATOM $variable "x")} {$augend (ATOM $integer "4")})} {$denominator (CMPD $sum {$addend (CMPD $pow {$base (ATOM $variable "x")} {$exponent (ATOM $integer "2")})} {$augend (ATOM $integer "1")})})MeddlePtSize  ˜J–[33.56712 pt leading 28.04445 pt topLeading 28.04445 pt topIndent 29.52267 pt bottomLeading ˜ J–[33.56712 pt leading 28.04445 pt topLeading 28.04445 pt topIndent 29.52267 pt bottomLeading ˜J–ÊArtwork
MeddleExprPostfix[34.78183 pt leading 36.34728 pt topLeading 36.34728 pt topIndent 22.43455 pt bottomLeading 
MeddleExpr‚6CaminoRealExpressionRepresentationVersion1.1      (CMPD $indefInt {$integrand (CMPD $fraction {$numerator (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (ATOM $variable "x")})})} {$denominator (ATOM $variable "x")})} {$wrt (ATOM $variable "x")})MeddlePtSize –[34.78183 pt leading 36.34728 pt topLeading 36.34728 pt topIndent 22.43455 pt bottomLeading ˜J–Ü Artwork
MeddleExprPostfix[22.55301 pt leading 28.47367 pt topLeading 28.47367 pt topIndent 18.07934 pt bottomLeading 
MeddleExprƒ2CaminoRealExpressionRepresentationVersion1.1      (CMPD $difference {$subtrahend (CMPD $product {$multiplier (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (ATOM $variable "x")})})} {$multiplicand (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (ATOM $variable "x")})})} {$minuend (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (ATOM $variable "x")})})MeddlePtSize  Artwork
MeddleExprPostfix[34.78183 pt leading 36.15301 pt topLeading 36.15301 pt topIndent 22.62882 pt bottomLeading 
MeddleExpr|CaminoRealExpressionRepresentationVersion1.1      (CMPD $fraction {$numerator (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (CMPD $unaryFunction {$f (ATOM $variable "log")} {$arg1 (ATOM $variable "x")})})} {$denominator (ATOM $variable "x")})MeddlePtSize  –[34.78183 pt leading 36.15301 pt topLeading 36.15301 pt topIndent 22.62882 pt bottomLeading ˜.—–[17.44764 pt leading 28.21596 pt topLeading 28.21596 pt topIndent 13.23167 pt bottomLeading ˜ J–[28.28012 pt leading 33.62128 pt topLeading 33.62128 pt topIndent 18.65884 pt bottomLeading šÏf˜J–Y53.56988 pt leading 41.7858 pt topLeading 41.7858 pt topIndent 35.78408 pt bottomLeading ˜ J–Z59.3254 pt leading 55.56061 pt topLeading 55.56061 pt topIndent 27.76479 pt bottomLeading ˜ —J˜ — …—    "    