Thanks for the reply

> It's possible.  But I tried to run the example, and I seem to be
> unable to get past the formula I'm asked to enter after the "m s"
> part: I get error messages.

Sorry, which "m s" are you referring to?
The section I referred to (from the start of "3.5.2 Rewrite Rules" to
first 2 entries of "Exercise 1") didn't have the command "m s".

> Could you perhaps show the commands and keys to type

To reproduce it'll need the following commands (in emacs -Q).
(These are copied from Rewrite-Rules 3.5.2 (in emacs-28)
or 2.5.2 (website). I picked up only entries /omitted outputs/)


    ' 2sec(x)^2/tan(x)^2 - 2/tan(x)^2 <RET>   s 1
    a r a/x + b/x := (a+b)/x <RET>
    a r sec(x)^2 := 1 + tan(x)^2 <RET>


    ' a/x + b/x := (a+b)/x <RET>          s t merge <RET>
    ' sec(x)^2 := 1 + tan(x)^2 <RET>      s t secsqr <RET>
    r 1                  a r merge <RET>  a r secsqr <RET>


    ' [merge,sinsqr] <RET>          =
    s t trig <RET>  r 1                  a r trig <RET>


According to the manual, the output after the last line should be 2.

I wrote the following tables, slightly detailed manner.
The First column represents what you enter, the 2nd column represents what
the result is.

Part I: (Not required for re-creating error)
| command                               | result                      |
|---------------------------------------+-----------------------------|
| '2sec(x)^2/tan(x)^2 - 2/tan(x)^2<RET> | 2sec(x)^2/ ...              |
| s 1                                   | same                        |
| a r  a/x + b/x := (a+b)/x <RET>       | (2 sec(x)^2 - 2) / tan(x)^2 |
| a r sec(x)^2 := 1 + tan(x)^2 <RET>    | 2                           |

Part II: (required for re-creating error, because saving expressions)
| command                          | result                      |
|----------------------------------+-----------------------------|
| ' a/x + b/x := (a+b)/x <RET>     | a/x + b/x := (a+b)/x        |
| s t merge <RET>                  | disappear                   |
| ' sec(x)^2 := 1 + tan(x)^2 <RET> | sec(x)^2 := 1 + tan(x)^2    |
| s t secsqr <RET>                 | disappear                   |
| r 1                              | 2sec(x)^2/...               |
| a r merge <RET>                  | (2 sec(x)^2 - 2) / tan(x)^2 |
| a r secsqr <RET>                 | 2                           |


Exercise I:
| command                | result                                   |
|------------------------+------------------------------------------|
| ' [merge,sinsqr] <RET> | [merge,sinsqr]                           |
| =                      | [a / x + b / x := (a + b) / x, sinsqr]   |
|                        | above, you can see sinsqr didn't expands |
|                        |                                          |
| s t trig <RET>         | disappear                                |
| r 1                    | 2 sec(x)^2 / tan(x)^2 - 2 / tan(x)^2     |
| a r trig <RET>         | 2 sec(x)^2 / tan(x)^2 - 2 / tan(x)^2     |
|                        | above, you can see it didn't change.     |
|                        | It should've outputted 2                 |


Here is what I think it should be:
Exercise I (My suggestion):
| command                | result                                     |
|------------------------+--------------------------------------------|
| ' [merge,secsqr] <RET> | [merge,secsqr]                             |
| =                      | [a / x + b / x := (a + b) / x, sec(x)^2... |
|                        | above, you WILL see SECSQR expands         |
|                        |                                            |
| s t trig <RET>         | disappear                                  |
| r 1                    | 2 sec(x)^2 / tan(x)^2 - 2 / tan(x)^2       |
| a r trig <RET>         | 2                                          |
|                        | above, you  WILL see 2                     |


(Just in case, it might being helpful, I also attached the
asciicinema recording in the email)


Garid