Initial program 18.2
\[\frac{\left(-t1\right) \cdot v}{\left(t1 + u\right) \cdot \left(t1 + u\right)}\]
- Using strategy
rm Applied times-frac1.3
\[\leadsto \color{blue}{\frac{-t1}{t1 + u} \cdot \frac{v}{t1 + u}}\]
- Using strategy
rm Applied add-cube-cbrt2.0
\[\leadsto \frac{-t1}{\color{blue}{\left(\sqrt[3]{t1 + u} \cdot \sqrt[3]{t1 + u}\right) \cdot \sqrt[3]{t1 + u}}} \cdot \frac{v}{t1 + u}\]
Applied add-cube-cbrt1.6
\[\leadsto \frac{-\color{blue}{\left(\sqrt[3]{t1} \cdot \sqrt[3]{t1}\right) \cdot \sqrt[3]{t1}}}{\left(\sqrt[3]{t1 + u} \cdot \sqrt[3]{t1 + u}\right) \cdot \sqrt[3]{t1 + u}} \cdot \frac{v}{t1 + u}\]
Applied distribute-lft-neg-in1.6
\[\leadsto \frac{\color{blue}{\left(-\sqrt[3]{t1} \cdot \sqrt[3]{t1}\right) \cdot \sqrt[3]{t1}}}{\left(\sqrt[3]{t1 + u} \cdot \sqrt[3]{t1 + u}\right) \cdot \sqrt[3]{t1 + u}} \cdot \frac{v}{t1 + u}\]
Applied times-frac1.6
\[\leadsto \color{blue}{\left(\frac{-\sqrt[3]{t1} \cdot \sqrt[3]{t1}}{\sqrt[3]{t1 + u} \cdot \sqrt[3]{t1 + u}} \cdot \frac{\sqrt[3]{t1}}{\sqrt[3]{t1 + u}}\right)} \cdot \frac{v}{t1 + u}\]
Applied associate-*l*1.0
\[\leadsto \color{blue}{\frac{-\sqrt[3]{t1} \cdot \sqrt[3]{t1}}{\sqrt[3]{t1 + u} \cdot \sqrt[3]{t1 + u}} \cdot \left(\frac{\sqrt[3]{t1}}{\sqrt[3]{t1 + u}} \cdot \frac{v}{t1 + u}\right)}\]
Final simplification1.0
\[\leadsto \frac{-\sqrt[3]{t1} \cdot \sqrt[3]{t1}}{\sqrt[3]{t1 + u} \cdot \sqrt[3]{t1 + u}} \cdot \left(\frac{\sqrt[3]{t1}}{\sqrt[3]{t1 + u}} \cdot \frac{v}{t1 + u}\right)\]
