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}}\]
- Using strategy
rm Applied add-log-exp0.0
\[\leadsto \frac{1 + \frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}{2 + \color{blue}{\log \left(e^{\frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}\right)}}\]
- Using strategy
rm Applied add-cube-cbrt0.0
\[\leadsto \frac{1 + \frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}{2 + \log \color{blue}{\left(\left(\sqrt[3]{e^{\frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}} \cdot \sqrt[3]{e^{\frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}}\right) \cdot \sqrt[3]{e^{\frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}}\right)}}\]
- Using strategy
rm Applied cbrt-unprod0.0
\[\leadsto \frac{1 + \frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}{2 + \log \left(\color{blue}{\sqrt[3]{e^{\frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}} \cdot e^{\frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}}} \cdot \sqrt[3]{e^{\frac{2 \cdot t}{1 + t} \cdot \frac{2 \cdot t}{1 + t}}}\right)}\]
Final simplification0.0
\[\leadsto \frac{1 + \frac{t \cdot 2}{1 + t} \cdot \frac{t \cdot 2}{1 + t}}{\log \left(\sqrt[3]{e^{\frac{t \cdot 2}{1 + t} \cdot \frac{t \cdot 2}{1 + t}} \cdot e^{\frac{t \cdot 2}{1 + t} \cdot \frac{t \cdot 2}{1 + t}}} \cdot \sqrt[3]{e^{\frac{t \cdot 2}{1 + t} \cdot \frac{t \cdot 2}{1 + t}}}\right) + 2}\]
