Initial program 0.0
\[\frac{1 + \frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}{2 + \frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}\]
Simplified0.0
\[\leadsto \color{blue}{\frac{(\left(\frac{t \cdot 2}{1 + t}\right) \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 1)_*}{(\left(\frac{t \cdot 2}{1 + t}\right) \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 2)_*}}\]
- Using strategy
rm Applied add-cbrt-cube0.0
\[\leadsto \frac{(\left(\frac{t \cdot 2}{1 + t}\right) \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 1)_*}{(\color{blue}{\left(\sqrt[3]{\left(\frac{t \cdot 2}{1 + t} \cdot \frac{t \cdot 2}{1 + t}\right) \cdot \frac{t \cdot 2}{1 + t}}\right)} \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 2)_*}\]
- Using strategy
rm Applied associate-*r/0.1
\[\leadsto \frac{(\left(\frac{t \cdot 2}{1 + t}\right) \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 1)_*}{(\left(\sqrt[3]{\color{blue}{\frac{\left(\frac{t \cdot 2}{1 + t} \cdot \frac{t \cdot 2}{1 + t}\right) \cdot \left(t \cdot 2\right)}{1 + t}}}\right) \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 2)_*}\]
Applied cbrt-div0.1
\[\leadsto \frac{(\left(\frac{t \cdot 2}{1 + t}\right) \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 1)_*}{(\color{blue}{\left(\frac{\sqrt[3]{\left(\frac{t \cdot 2}{1 + t} \cdot \frac{t \cdot 2}{1 + t}\right) \cdot \left(t \cdot 2\right)}}{\sqrt[3]{1 + t}}\right)} \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 2)_*}\]
Final simplification0.1
\[\leadsto \frac{(\left(\frac{t \cdot 2}{1 + t}\right) \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 1)_*}{(\left(\frac{\sqrt[3]{\left(\frac{t \cdot 2}{1 + t} \cdot \frac{t \cdot 2}{1 + t}\right) \cdot \left(t \cdot 2\right)}}{\sqrt[3]{1 + t}}\right) \cdot \left(\frac{t \cdot 2}{1 + t}\right) + 2)_*}\]
