Initial program 0.0
\[1 - \frac{1}{2 + \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right) \cdot \left(2 - \frac{\frac{2}{t}}{1 + \frac{1}{t}}\right)}\]
Initial simplification0.0
\[\leadsto 1 - \frac{1}{2 + \left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)}\]
- Using strategy
rm Applied flip3-+0.0
\[\leadsto 1 - \frac{1}{\color{blue}{\frac{{2}^{3} + {\left(\left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right)}^{3}}{2 \cdot 2 + \left(\left(\left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right) \cdot \left(\left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right) - 2 \cdot \left(\left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right)\right)}}}\]
Applied associate-/r/0.0
\[\leadsto 1 - \color{blue}{\frac{1}{{2}^{3} + {\left(\left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right)}^{3}} \cdot \left(2 \cdot 2 + \left(\left(\left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right) \cdot \left(\left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right) - 2 \cdot \left(\left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right)\right)\right)}\]
Simplified0.0
\[\leadsto 1 - \frac{1}{{2}^{3} + {\left(\left(2 - \frac{2}{1 + t}\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right)}^{3}} \cdot \color{blue}{\left(4 + \left({\left(2 - \frac{2}{t + 1}\right)}^{4} + \left(2 - \frac{2}{t + 1}\right) \cdot \left(\frac{4}{t + 1} + -4\right)\right)\right)}\]
- Using strategy
rm Applied flip3--0.0
\[\leadsto 1 - \frac{1}{{2}^{3} + {\left(\color{blue}{\frac{{2}^{3} - {\left(\frac{2}{1 + t}\right)}^{3}}{2 \cdot 2 + \left(\frac{2}{1 + t} \cdot \frac{2}{1 + t} + 2 \cdot \frac{2}{1 + t}\right)}} \cdot \left(2 - \frac{2}{1 + t}\right)\right)}^{3}} \cdot \left(4 + \left({\left(2 - \frac{2}{t + 1}\right)}^{4} + \left(2 - \frac{2}{t + 1}\right) \cdot \left(\frac{4}{t + 1} + -4\right)\right)\right)\]
Final simplification0.0
\[\leadsto 1 - \left(4 + \left({\left(2 - \frac{2}{1 + t}\right)}^{4} + \left(\frac{4}{1 + t} + -4\right) \cdot \left(2 - \frac{2}{1 + t}\right)\right)\right) \cdot \frac{1}{8 + {\left(\left(2 - \frac{2}{1 + t}\right) \cdot \frac{8 - {\left(\frac{2}{1 + t}\right)}^{3}}{\left(\frac{2}{1 + t} \cdot 2 + \frac{2}{1 + t} \cdot \frac{2}{1 + t}\right) + 4}\right)}^{3}}\]
