Average Error: 53.9 → 11.7
Time: 1.4m
Precision: 64
\[\alpha \gt -1 \land \beta \gt -1 \land i \gt 1\]
\[\frac{\frac{\left(i \cdot \left(\left(\alpha + \beta\right) + i\right)\right) \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}\]
↓
\[\begin{array}{l} \mathbf{if}\;i \le 8.874107430953478 \cdot 10^{85}:\\ \;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\\ \mathbf{elif}\;i \le 2.0724100181689118 \cdot 10^{99}:\\ \;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{i}}\\ \mathbf{elif}\;i \le 2.6471886468979692 \cdot 10^{128}:\\ \;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{0.25 \cdot \alpha + \left(0.5 \cdot i + 0.25 \cdot \beta\right)}}\\ \end{array}\]
\frac{\frac{\left(i \cdot \left(\left(\alpha + \beta\right) + i\right)\right) \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}
↓
\begin{array}{l}
\mathbf{if}\;i \le 8.874107430953478 \cdot 10^{85}:\\
\;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\\

\mathbf{elif}\;i \le 2.0724100181689118 \cdot 10^{99}:\\
\;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{i}}\\

\mathbf{elif}\;i \le 2.6471886468979692 \cdot 10^{128}:\\
\;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\\

\mathbf{else}:\\
\;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{0.25 \cdot \alpha + \left(0.5 \cdot i + 0.25 \cdot \beta\right)}}\\

\end{array}
double f(double alpha, double beta, double i) {
        double r400392 = i;
        double r400393 = alpha;
        double r400394 = beta;
        double r400395 = r400393 + r400394;
        double r400396 = r400395 + r400392;
        double r400397 = r400392 * r400396;
        double r400398 = r400394 * r400393;
        double r400399 = r400398 + r400397;
        double r400400 = r400397 * r400399;
        double r400401 = 2.0;
        double r400402 = r400401 * r400392;
        double r400403 = r400395 + r400402;
        double r400404 = r400403 * r400403;
        double r400405 = r400400 / r400404;
        double r400406 = 1.0;
        double r400407 = r400404 - r400406;
        double r400408 = r400405 / r400407;
        return r400408;
}
↓
double f(double alpha, double beta, double i) {
        double r400409 = i;
        double r400410 = 8.874107430953478e+85;
        bool r400411 = r400409 <= r400410;
        double r400412 = 1.0;
        double r400413 = alpha;
        double r400414 = beta;
        double r400415 = r400413 + r400414;
        double r400416 = 2.0;
        double r400417 = r400416 * r400409;
        double r400418 = r400415 + r400417;
        double r400419 = 1.0;
        double r400420 = sqrt(r400419);
        double r400421 = r400418 + r400420;
        double r400422 = r400421 / r400412;
        double r400423 = r400412 / r400422;
        double r400424 = r400423 / r400412;
        double r400425 = r400418 - r400420;
        double r400426 = r400415 + r400409;
        double r400427 = r400425 / r400426;
        double r400428 = r400409 / r400427;
        double r400429 = fma(r400409, r400416, r400415);
        double r400430 = r400409 * r400426;
        double r400431 = fma(r400414, r400413, r400430);
        double r400432 = r400431 / r400429;
        double r400433 = r400429 / r400432;
        double r400434 = r400428 / r400433;
        double r400435 = r400424 * r400434;
        double r400436 = 2.0724100181689118e+99;
        bool r400437 = r400409 <= r400436;
        double r400438 = r400429 / r400409;
        double r400439 = r400428 / r400438;
        double r400440 = r400424 * r400439;
        double r400441 = 2.6471886468979692e+128;
        bool r400442 = r400409 <= r400441;
        double r400443 = 0.25;
        double r400444 = r400443 * r400413;
        double r400445 = 0.5;
        double r400446 = r400445 * r400409;
        double r400447 = r400443 * r400414;
        double r400448 = r400446 + r400447;
        double r400449 = r400444 + r400448;
        double r400450 = r400429 / r400449;
        double r400451 = r400428 / r400450;
        double r400452 = r400424 * r400451;
        double r400453 = r400442 ? r400435 : r400452;
        double r400454 = r400437 ? r400440 : r400453;
        double r400455 = r400411 ? r400435 : r400454;
        return r400455;
}

Error

Bits error versus alpha

Bits error versus beta

Bits error versus i

