- Split input into 2 regimes
if i < 190.14020759180744
Initial program 44.0
\[\frac{\frac{\left(i \cdot i\right) \cdot \left(i \cdot i\right)}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right)}}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1.0}\]
Initial simplification0.0
\[\leadsto \frac{i \cdot \frac{i}{4}}{i \cdot \left(4 \cdot i\right) - 1.0}\]
- Using strategy
rm Applied *-un-lft-identity0.0
\[\leadsto \frac{i \cdot \frac{i}{4}}{\color{blue}{1 \cdot \left(i \cdot \left(4 \cdot i\right) - 1.0\right)}}\]
Applied times-frac0.0
\[\leadsto \color{blue}{\frac{i}{1} \cdot \frac{\frac{i}{4}}{i \cdot \left(4 \cdot i\right) - 1.0}}\]
Simplified0.0
\[\leadsto \color{blue}{i} \cdot \frac{\frac{i}{4}}{i \cdot \left(4 \cdot i\right) - 1.0}\]
if 190.14020759180744 < i
Initial program 46.5
\[\frac{\frac{\left(i \cdot i\right) \cdot \left(i \cdot i\right)}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right)}}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1.0}\]
Initial simplification31.5
\[\leadsto \frac{i \cdot \frac{i}{4}}{i \cdot \left(4 \cdot i\right) - 1.0}\]
Taylor expanded around -inf 0.0
\[\leadsto \color{blue}{0.015625 \cdot \frac{1}{{i}^{2}} + \left(\frac{1}{16} + 0.00390625 \cdot \frac{1}{{i}^{4}}\right)}\]
Simplified0.0
\[\leadsto \color{blue}{\frac{\frac{0.015625}{i}}{i} + \left(\frac{1}{16} + \frac{0.00390625}{{i}^{4}}\right)}\]
- Recombined 2 regimes into one program.
Final simplification0.0
\[\leadsto \begin{array}{l}
\mathbf{if}\;i \le 190.14020759180744:\\
\;\;\;\;\frac{\frac{i}{4}}{\left(4 \cdot i\right) \cdot i - 1.0} \cdot i\\
\mathbf{else}:\\
\;\;\;\;\left(\frac{1}{16} + \frac{0.00390625}{{i}^{4}}\right) + \frac{\frac{0.015625}{i}}{i}\\
\end{array}\]