Initial program 18.6
\[\frac{\left(-t1\right) \cdot v}{\left(t1 + u\right) \cdot \left(t1 + u\right)}\]
Simplified18.3
\[\leadsto \color{blue}{t1 \cdot \frac{v}{\left(t1 + u\right) \cdot \left(-\left(t1 + u\right)\right)}}\]
- Using strategy
rm Applied add-cube-cbrt18.6
\[\leadsto t1 \cdot \frac{\color{blue}{\left(\sqrt[3]{v} \cdot \sqrt[3]{v}\right) \cdot \sqrt[3]{v}}}{\left(t1 + u\right) \cdot \left(-\left(t1 + u\right)\right)}\]
Applied times-frac11.9
\[\leadsto t1 \cdot \color{blue}{\left(\frac{\sqrt[3]{v} \cdot \sqrt[3]{v}}{t1 + u} \cdot \frac{\sqrt[3]{v}}{-\left(t1 + u\right)}\right)}\]
Applied associate-*r*1.0
\[\leadsto \color{blue}{\left(t1 \cdot \frac{\sqrt[3]{v} \cdot \sqrt[3]{v}}{t1 + u}\right) \cdot \frac{\sqrt[3]{v}}{-\left(t1 + u\right)}}\]
Simplified1.0
\[\leadsto \color{blue}{\left(t1 \cdot \left(\sqrt[3]{v} \cdot \frac{\sqrt[3]{v}}{t1 + u}\right)\right)} \cdot \frac{\sqrt[3]{v}}{-\left(t1 + u\right)}\]
- Using strategy
rm Applied add-cube-cbrt1.2
\[\leadsto \left(t1 \cdot \left(\sqrt[3]{v} \cdot \frac{\sqrt[3]{v}}{t1 + u}\right)\right) \cdot \frac{\color{blue}{\left(\sqrt[3]{\sqrt[3]{v}} \cdot \sqrt[3]{\sqrt[3]{v}}\right) \cdot \sqrt[3]{\sqrt[3]{v}}}}{-\left(t1 + u\right)}\]
Final simplification1.2
\[\leadsto \left(t1 \cdot \left(\sqrt[3]{v} \cdot \frac{\sqrt[3]{v}}{t1 + u}\right)\right) \cdot \frac{\sqrt[3]{\sqrt[3]{v}} \cdot \left(\sqrt[3]{\sqrt[3]{v}} \cdot \sqrt[3]{\sqrt[3]{v}}\right)}{-\left(t1 + u\right)}\]
