Octave 3.8, jcobi/4, as called

1. Initial program 25.3%

   \[\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} \]
2. Step-by-step derivation

   1. times-frac75.3%

      \[\leadsto \frac{\color{blue}{\frac{i \cdot i}{2 \cdot i} \cdot \frac{i \cdot i}{2 \cdot i}}}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1} \]

   2. associate-/l*75.2%

      \[\leadsto \color{blue}{\frac{\frac{i \cdot i}{2 \cdot i}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}}} \]

   3. associate-/l*75.2%

      \[\leadsto \frac{\color{blue}{\frac{i}{\frac{2 \cdot i}{i}}}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}} \]

   4. associate-/l/75.2%

      \[\leadsto \color{blue}{\frac{i}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}} \cdot \frac{2 \cdot i}{i}}} \]

   5. associate-/r/74.8%

      \[\leadsto \frac{i}{\color{blue}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right)} \cdot \frac{2 \cdot i}{i}} \]

   6. associate-/l*74.8%

      \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{\frac{2}{\frac{i}{i}}}} \]

   7. *-inverses74.8%

      \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \frac{2}{\color{blue}{1}}} \]

   8. metadata-eval74.8%

      \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{2}} \]

   9. associate-*l*74.8%

      \[\leadsto \frac{i}{\color{blue}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(\left(2 \cdot i\right) \cdot 2\right)}} \]

   10. *-commutative74.8%

       \[\leadsto \frac{i}{\color{blue}{\left(\left(2 \cdot i\right) \cdot 2\right) \cdot \frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

   11. associate-/r*74.9%

       \[\leadsto \color{blue}{\frac{\frac{i}{\left(2 \cdot i\right) \cdot 2}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

3. Simplified92.1%

   \[\leadsto \color{blue}{\frac{0.25}{4 - \frac{i}{{i}^{3}}}} \]

4. Taylor expanded in i around 0 99.5%

   \[\leadsto \frac{0.25}{4 - \color{blue}{\frac{1}{{i}^{2}}}} \]
5. Step-by-step derivation

   1. unpow299.5%

      \[\leadsto \frac{0.25}{4 - \frac{1}{\color{blue}{i \cdot i}}} \]

6. Simplified99.5%

   \[\leadsto \frac{0.25}{4 - \color{blue}{\frac{1}{i \cdot i}}} \]

7. Final simplification99.5%

   \[\leadsto \frac{0.25}{4 - \frac{1}{i \cdot i}} \]

1. Split input into 2 regimes

2. if i < 0.5

   1. Initial program 28.7%

      \[\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} \]
   2. Step-by-step derivation

      1. times-frac99.9%

         \[\leadsto \frac{\color{blue}{\frac{i \cdot i}{2 \cdot i} \cdot \frac{i \cdot i}{2 \cdot i}}}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1} \]

      2. associate-/l*99.7%

         \[\leadsto \color{blue}{\frac{\frac{i \cdot i}{2 \cdot i}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}}} \]

      3. associate-/l*99.7%

         \[\leadsto \frac{\color{blue}{\frac{i}{\frac{2 \cdot i}{i}}}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}} \]

      4. associate-/l/99.7%

         \[\leadsto \color{blue}{\frac{i}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}} \cdot \frac{2 \cdot i}{i}}} \]

      5. associate-/r/98.9%

         \[\leadsto \frac{i}{\color{blue}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right)} \cdot \frac{2 \cdot i}{i}} \]

      6. associate-/l*98.9%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{\frac{2}{\frac{i}{i}}}} \]

      7. *-inverses98.9%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \frac{2}{\color{blue}{1}}} \]

      8. metadata-eval98.9%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{2}} \]

      9. associate-*l*98.9%

         \[\leadsto \frac{i}{\color{blue}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(\left(2 \cdot i\right) \cdot 2\right)}} \]

      10. *-commutative98.9%

          \[\leadsto \frac{i}{\color{blue}{\left(\left(2 \cdot i\right) \cdot 2\right) \cdot \frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

      11. associate-/r*99.0%

          \[\leadsto \color{blue}{\frac{\frac{i}{\left(2 \cdot i\right) \cdot 2}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

   3. Simplified84.5%

      \[\leadsto \color{blue}{\frac{0.25}{4 - \frac{i}{{i}^{3}}}} \]

   4. Taylor expanded in i around 0 97.8%

      \[\leadsto \color{blue}{-0.25 \cdot {i}^{2}} \]
   5. Step-by-step derivation

      1. unpow297.8%

         \[\leadsto -0.25 \cdot \color{blue}{\left(i \cdot i\right)} \]

      2. *-commutative97.8%

         \[\leadsto \color{blue}{\left(i \cdot i\right) \cdot -0.25} \]

      3. associate-*l*97.8%

         \[\leadsto \color{blue}{i \cdot \left(i \cdot -0.25\right)} \]

   6. Simplified97.8%

      \[\leadsto \color{blue}{i \cdot \left(i \cdot -0.25\right)} \]

   if 0.5 < i

   1. Initial program 21.7%

      \[\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} \]
   2. Step-by-step derivation

      1. times-frac49.5%

         \[\leadsto \frac{\color{blue}{\frac{i \cdot i}{2 \cdot i} \cdot \frac{i \cdot i}{2 \cdot i}}}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1} \]

      2. associate-/l*49.5%

         \[\leadsto \color{blue}{\frac{\frac{i \cdot i}{2 \cdot i}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}}} \]

      3. associate-/l*49.6%

         \[\leadsto \frac{\color{blue}{\frac{i}{\frac{2 \cdot i}{i}}}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}} \]

      4. associate-/l/49.6%

         \[\leadsto \color{blue}{\frac{i}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}} \cdot \frac{2 \cdot i}{i}}} \]

      5. associate-/r/49.6%

         \[\leadsto \frac{i}{\color{blue}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right)} \cdot \frac{2 \cdot i}{i}} \]

      6. associate-/l*49.6%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{\frac{2}{\frac{i}{i}}}} \]

      7. *-inverses49.6%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \frac{2}{\color{blue}{1}}} \]

      8. metadata-eval49.6%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{2}} \]

      9. associate-*l*49.6%

         \[\leadsto \frac{i}{\color{blue}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(\left(2 \cdot i\right) \cdot 2\right)}} \]

      10. *-commutative49.6%

          \[\leadsto \frac{i}{\color{blue}{\left(\left(2 \cdot i\right) \cdot 2\right) \cdot \frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

      11. associate-/r*49.6%

          \[\leadsto \color{blue}{\frac{\frac{i}{\left(2 \cdot i\right) \cdot 2}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

   3. Simplified100.0%

      \[\leadsto \color{blue}{\frac{0.25}{4 - \frac{i}{{i}^{3}}}} \]

   4. Taylor expanded in i around inf 99.7%

      \[\leadsto \color{blue}{0.0625 + 0.015625 \cdot \frac{1}{{i}^{2}}} \]
   5. Step-by-step derivation

      1. unpow299.7%

         \[\leadsto 0.0625 + 0.015625 \cdot \frac{1}{\color{blue}{i \cdot i}} \]

      2. associate-*r/99.7%

         \[\leadsto 0.0625 + \color{blue}{\frac{0.015625 \cdot 1}{i \cdot i}} \]

      3. metadata-eval99.7%

         \[\leadsto 0.0625 + \frac{\color{blue}{0.015625}}{i \cdot i} \]

   6. Simplified99.7%

      \[\leadsto \color{blue}{0.0625 + \frac{0.015625}{i \cdot i}} \]
3. Recombined 2 regimes into one program.

4. Final simplification98.7%

   \[\leadsto \begin{array}{l} \mathbf{if}\;i \leq 0.5:\\ \;\;\;\;i \cdot \left(i \cdot -0.25\right)\\ \mathbf{else}:\\ \;\;\;\;0.0625 + \frac{0.015625}{i \cdot i}\\ \end{array} \]

1. Split input into 2 regimes

2. if i < 0.5

   1. Initial program 28.7%

      \[\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} \]
   2. Step-by-step derivation

      1. times-frac99.9%

         \[\leadsto \frac{\color{blue}{\frac{i \cdot i}{2 \cdot i} \cdot \frac{i \cdot i}{2 \cdot i}}}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1} \]

      2. associate-/l*99.7%

         \[\leadsto \color{blue}{\frac{\frac{i \cdot i}{2 \cdot i}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}}} \]

      3. associate-/l*99.7%

         \[\leadsto \frac{\color{blue}{\frac{i}{\frac{2 \cdot i}{i}}}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}} \]

      4. associate-/l/99.7%

         \[\leadsto \color{blue}{\frac{i}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}} \cdot \frac{2 \cdot i}{i}}} \]

      5. associate-/r/98.9%

         \[\leadsto \frac{i}{\color{blue}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right)} \cdot \frac{2 \cdot i}{i}} \]

      6. associate-/l*98.9%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{\frac{2}{\frac{i}{i}}}} \]

      7. *-inverses98.9%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \frac{2}{\color{blue}{1}}} \]

      8. metadata-eval98.9%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{2}} \]

      9. associate-*l*98.9%

         \[\leadsto \frac{i}{\color{blue}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(\left(2 \cdot i\right) \cdot 2\right)}} \]

      10. *-commutative98.9%

          \[\leadsto \frac{i}{\color{blue}{\left(\left(2 \cdot i\right) \cdot 2\right) \cdot \frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

      11. associate-/r*99.0%

          \[\leadsto \color{blue}{\frac{\frac{i}{\left(2 \cdot i\right) \cdot 2}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

   3. Simplified84.5%

      \[\leadsto \color{blue}{\frac{0.25}{4 - \frac{i}{{i}^{3}}}} \]

   4. Taylor expanded in i around 0 97.8%

      \[\leadsto \color{blue}{-0.25 \cdot {i}^{2}} \]
   5. Step-by-step derivation

      1. unpow297.8%

         \[\leadsto -0.25 \cdot \color{blue}{\left(i \cdot i\right)} \]

      2. *-commutative97.8%

         \[\leadsto \color{blue}{\left(i \cdot i\right) \cdot -0.25} \]

      3. associate-*l*97.8%

         \[\leadsto \color{blue}{i \cdot \left(i \cdot -0.25\right)} \]

   6. Simplified97.8%

      \[\leadsto \color{blue}{i \cdot \left(i \cdot -0.25\right)} \]

   if 0.5 < i

   1. Initial program 21.7%

      \[\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} \]
   2. Step-by-step derivation

      1. times-frac49.5%

         \[\leadsto \frac{\color{blue}{\frac{i \cdot i}{2 \cdot i} \cdot \frac{i \cdot i}{2 \cdot i}}}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1} \]

      2. associate-/l*49.5%

         \[\leadsto \color{blue}{\frac{\frac{i \cdot i}{2 \cdot i}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}}} \]

      3. associate-/l*49.6%

         \[\leadsto \frac{\color{blue}{\frac{i}{\frac{2 \cdot i}{i}}}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}} \]

      4. associate-/l/49.6%

         \[\leadsto \color{blue}{\frac{i}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}} \cdot \frac{2 \cdot i}{i}}} \]

      5. associate-/r/49.6%

         \[\leadsto \frac{i}{\color{blue}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right)} \cdot \frac{2 \cdot i}{i}} \]

      6. associate-/l*49.6%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{\frac{2}{\frac{i}{i}}}} \]

      7. *-inverses49.6%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \frac{2}{\color{blue}{1}}} \]

      8. metadata-eval49.6%

         \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{2}} \]

      9. associate-*l*49.6%

         \[\leadsto \frac{i}{\color{blue}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(\left(2 \cdot i\right) \cdot 2\right)}} \]

      10. *-commutative49.6%

          \[\leadsto \frac{i}{\color{blue}{\left(\left(2 \cdot i\right) \cdot 2\right) \cdot \frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

      11. associate-/r*49.6%

          \[\leadsto \color{blue}{\frac{\frac{i}{\left(2 \cdot i\right) \cdot 2}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

   3. Simplified100.0%

      \[\leadsto \color{blue}{\frac{0.25}{4 - \frac{i}{{i}^{3}}}} \]

   4. Taylor expanded in i around inf 99.1%

      \[\leadsto \color{blue}{0.0625} \]
3. Recombined 2 regimes into one program.

4. Final simplification98.4%

   \[\leadsto \begin{array}{l} \mathbf{if}\;i \leq 0.5:\\ \;\;\;\;i \cdot \left(i \cdot -0.25\right)\\ \mathbf{else}:\\ \;\;\;\;0.0625\\ \end{array} \]

1. Initial program 25.3%

   \[\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} \]
2. Step-by-step derivation

   1. times-frac75.3%

      \[\leadsto \frac{\color{blue}{\frac{i \cdot i}{2 \cdot i} \cdot \frac{i \cdot i}{2 \cdot i}}}{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1} \]

   2. associate-/l*75.2%

      \[\leadsto \color{blue}{\frac{\frac{i \cdot i}{2 \cdot i}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}}} \]

   3. associate-/l*75.2%

      \[\leadsto \frac{\color{blue}{\frac{i}{\frac{2 \cdot i}{i}}}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}}} \]

   4. associate-/l/75.2%

      \[\leadsto \color{blue}{\frac{i}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{\frac{i \cdot i}{2 \cdot i}} \cdot \frac{2 \cdot i}{i}}} \]

   5. associate-/r/74.8%

      \[\leadsto \frac{i}{\color{blue}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right)} \cdot \frac{2 \cdot i}{i}} \]

   6. associate-/l*74.8%

      \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{\frac{2}{\frac{i}{i}}}} \]

   7. *-inverses74.8%

      \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \frac{2}{\color{blue}{1}}} \]

   8. metadata-eval74.8%

      \[\leadsto \frac{i}{\left(\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(2 \cdot i\right)\right) \cdot \color{blue}{2}} \]

   9. associate-*l*74.8%

      \[\leadsto \frac{i}{\color{blue}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i} \cdot \left(\left(2 \cdot i\right) \cdot 2\right)}} \]

   10. *-commutative74.8%

       \[\leadsto \frac{i}{\color{blue}{\left(\left(2 \cdot i\right) \cdot 2\right) \cdot \frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

   11. associate-/r*74.9%

       \[\leadsto \color{blue}{\frac{\frac{i}{\left(2 \cdot i\right) \cdot 2}}{\frac{\left(2 \cdot i\right) \cdot \left(2 \cdot i\right) - 1}{i \cdot i}}} \]

3. Simplified92.1%

   \[\leadsto \color{blue}{\frac{0.25}{4 - \frac{i}{{i}^{3}}}} \]

4. Taylor expanded in i around inf 49.8%

   \[\leadsto \color{blue}{0.0625} \]

5. Final simplification49.8%

   \[\leadsto 0.0625 \]

herbie shell --seed 2023166 
(FPCore (i)
  :name "Octave 3.8, jcobi/4, as called"
  :precision binary64
  :pre (> i 0.0)
  (/ (/ (* (* i i) (* i i)) (* (* 2.0 i) (* 2.0 i))) (- (* (* 2.0 i) (* 2.0 i)) 1.0)))