Maxim中使用letsimp进行简化，这是怎么回事？

Question

这里是一个带有最大值的简单会话，在此我试图简化（（r-r0）= h] >>

(%i1) ax: G*M*m*(r-r0)/r0^2 - G*M*m/r0 ;
                            G M m (r - r0)   G M m
(%o1)                       -------------- - -----
                                   2          r0
                                 r0
(%i2) let(r-r0,h);
(%o2)                            r - r0 --> h
(%i3) expand(scanmap(letsimp,ax));
                               G M m r   2 G M m
(%o3)                          ------- - -------
                                   2       r0
                                 r0
我期望在最后一部分：

                               G M m h   2 G M m
                              ------- - -------
                                   2       r0
                                 r0
为什么最大值用r

而不是h代替（r-r0）？iv尝试按照另一个问题中的指示尝试letsimp和letrat：common subexpressions

[这是一个包含极大值的简单会话，其中我试图简化（r-r0）= h（％i1）ax：G * M * m *（r-r0）/ r0 ^ 2-G * M * m / r0; G M m（r-r0）G M m（％o1）...

Answer 1

r - r0不是let支持的格式。从文档中：