Add a way to collect intermediate pattern replacements when simplifying. e.g. Input: x^(-1)/(y/z) Output[0]: x^(-1)\*z/y // any1 / (any2 / any3) -> any1 \* any3 / any2 Output[1]: 1/x*z/y // Powf.PHang(any1, Num(-1)) -> 1 / any1 ...
Add a way to collect intermediate pattern replacements when simplifying.
e.g.
Input: x^(-1)/(y/z)
Output[0]: x^(-1)*z/y // any1 / (any2 / any3) -> any1 * any3 / any2
Output[1]: 1/x*z/y // Powf.PHang(any1, Num(-1)) -> 1 / any1
...