Average Error: 61.5 → 0.6
Time: 4.9m
Precision: 64
\[\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.99999999999980993 + \frac{676.520368121885099}{\left(z - 1\right) + 1}\right) + \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right) + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right) + \frac{-176.615029162140587}{\left(z - 1\right) + 4}\right) + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right) + \frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)\]
↓
\[\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left({\left(z - 1\right)}^{3} + {8}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)\right)\right) \cdot \left({\left(z - 1\right)}^{3} + {6}^{3}\right)\right) \cdot e^{z}} \cdot \left(\left(\left(\left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(8 \cdot 8 - \left(z - 1\right) \cdot 8\right)\right) \cdot \left(\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)\right)\right) \cdot e^{\left(1 - 7\right) - 0.5}\right)\]
\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.99999999999980993 + \frac{676.520368121885099}{\left(z - 1\right) + 1}\right) + \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right) + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right) + \frac{-176.615029162140587}{\left(z - 1\right) + 4}\right) + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right) + \frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)
↓
\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left({\left(z - 1\right)}^{3} + {8}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)\right)\right) \cdot \left({\left(z - 1\right)}^{3} + {6}^{3}\right)\right) \cdot e^{z}} \cdot \left(\left(\left(\left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(8 \cdot 8 - \left(z - 1\right) \cdot 8\right)\right) \cdot \left(\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)\right)\right) \cdot e^{\left(1 - 7\right) - 0.5}\right)
double f(double z) {
        double r302567 = atan2(1.0, 0.0);
        double r302568 = 2.0;
        double r302569 = r302567 * r302568;
        double r302570 = sqrt(r302569);
        double r302571 = z;
        double r302572 = 1.0;
        double r302573 = r302571 - r302572;
        double r302574 = 7.0;
        double r302575 = r302573 + r302574;
        double r302576 = 0.5;
        double r302577 = r302575 + r302576;
        double r302578 = r302573 + r302576;
        double r302579 = pow(r302577, r302578);
        double r302580 = r302570 * r302579;
        double r302581 = -r302577;
        double r302582 = exp(r302581);
        double r302583 = r302580 * r302582;
        double r302584 = 0.9999999999998099;
        double r302585 = 676.5203681218851;
        double r302586 = r302573 + r302572;
        double r302587 = r302585 / r302586;
        double r302588 = r302584 + r302587;
        double r302589 = -1259.1392167224028;
        double r302590 = r302573 + r302568;
        double r302591 = r302589 / r302590;
        double r302592 = r302588 + r302591;
        double r302593 = 771.3234287776531;
        double r302594 = 3.0;
        double r302595 = r302573 + r302594;
        double r302596 = r302593 / r302595;
        double r302597 = r302592 + r302596;
        double r302598 = -176.6150291621406;
        double r302599 = 4.0;
        double r302600 = r302573 + r302599;
        double r302601 = r302598 / r302600;
        double r302602 = r302597 + r302601;
        double r302603 = 12.507343278686905;
        double r302604 = 5.0;
        double r302605 = r302573 + r302604;
        double r302606 = r302603 / r302605;
        double r302607 = r302602 + r302606;
        double r302608 = -0.13857109526572012;
        double r302609 = 6.0;
        double r302610 = r302573 + r302609;
        double r302611 = r302608 / r302610;
        double r302612 = r302607 + r302611;
        double r302613 = 9.984369578019572e-06;
        double r302614 = r302613 / r302575;
        double r302615 = r302612 + r302614;
        double r302616 = 1.5056327351493116e-07;
        double r302617 = 8.0;
        double r302618 = r302573 + r302617;
        double r302619 = r302616 / r302618;
        double r302620 = r302615 + r302619;
        double r302621 = r302583 * r302620;
        return r302621;
}
↓
double f(double z) {
        double r302622 = 9.984369578019572e-06;
        double r302623 = z;
        double r302624 = 1.0;
        double r302625 = r302623 - r302624;
        double r302626 = 8.0;
        double r302627 = r302625 + r302626;
        double r302628 = 7.0;
        double r302629 = r302625 + r302628;
        double r302630 = 1.5056327351493116e-07;
        double r302631 = r302629 * r302630;
        double r302632 = fma(r302622, r302627, r302631);
        double r302633 = 0.9999999999998099;
        double r302634 = -1259.1392167224028;
        double r302635 = 2.0;
        double r302636 = r302625 + r302635;
        double r302637 = r302634 / r302636;
        double r302638 = r302637 - r302633;
        double r302639 = r302637 * r302638;
        double r302640 = fma(r302633, r302633, r302639);
        double r302641 = -176.6150291621406;
        double r302642 = 4.0;
        double r302643 = r302625 + r302642;
        double r302644 = r302641 / r302643;
        double r302645 = 12.507343278686905;
        double r302646 = 5.0;
        double r302647 = r302625 + r302646;
        double r302648 = r302645 / r302647;
        double r302649 = r302644 - r302648;
        double r302650 = r302623 * r302649;
        double r302651 = 3.0;
        double r302652 = r302625 + r302651;
        double r302653 = r302650 * r302652;
        double r302654 = r302640 * r302653;
        double r302655 = 3.0;
        double r302656 = pow(r302633, r302655);
        double r302657 = pow(r302637, r302655);
        double r302658 = r302656 + r302657;
        double r302659 = 676.5203681218851;
        double r302660 = r302644 * r302644;
        double r302661 = r302648 * r302648;
        double r302662 = r302660 - r302661;
        double r302663 = r302623 * r302662;
        double r302664 = fma(r302659, r302649, r302663);
        double r302665 = r302640 * r302664;
        double r302666 = fma(r302658, r302650, r302665);
        double r302667 = 771.3234287776531;
        double r302668 = r302650 * r302667;
        double r302669 = r302640 * r302668;
        double r302670 = fma(r302666, r302652, r302669);
        double r302671 = r302629 * r302627;
        double r302672 = r302670 * r302671;
        double r302673 = fma(r302632, r302654, r302672);
        double r302674 = 6.0;
        double r302675 = r302625 + r302674;
        double r302676 = r302671 * r302654;
        double r302677 = -0.13857109526572012;
        double r302678 = r302676 * r302677;
        double r302679 = fma(r302673, r302675, r302678);
        double r302680 = atan2(1.0, 0.0);
        double r302681 = r302680 * r302635;
        double r302682 = sqrt(r302681);
        double r302683 = 0.5;
        double r302684 = r302629 + r302683;
        double r302685 = r302625 + r302683;
        double r302686 = pow(r302684, r302685);
        double r302687 = r302682 * r302686;
        double r302688 = r302679 * r302687;
        double r302689 = pow(r302625, r302655);
        double r302690 = pow(r302626, r302655);
        double r302691 = r302689 + r302690;
        double r302692 = r302629 * r302691;
        double r302693 = r302625 * r302625;
        double r302694 = r302651 * r302651;
        double r302695 = r302693 - r302694;
        double r302696 = r302663 * r302695;
        double r302697 = r302640 * r302696;
        double r302698 = r302692 * r302697;
        double r302699 = pow(r302674, r302655);
        double r302700 = r302689 + r302699;
        double r302701 = r302698 * r302700;
        double r302702 = exp(r302623);
        double r302703 = r302701 * r302702;
        double r302704 = r302688 / r302703;
        double r302705 = r302626 * r302626;
        double r302706 = r302625 * r302626;
        double r302707 = r302705 - r302706;
        double r302708 = r302693 + r302707;
        double r302709 = r302644 + r302648;
        double r302710 = r302625 - r302651;
        double r302711 = r302709 * r302710;
        double r302712 = r302708 * r302711;
        double r302713 = r302674 * r302674;
        double r302714 = r302625 * r302674;
        double r302715 = r302713 - r302714;
        double r302716 = r302693 + r302715;
        double r302717 = r302712 * r302716;
        double r302718 = r302624 - r302628;
        double r302719 = r302718 - r302683;
        double r302720 = exp(r302719);
        double r302721 = r302717 * r302720;
        double r302722 = r302704 * r302721;
        return r302722;
}

