July 16, 1987 Integration of Logs [Have TerminalIo viewer open]. Let's do an example that explores the behavior of the SMP integrator. Let me get myself a fresh CR tool. Let's enter an expression, differentiate it, and then integrate it to see if we get the same thing back.: First, the expression: X To differentiate, I wrap it with a differentiation template in the CaminoReal editor, and send it to SMP: X which gives: X Now I wrap this with an integration template, and pass to SMP, which gives: X Now we want to try a trigonometric substitituion. I make the SMP command by wrapping a function template: X into the previous expression which gives the expression X X not to be shown Ź®˜Ileft˜ center˜J˜–Y57.71739 pt leading 53.9526 pt topLeading 53.9526 pt topIndent 27.76479 pt bottomLeading šĻlŒ˜ŒJ• CharPropsArtwork MeddleExprPostfixY46.69613 pt leading 37.4999 pt topLeading 37.4999 pt topIndent 33.19622 pt bottomLeading MeddleExpr|CaminoRealExpressionRepresentationVersion1.1 (CMPD $fraction {$numerator (CMPD $unaryFunction {$f (ATOM $variable "Log")} {$arg1 (ATOM $variable "x")})} {$denominator (CMPD $unaryFunction {$f (ATOM $variable "Sin")} {$arg1 (ATOM $variable "x")})}) MeddlePtSize25–Y46.69613 pt leading 37.4999 pt topLeading 37.4999 pt topIndent 33.19622 pt bottomLeading šœ˜—J–Y46.69613 pt leading 37.4999 pt topLeading 37.4999 pt topIndent 33.19622 pt bottomLeading ˜J–Y46.69613 pt leading 37.4999 pt topLeading 37.4999 pt topIndent 33.19622 pt bottomLeading ši˜iJ–Y57.71739 pt leading 53.9526 pt topLeading 53.9526 pt topIndent 27.76479 pt bottomLeading ˜J–ĒArtwork MeddleExprPostfix[72.41564 pt leading 62.44613 pt topLeading 62.44613 pt topIndent 33.96951 pt bottomLeading MeddleExpr‚1CaminoRealExpressionRepresentationVersion1.1 (CMPD $dDx {$differand (CMPD $fraction {$numerator (CMPD $unaryFunction {$f (ATOM $variable "Log")} {$arg1 (ATOM $variable "x")})} {$denominator (CMPD $unaryFunction {$f (ATOM $variable "Sin")} {$arg1 (ATOM $variable "x")})})} {$wrt (ATOM $variable "x")}) MeddlePtSize25–[72.41564 pt leading 62.44613 pt topLeading 62.44613 pt topIndent 33.96951 pt bottomLeading ˜—–Z59.3254 pt leading 55.56061 pt topLeading 55.56061 pt topIndent 27.76479 pt bottomLeading š ˜ J–žArtwork MeddleExprPostfixY53.56988 pt leading 41.7858 pt topLeading 41.7858 pt topIndent 35.78408 pt bottomLeading MeddleExpr„jCaminoRealExpressionRepresentationVersion1.1 (CMPD $fraction {$numerator (CMPD $difference {$subtrahend (CMPD $fraction {$numerator (CMPD $unaryFunction {$f (ATOM $variable "Sin")} {$arg1 (ATOM $variable "x")})} {$denominator (ATOM $variable "x")})} {$minuend (CMPD $product {$multiplier (CMPD $unaryFunction {$f (ATOM $variable "Cos")} {$arg1 (ATOM $variable "x")})} {$multiplicand (CMPD $unaryFunction {$f (ATOM $variable "Log")} {$arg1 (ATOM $variable "x")})})})} {$denominator (CMPD $pow {$base (CMPD $unaryFunction {$f (ATOM $variable "Sin")} {$arg1 (ATOM $variable "x")})} {$exponent (ATOM $integer "2")})}) MeddlePtSize20–Y53.56988 pt leading 41.7858 pt topLeading 41.7858 pt topIndent 35.78408 pt bottomLeading ˜—J–Y53.56988 pt leading 41.7858 pt topLeading 41.7858 pt topIndent 35.78408 pt bottomLeading šK˜KJ–ŃArtwork MeddleExprPostfixY38.90178 pt leading 36.5941 pt topLeading 36.5941 pt topIndent 26.30768 pt bottomLeading MeddleExpr„=CaminoRealExpressionRepresentationVersion1.1 (CMPD $product {$multiplier (ATOM $integer "2")} {$multiplicand (CMPD $fraction {$numerator (CMPD $product {$multiplier (CMPD $unaryFunction {$f (ATOM $variable "Log")} {$arg1 (ATOM $variable "x")})} {$multiplicand (CMPD $unaryFunction {$f (ATOM $variable "Sin")} {$arg1 (ATOM $variable "x")})})} {$denominator (CMPD $difference {$subtrahend (ATOM $integer "1")} {$minuend (CMPD $unaryFunction {$f (ATOM $variable "Cos")} {$arg1 (CMPD $product {$multiplier (ATOM $integer "2")} {$multiplicand (ATOM $variable "x")})})})})}) MeddlePtSize20–Y38.90178 pt leading 36.5941 pt topLeading 36.5941 pt topIndent 26.30768 pt bottomLeading ˜J–[17.44764 pt leading 28.21596 pt topLeading 28.21596 pt topIndent 13.23167 pt bottomLeading ˜–‰lArtwork MeddleExprPostfix[17.44764 pt leading 28.21596 pt topLeading 28.21596 pt topIndent 13.23167 pt bottomLeading MeddleExprƒoCaminoRealExpressionRepresentationVersion1.1 (CMPD $approachesFormula {$lhs (CMPD $unaryFunction {$f (ATOM $variable "Cos")} {$arg1 (CMPD $product {$multiplier (ATOM $integer "2")} {$multiplicand (ATOM $variable "x")})})} {$rhs (CMPD $difference {$subtrahend (ATOM $integer "1")} {$minuend (CMPD $product {$multiplier (ATOM $integer "2")} {$multiplicand (CMPD $pow {$base (CMPD $unaryFunction {$f (ATOM $variable "Sin")} {$arg1 (ATOM $variable "x")})} {$exponent (ATOM $integer "2")})})})}) MeddlePtSize158–[17.44764 pt leading 28.21596 pt topLeading 28.21596 pt topIndent 13.23167 pt bottomLeading škœ9˜„J–‘Artwork MeddleExprPostfixZ37.3569 pt leading 32.39993 pt topLeading 32.39993 pt topIndent 28.95698 pt bottomLeading MeddleExpr|CaminoRealExpressionRepresentationVersion1.1 (CMPD $fraction {$numerator (CMPD $unaryFunction {$f (ATOM $variable "Log")} {$arg1 (ATOM $variable "x")})} {$denominator (CMPD $unaryFunction {$f (ATOM $variable "Sin")} {$arg1 (ATOM $variable "x")})}) MeddlePtSize20–Z37.3569 pt leading 32.39993 pt topLeading 32.39993 pt topIndent 28.95698 pt bottomLeading ˜J–[28.28012 pt leading 33.62128 pt topLeading 33.62128 pt topIndent 18.65884 pt bottomLeading ˜J–[46.68213 pt leading 40.48428 pt topLeading 40.48428 pt topIndent 30.19785 pt bottomLeading ˜J–Ō Artwork MeddleExprPostfix[46.68213 pt leading 40.48428 pt topLeading 40.48428 pt topIndent 30.19785 pt bottomLeading MeddleExprˆ