The name of any univariate function can also be used as a rule argument to the Rule command. The name of any univariate function recognized by Maple, for example, sin, can be passed as a rule argument to the Understand command (where recognized means that it is of type mathfunc).

•

There is one differentiation rule which requires a parameter: rewrite. This rule can be used as the index to a call to Rule, but cannot be given as a rule argument to Understand. This rule is used to change the form of the expression being differentiated. It has the general form:

[rewrite, , , ...]

The effect of applying the rewrite rule is to perform each substitution listed as a parameter to the rule, where occurrences of the left-hand side of each substitution are replaced by the corresponding right-hand side.

The main application of this rule is to rewrite an expression of the form , where the exponent (at least) depends on the differentiation variable, as an exponential. The rule would thus be given as:

[rewrite, ]

Note: The Rule routine does not attempt to validate the rewrite rules you provide.