Error

Bits error versus z

Derivation

  1. Initial program 61.5

    \[\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.99999999999980993 + \frac{676.520368121885099}{\left(z - 1\right) + 1}\right) + \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right) + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right) + \frac{-176.615029162140587}{\left(z - 1\right) + 4}\right) + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right) + \frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)\]

  2. Simplified1.2

    \[\leadsto \color{blue}{\frac{\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \left(\left(\left(0.99999999999980993 + \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right) + \left(\frac{676.520368121885099}{z} + \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right)\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right)}\]
  3. Using strategy rm

  4. Applied flip-+1.2

    \[\leadsto \frac{\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \left(\left(\left(0.99999999999980993 + \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right) + \left(\frac{676.520368121885099}{z} + \color{blue}{\frac{\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}}{\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}}}\right)\right) + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right)\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right)\]

  5. Applied frac-add1.3

    \[\leadsto \frac{\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \left(\left(\left(0.99999999999980993 + \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right) + \color{blue}{\frac{676.520368121885099 \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)}{z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)}}\right) + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right)\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right)\]

  6. Applied flip3-+1.3

    \[\leadsto \frac{\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \left(\left(\color{blue}{\frac{{0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}}{0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}} + \frac{676.520368121885099 \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)}{z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)}\right) + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right)\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right)\]

  7. Applied frac-add1.3

    \[\leadsto \frac{\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \left(\color{blue}{\frac{\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) + \left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(676.520368121885099 \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)}{\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)}} + \frac{771.32342877765313}{\left(z - 1\right) + 3}\right)\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right)\]

  8. Applied frac-add1.3

    \[\leadsto \frac{\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.98436957801957158 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.50563273514931162 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \color{blue}{\frac{\left(\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) + \left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(676.520368121885099 \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right) + \left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot 771.32342877765313}{\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)}}\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right)\]

  9. Applied frac-add1.3

    \[\leadsto \frac{\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\color{blue}{\frac{9.98436957801957158 \cdot 10^{-6} \cdot \left(\left(z - 1\right) + 8\right) + \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}}{\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)}} + \frac{\left(\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) + \left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(676.520368121885099 \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right) + \left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot 771.32342877765313}{\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)}\right) + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right)\]

  10. Applied frac-add1.1

    \[\leadsto \frac{\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\color{blue}{\frac{\left(9.98436957801957158 \cdot 10^{-6} \cdot \left(\left(z - 1\right) + 8\right) + \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right) \cdot \left(\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right) + \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) + \left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(676.520368121885099 \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right) + \left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot 771.32342877765313\right)}{\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)}} + \frac{-0.138571095265720118}{\left(z - 1\right) + 6}\right)\]

  11. Applied frac-add1.2

    \[\leadsto \frac{\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \color{blue}{\frac{\left(\left(9.98436957801957158 \cdot 10^{-6} \cdot \left(\left(z - 1\right) + 8\right) + \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right) \cdot \left(\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right) + \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) + \left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(676.520368121885099 \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right) + \left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(z - 1\right) + 6\right) + \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right) \cdot -0.138571095265720118}{\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right) \cdot \left(\left(z - 1\right) + 6\right)}}\]

  12. Applied frac-times0.6

    \[\leadsto \color{blue}{\frac{\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot \left(\left(\left(9.98436957801957158 \cdot 10^{-6} \cdot \left(\left(z - 1\right) + 8\right) + \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right) \cdot \left(\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right) + \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) + \left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(676.520368121885099 \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) + z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right) + \left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(z - 1\right) + 6\right) + \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right) \cdot -0.138571095265720118\right)}{e^{\left(\left(z - 1\right) + 7\right) + 0.5} \cdot \left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right) \cdot \left(\left(z - 1\right) + 6\right)\right)}}\]

  13. Simplified0.6

    \[\leadsto \frac{\color{blue}{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5} \cdot \left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(\left(0.99999999999980993 \cdot 0.99999999999980993 + \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993 \cdot \frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)\right) \cdot \left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right) \cdot \left(\left(z - 1\right) + 6\right)\right)}\]

  14. Simplified0.6

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\color{blue}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot \left(\left(z - 1\right) + 6\right)\right) \cdot e^{\left(\left(z - 1\right) + 7\right) + 0.5}}}\]
  15. Using strategy rm

  16. Applied associate-+l-0.6

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot \left(\left(z - 1\right) + 6\right)\right) \cdot e^{\color{blue}{\left(z - \left(1 - 7\right)\right)} + 0.5}}\]

  17. Applied associate-+l-0.6

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot \left(\left(z - 1\right) + 6\right)\right) \cdot e^{\color{blue}{z - \left(\left(1 - 7\right) - 0.5\right)}}}\]

  18. Applied exp-diff1.1

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot \left(\left(z - 1\right) + 6\right)\right) \cdot \color{blue}{\frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}}\]

  19. Applied flip3-+1.1

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot \color{blue}{\frac{{\left(z - 1\right)}^{3} + {6}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)}}\right) \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  20. Applied flip-+1.1

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \color{blue}{\frac{\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3}{\left(z - 1\right) - 3}}\right)\right)\right) \cdot \frac{{\left(z - 1\right)}^{3} + {6}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)}\right) \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  21. Applied flip--1.1

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \color{blue}{\frac{\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}}{\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}}}\right) \cdot \frac{\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3}{\left(z - 1\right) - 3}\right)\right)\right) \cdot \frac{{\left(z - 1\right)}^{3} + {6}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)}\right) \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  22. Applied associate-*r/1.1

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\color{blue}{\frac{z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)}{\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}}} \cdot \frac{\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3}{\left(z - 1\right) - 3}\right)\right)\right) \cdot \frac{{\left(z - 1\right)}^{3} + {6}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)}\right) \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  23. Applied frac-times1.1

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \color{blue}{\frac{\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)}{\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)}}\right)\right) \cdot \frac{{\left(z - 1\right)}^{3} + {6}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)}\right) \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  24. Applied associate-*r/1.1

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \color{blue}{\frac{\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)}{\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)}}\right) \cdot \frac{{\left(z - 1\right)}^{3} + {6}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)}\right) \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  25. Applied flip3-+1.1

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \color{blue}{\frac{{\left(z - 1\right)}^{3} + {8}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(8 \cdot 8 - \left(z - 1\right) \cdot 8\right)}}\right) \cdot \frac{\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)}{\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)}\right) \cdot \frac{{\left(z - 1\right)}^{3} + {6}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)}\right) \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  26. Applied associate-*r/1.1

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\color{blue}{\frac{\left(\left(z - 1\right) + 7\right) \cdot \left({\left(z - 1\right)}^{3} + {8}^{3}\right)}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(8 \cdot 8 - \left(z - 1\right) \cdot 8\right)}} \cdot \frac{\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)}{\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)}\right) \cdot \frac{{\left(z - 1\right)}^{3} + {6}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)}\right) \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  27. Applied frac-times1.2

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\color{blue}{\frac{\left(\left(\left(z - 1\right) + 7\right) \cdot \left({\left(z - 1\right)}^{3} + {8}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)\right)}{\left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(8 \cdot 8 - \left(z - 1\right) \cdot 8\right)\right) \cdot \left(\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)\right)}} \cdot \frac{{\left(z - 1\right)}^{3} + {6}^{3}}{\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)}\right) \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  28. Applied frac-times1.0

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\color{blue}{\frac{\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left({\left(z - 1\right)}^{3} + {8}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)\right)\right) \cdot \left({\left(z - 1\right)}^{3} + {6}^{3}\right)}{\left(\left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(8 \cdot 8 - \left(z - 1\right) \cdot 8\right)\right) \cdot \left(\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)\right)}} \cdot \frac{e^{z}}{e^{\left(1 - 7\right) - 0.5}}}\]

  29. Applied frac-times0.6

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\color{blue}{\frac{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left({\left(z - 1\right)}^{3} + {8}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)\right)\right) \cdot \left({\left(z - 1\right)}^{3} + {6}^{3}\right)\right) \cdot e^{z}}{\left(\left(\left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(8 \cdot 8 - \left(z - 1\right) \cdot 8\right)\right) \cdot \left(\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)\right)\right) \cdot e^{\left(1 - 7\right) - 0.5}}}}\]

  30. Applied associate-/r/0.6

    \[\leadsto \color{blue}{\frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left({\left(z - 1\right)}^{3} + {8}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)\right)\right) \cdot \left({\left(z - 1\right)}^{3} + {6}^{3}\right)\right) \cdot e^{z}} \cdot \left(\left(\left(\left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(8 \cdot 8 - \left(z - 1\right) \cdot 8\right)\right) \cdot \left(\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)\right)\right) \cdot e^{\left(1 - 7\right) - 0.5}\right)}\]

  31. Final simplification0.6

    \[\leadsto \frac{\mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.98436957801957158 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.50563273514931162 \cdot 10^{-7}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right), \mathsf{fma}\left(\mathsf{fma}\left({0.99999999999980993}^{3} + {\left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2}\right)}^{3}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right), \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \mathsf{fma}\left(676.520368121885099, \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}, z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right)\right), \left(z - 1\right) + 3, \mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot 771.32342877765313\right)\right) \cdot \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right)\right), \left(z - 1\right) + 6, \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) + 3\right)\right)\right)\right) \cdot -0.138571095265720118\right) \cdot \left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right)}{\left(\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left({\left(z - 1\right)}^{3} + {8}^{3}\right)\right) \cdot \left(\mathsf{fma}\left(0.99999999999980993, 0.99999999999980993, \frac{-1259.13921672240281}{\left(z - 1\right) + 2} \cdot \left(\frac{-1259.13921672240281}{\left(z - 1\right) + 2} - 0.99999999999980993\right)\right) \cdot \left(\left(z \cdot \left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} \cdot \frac{-176.615029162140587}{\left(z - 1\right) + 4} - \frac{12.5073432786869052}{\left(z - 1\right) + 5} \cdot \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) - 3 \cdot 3\right)\right)\right)\right) \cdot \left({\left(z - 1\right)}^{3} + {6}^{3}\right)\right) \cdot e^{z}} \cdot \left(\left(\left(\left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(8 \cdot 8 - \left(z - 1\right) \cdot 8\right)\right) \cdot \left(\left(\frac{-176.615029162140587}{\left(z - 1\right) + 4} + \frac{12.5073432786869052}{\left(z - 1\right) + 5}\right) \cdot \left(\left(z - 1\right) - 3\right)\right)\right) \cdot \left(\left(z - 1\right) \cdot \left(z - 1\right) + \left(6 \cdot 6 - \left(z - 1\right) \cdot 6\right)\right)\right) \cdot e^{\left(1 - 7\right) - 0.5}\right)\]

Reproduce

herbie shell --seed 2020046 +o rules:numerics
(FPCore (z)
  :name "Jmat.Real.gamma, branch z greater than 0.5"
  :precision binary64
  (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- z 1) 7) 0.5) (+ (- z 1) 0.5))) (exp (- (+ (+ (- z 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1) 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (/ 771.3234287776531 (+ (- z 1) 3))) (/ -176.6150291621406 (+ (- z 1) 4))) (/ 12.507343278686905 (+ (- z 1) 5))) (/ -0.13857109526572012 (+ (- z 1) 6))) (/ 9.984369578019572e-06 (+ (- z 1) 7))) (/ 1.5056327351493116e-07 (+ (- z 1) 8)))))