Derivation

  1. Split input into 3 regimes

  2. if i < 8.874107430953478e+85 or 2.0724100181689118e+99 < i < 2.6471886468979692e+128

    1. Initial program 37.5

      \[\frac{\frac{\left(i \cdot \left(\left(\alpha + \beta\right) + i\right)\right) \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}\]

    2. Simplified33.8

      \[\leadsto \color{blue}{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}}\]
    3. Using strategy rm

    4. Applied associate-/l*28.2

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\color{blue}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]
    5. Using strategy rm

    6. Applied *-un-lft-identity28.2

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\color{blue}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    7. Applied *-un-lft-identity28.2

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\color{blue}{1 \cdot \mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    8. Applied times-frac28.2

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\color{blue}{\frac{1}{1} \cdot \frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    9. Applied times-frac17.5

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\color{blue}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    10. Applied associate-/r*14.7

      \[\leadsto \color{blue}{\frac{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\frac{1}{1}}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    11. Simplified14.7

      \[\leadsto \frac{\color{blue}{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]
    12. Using strategy rm

    13. Applied *-un-lft-identity14.7

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\color{blue}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    14. Applied *-un-lft-identity14.7

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\color{blue}{1 \cdot \mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    15. Applied times-frac14.7

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\color{blue}{\frac{1}{1} \cdot \frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    16. Applied *-un-lft-identity14.7

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\color{blue}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}{\frac{1}{1} \cdot \frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    17. Applied times-frac14.7

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\color{blue}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    18. Applied *-un-lft-identity14.7

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\color{blue}{1 \cdot \left(\left(\alpha + \beta\right) + i\right)}}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    19. Applied add-sqr-sqrt14.7

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \color{blue}{\sqrt{1} \cdot \sqrt{1}}}{1 \cdot \left(\left(\alpha + \beta\right) + i\right)}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    20. Applied difference-of-squares14.7

      \[\leadsto \frac{\frac{i}{\frac{\color{blue}{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}\right) \cdot \left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}\right)}}{1 \cdot \left(\left(\alpha + \beta\right) + i\right)}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    21. Applied times-frac10.0

      \[\leadsto \frac{\frac{i}{\color{blue}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1} \cdot \frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    22. Applied *-un-lft-identity10.0

      \[\leadsto \frac{\frac{\color{blue}{1 \cdot i}}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1} \cdot \frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    23. Applied times-frac10.1

      \[\leadsto \frac{\color{blue}{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}} \cdot \frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    24. Applied times-frac10.1

      \[\leadsto \color{blue}{\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{\frac{1}{\frac{1}{1}}} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    25. Simplified10.1

      \[\leadsto \color{blue}{\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1}} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    if 8.874107430953478e+85 < i < 2.0724100181689118e+99

    1. Initial program 64.0

      \[\frac{\frac{\left(i \cdot \left(\left(\alpha + \beta\right) + i\right)\right) \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}\]

    2. Simplified62.2

      \[\leadsto \color{blue}{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}}\]
    3. Using strategy rm

    4. Applied associate-/l*24.7

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\color{blue}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]
    5. Using strategy rm

    6. Applied *-un-lft-identity24.7

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\color{blue}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    7. Applied *-un-lft-identity24.7

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\color{blue}{1 \cdot \mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    8. Applied times-frac24.7

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\color{blue}{\frac{1}{1} \cdot \frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    9. Applied times-frac21.8

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\color{blue}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    10. Applied associate-/r*19.5

      \[\leadsto \color{blue}{\frac{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\frac{1}{1}}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    11. Simplified19.4

      \[\leadsto \frac{\color{blue}{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]
    12. Using strategy rm

    13. Applied *-un-lft-identity19.4

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\color{blue}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    14. Applied *-un-lft-identity19.4

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\color{blue}{1 \cdot \mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    15. Applied times-frac19.4

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\color{blue}{\frac{1}{1} \cdot \frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    16. Applied *-un-lft-identity19.4

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\color{blue}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}{\frac{1}{1} \cdot \frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    17. Applied times-frac19.4

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\color{blue}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    18. Applied *-un-lft-identity19.4

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\color{blue}{1 \cdot \left(\left(\alpha + \beta\right) + i\right)}}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    19. Applied add-sqr-sqrt19.4

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \color{blue}{\sqrt{1} \cdot \sqrt{1}}}{1 \cdot \left(\left(\alpha + \beta\right) + i\right)}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    20. Applied difference-of-squares19.4

      \[\leadsto \frac{\frac{i}{\frac{\color{blue}{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}\right) \cdot \left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}\right)}}{1 \cdot \left(\left(\alpha + \beta\right) + i\right)}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    21. Applied times-frac12.9

      \[\leadsto \frac{\frac{i}{\color{blue}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1} \cdot \frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    22. Applied *-un-lft-identity12.9

      \[\leadsto \frac{\frac{\color{blue}{1 \cdot i}}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1} \cdot \frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    23. Applied times-frac13.1

      \[\leadsto \frac{\color{blue}{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}} \cdot \frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    24. Applied times-frac13.0

      \[\leadsto \color{blue}{\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{\frac{1}{\frac{1}{1}}} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    25. Simplified13.0

      \[\leadsto \color{blue}{\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1}} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    26. Taylor expanded around inf 33.6

      \[\leadsto \frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\color{blue}{i}}}\]

    if 2.6471886468979692e+128 < i

    1. Initial program 64.0

      \[\frac{\frac{\left(i \cdot \left(\left(\alpha + \beta\right) + i\right)\right) \cdot \left(\beta \cdot \alpha + i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right)}}{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}\]

    2. Simplified63.8

      \[\leadsto \color{blue}{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}}\]
    3. Using strategy rm

    4. Applied associate-/l*63.8

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\color{blue}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]
    5. Using strategy rm

    6. Applied *-un-lft-identity63.8

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\color{blue}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    7. Applied *-un-lft-identity63.8

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\color{blue}{1 \cdot \mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    8. Applied times-frac63.8

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1\right) \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\color{blue}{\frac{1}{1} \cdot \frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    9. Applied times-frac57.3

      \[\leadsto \frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\color{blue}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    10. Applied associate-/r*57.2

      \[\leadsto \color{blue}{\frac{\frac{i \cdot \left(\left(\alpha + \beta\right) + i\right)}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\frac{1}{1}}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    11. Simplified57.2

      \[\leadsto \frac{\color{blue}{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]
    12. Using strategy rm

    13. Applied *-un-lft-identity57.2

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\color{blue}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    14. Applied *-un-lft-identity57.2

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\color{blue}{1 \cdot \mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    15. Applied times-frac57.2

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\color{blue}{\frac{1}{1} \cdot \frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    16. Applied *-un-lft-identity57.2

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\frac{\color{blue}{1 \cdot \mathsf{fma}\left(i, 2, \alpha + \beta\right)}}{\frac{1}{1} \cdot \frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    17. Applied times-frac57.2

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\left(\alpha + \beta\right) + i}}}{\color{blue}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    18. Applied *-un-lft-identity57.2

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - 1}{\color{blue}{1 \cdot \left(\left(\alpha + \beta\right) + i\right)}}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    19. Applied add-sqr-sqrt57.2

      \[\leadsto \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) \cdot \left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \color{blue}{\sqrt{1} \cdot \sqrt{1}}}{1 \cdot \left(\left(\alpha + \beta\right) + i\right)}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    20. Applied difference-of-squares57.2

      \[\leadsto \frac{\frac{i}{\frac{\color{blue}{\left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}\right) \cdot \left(\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}\right)}}{1 \cdot \left(\left(\alpha + \beta\right) + i\right)}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    21. Applied times-frac56.9

      \[\leadsto \frac{\frac{i}{\color{blue}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1} \cdot \frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    22. Applied *-un-lft-identity56.9

      \[\leadsto \frac{\frac{\color{blue}{1 \cdot i}}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1} \cdot \frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    23. Applied times-frac56.9

      \[\leadsto \frac{\color{blue}{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}} \cdot \frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}}{\frac{1}{\frac{1}{1}} \cdot \frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    24. Applied times-frac56.9

      \[\leadsto \color{blue}{\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{\frac{1}{\frac{1}{1}}} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}}\]

    25. Simplified56.9

      \[\leadsto \color{blue}{\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1}} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\]

    26. Taylor expanded around 0 11.1

      \[\leadsto \frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\color{blue}{0.25 \cdot \alpha + \left(0.5 \cdot i + 0.25 \cdot \beta\right)}}}\]
  3. Recombined 3 regimes into one program.

  4. Final simplification11.7

    \[\leadsto \begin{array}{l} \mathbf{if}\;i \le 8.874107430953478 \cdot 10^{85}:\\ \;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\\ \mathbf{elif}\;i \le 2.0724100181689118 \cdot 10^{99}:\\ \;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{i}}\\ \mathbf{elif}\;i \le 2.6471886468979692 \cdot 10^{128}:\\ \;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{\frac{\mathsf{fma}\left(\beta, \alpha, i \cdot \left(\left(\alpha + \beta\right) + i\right)\right)}{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}}}\\ \mathbf{else}:\\ \;\;\;\;\frac{\frac{1}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) + \sqrt{1}}{1}}}{1} \cdot \frac{\frac{i}{\frac{\left(\left(\alpha + \beta\right) + 2 \cdot i\right) - \sqrt{1}}{\left(\alpha + \beta\right) + i}}}{\frac{\mathsf{fma}\left(i, 2, \alpha + \beta\right)}{0.25 \cdot \alpha + \left(0.5 \cdot i + 0.25 \cdot \beta\right)}}\\ \end{array}\]

Reproduce

herbie shell --seed 2020024 +o rules:numerics
(FPCore (alpha beta i)
  :name "Octave 3.8, jcobi/4"
  :precision binary64
  :pre (and (> alpha -1) (> beta -1) (> i 1))
  (/ (/ (* (* i (+ (+ alpha beta) i)) (+ (* beta alpha) (* i (+ (+ alpha beta) i)))) (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i)))) (- (* (+ (+ alpha beta) (* 2 i)) (+ (+ alpha beta) (* 2 i))) 1)))