Average Error: 61.6 → 0.6
Time: 2.5m
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.9999999999998099298181841732002794742584 + \frac{676.5203681218850988443591631948947906494}{\left(z - 1\right) + 1}\right) + \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)\]
↓
\[\frac{\frac{\left({\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.984369578019571583242346146658263705831 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.505632735149311617592788074479481785772 \cdot 10^{-7}\right), \left(z - 1\right) + 5, \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot 12.50734327868690520801919774385169148445\right), \left(\left(z - 1\right) + 4\right) \cdot \left(\mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \left(\mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z\right)\right), \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \mathsf{fma}\left(-176.6150291621405870046146446838974952698, \mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \left(\mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z\right), \left(\left(z - 1\right) + 4\right) \cdot \mathsf{fma}\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}, \mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z, \mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \mathsf{fma}\left(676.5203681218850988443591631948947906494, \mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right), z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)\right)\right)\right)}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}}}{\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \left(\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)\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.9999999999998099298181841732002794742584 + \frac{676.5203681218850988443591631948947906494}{\left(z - 1\right) + 1}\right) + \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)
↓
\frac{\frac{\left({\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.984369578019571583242346146658263705831 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.505632735149311617592788074479481785772 \cdot 10^{-7}\right), \left(z - 1\right) + 5, \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot 12.50734327868690520801919774385169148445\right), \left(\left(z - 1\right) + 4\right) \cdot \left(\mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \left(\mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z\right)\right), \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \mathsf{fma}\left(-176.6150291621405870046146446838974952698, \mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \left(\mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z\right), \left(\left(z - 1\right) + 4\right) \cdot \mathsf{fma}\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}, \mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z, \mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \mathsf{fma}\left(676.5203681218850988443591631948947906494, \mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right), z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)\right)\right)\right)}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}}}{\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \left(\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)\right)}
double f(double z) {
        double r140093 = atan2(1.0, 0.0);
        double r140094 = 2.0;
        double r140095 = r140093 * r140094;
        double r140096 = sqrt(r140095);
        double r140097 = z;
        double r140098 = 1.0;
        double r140099 = r140097 - r140098;
        double r140100 = 7.0;
        double r140101 = r140099 + r140100;
        double r140102 = 0.5;
        double r140103 = r140101 + r140102;
        double r140104 = r140099 + r140102;
        double r140105 = pow(r140103, r140104);
        double r140106 = r140096 * r140105;
        double r140107 = -r140103;
        double r140108 = exp(r140107);
        double r140109 = r140106 * r140108;
        double r140110 = 0.9999999999998099;
        double r140111 = 676.5203681218851;
        double r140112 = r140099 + r140098;
        double r140113 = r140111 / r140112;
        double r140114 = r140110 + r140113;
        double r140115 = -1259.1392167224028;
        double r140116 = r140099 + r140094;
        double r140117 = r140115 / r140116;
        double r140118 = r140114 + r140117;
        double r140119 = 771.3234287776531;
        double r140120 = 3.0;
        double r140121 = r140099 + r140120;
        double r140122 = r140119 / r140121;
        double r140123 = r140118 + r140122;
        double r140124 = -176.6150291621406;
        double r140125 = 4.0;
        double r140126 = r140099 + r140125;
        double r140127 = r140124 / r140126;
        double r140128 = r140123 + r140127;
        double r140129 = 12.507343278686905;
        double r140130 = 5.0;
        double r140131 = r140099 + r140130;
        double r140132 = r140129 / r140131;
        double r140133 = r140128 + r140132;
        double r140134 = -0.13857109526572012;
        double r140135 = 6.0;
        double r140136 = r140099 + r140135;
        double r140137 = r140134 / r140136;
        double r140138 = r140133 + r140137;
        double r140139 = 9.984369578019572e-06;
        double r140140 = r140139 / r140101;
        double r140141 = r140138 + r140140;
        double r140142 = 1.5056327351493116e-07;
        double r140143 = 8.0;
        double r140144 = r140099 + r140143;
        double r140145 = r140142 / r140144;
        double r140146 = r140141 + r140145;
        double r140147 = r140109 * r140146;
        return r140147;
}
↓
double f(double z) {
        double r140148 = z;
        double r140149 = 1.0;
        double r140150 = r140148 - r140149;
        double r140151 = 7.0;
        double r140152 = r140150 + r140151;
        double r140153 = 0.5;
        double r140154 = r140152 + r140153;
        double r140155 = r140150 + r140153;
        double r140156 = pow(r140154, r140155);
        double r140157 = atan2(1.0, 0.0);
        double r140158 = 2.0;
        double r140159 = r140157 * r140158;
        double r140160 = sqrt(r140159);
        double r140161 = r140156 * r140160;
        double r140162 = 9.984369578019572e-06;
        double r140163 = 8.0;
        double r140164 = r140150 + r140163;
        double r140165 = 1.5056327351493116e-07;
        double r140166 = r140152 * r140165;
        double r140167 = fma(r140162, r140164, r140166);
        double r140168 = 5.0;
        double r140169 = r140150 + r140168;
        double r140170 = r140152 * r140164;
        double r140171 = 12.507343278686905;
        double r140172 = r140170 * r140171;
        double r140173 = fma(r140167, r140169, r140172);
        double r140174 = 4.0;
        double r140175 = r140150 + r140174;
        double r140176 = -0.13857109526572012;
        double r140177 = 6.0;
        double r140178 = r140150 + r140177;
        double r140179 = r140176 / r140178;
        double r140180 = 771.3234287776531;
        double r140181 = 3.0;
        double r140182 = r140150 + r140181;
        double r140183 = r140180 / r140182;
        double r140184 = r140183 - r140179;
        double r140185 = r140183 * r140184;
        double r140186 = fma(r140179, r140179, r140185);
        double r140187 = -1259.1392167224028;
        double r140188 = r140150 + r140158;
        double r140189 = r140187 / r140188;
        double r140190 = 0.9999999999998099;
        double r140191 = r140190 - r140189;
        double r140192 = r140190 * r140191;
        double r140193 = fma(r140189, r140189, r140192);
        double r140194 = r140193 * r140148;
        double r140195 = r140186 * r140194;
        double r140196 = r140175 * r140195;
        double r140197 = r140170 * r140169;
        double r140198 = -176.6150291621406;
        double r140199 = 3.0;
        double r140200 = pow(r140179, r140199);
        double r140201 = pow(r140183, r140199);
        double r140202 = r140200 + r140201;
        double r140203 = 676.5203681218851;
        double r140204 = pow(r140189, r140199);
        double r140205 = pow(r140190, r140199);
        double r140206 = r140204 + r140205;
        double r140207 = r140148 * r140206;
        double r140208 = fma(r140203, r140193, r140207);
        double r140209 = r140186 * r140208;
        double r140210 = fma(r140202, r140194, r140209);
        double r140211 = r140175 * r140210;
        double r140212 = fma(r140198, r140195, r140211);
        double r140213 = r140197 * r140212;
        double r140214 = fma(r140173, r140196, r140213);
        double r140215 = r140161 * r140214;
        double r140216 = exp(r140154);
        double r140217 = r140215 / r140216;
        double r140218 = r140179 * r140179;
        double r140219 = r140183 * r140183;
        double r140220 = r140179 * r140183;
        double r140221 = r140219 - r140220;
        double r140222 = r140218 + r140221;
        double r140223 = r140189 * r140189;
        double r140224 = r140190 * r140190;
        double r140225 = r140189 * r140190;
        double r140226 = r140224 - r140225;
        double r140227 = r140223 + r140226;
        double r140228 = r140148 * r140227;
        double r140229 = r140222 * r140228;
        double r140230 = r140175 * r140229;
        double r140231 = r140197 * r140230;
        double r140232 = r140217 / r140231;
        return r140232;
}

Error

Bits error versus z

Derivation

  1. Initial program 61.6

    \[\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.9999999999998099298181841732002794742584 + \frac{676.5203681218850988443591631948947906494}{\left(z - 1\right) + 1}\right) + \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)\]

  2. Simplified1.2

    \[\leadsto \color{blue}{\frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} + \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right) + \left(\frac{676.5203681218850988443591631948947906494}{z} + \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + 0.9999999999998099298181841732002794742584\right)\right)\right)\right)\right)}\]
  3. Using strategy rm

  4. Applied flip3-+1.2

    \[\leadsto \frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} + \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right) + \left(\frac{676.5203681218850988443591631948947906494}{z} + \color{blue}{\frac{{\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}}{\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)}}\right)\right)\right)\right)\]

  5. Applied frac-add1.1

    \[\leadsto \frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} + \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right) + \color{blue}{\frac{676.5203681218850988443591631948947906494 \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right) + z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)}{z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)}}\right)\right)\right)\]

  6. Applied flip3-+1.1

    \[\leadsto \frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} + \left(\color{blue}{\frac{{\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}}{\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}} + \frac{676.5203681218850988443591631948947906494 \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right) + z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)}{z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)}\right)\right)\right)\]

  7. Applied frac-add1.4

    \[\leadsto \frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} + \color{blue}{\frac{\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right) + \left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right) + z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)}{\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)}}\right)\right)\]

  8. Applied frac-add1.5

    \[\leadsto \frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{\left(z - 1\right) + 7} + \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \color{blue}{\frac{-176.6150291621405870046146446838974952698 \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right) + \left(\left(z - 1\right) + 4\right) \cdot \left(\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right) + \left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right) + z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)\right)}{\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)}}\right)\]

  9. Applied frac-add1.5

    \[\leadsto \frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\color{blue}{\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6} \cdot \left(\left(z - 1\right) + 8\right) + \left(\left(z - 1\right) + 7\right) \cdot 1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)}} + \frac{12.50734327868690520801919774385169148445}{\left(z - 1\right) + 5}\right) + \frac{-176.6150291621405870046146446838974952698 \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right) + \left(\left(z - 1\right) + 4\right) \cdot \left(\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right) + \left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right) + z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)\right)}{\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)}\right)\]

  10. Applied frac-add1.5

    \[\leadsto \frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\color{blue}{\frac{\left(9.984369578019571583242346146658263705831 \cdot 10^{-6} \cdot \left(\left(z - 1\right) + 8\right) + \left(\left(z - 1\right) + 7\right) \cdot 1.505632735149311617592788074479481785772 \cdot 10^{-7}\right) \cdot \left(\left(z - 1\right) + 5\right) + \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot 12.50734327868690520801919774385169148445}{\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)}} + \frac{-176.6150291621405870046146446838974952698 \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right) + \left(\left(z - 1\right) + 4\right) \cdot \left(\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right) + \left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right) + z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)\right)}{\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)}\right)\]

  11. Applied frac-add1.2

    \[\leadsto \frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \color{blue}{\frac{\left(\left(9.984369578019571583242346146658263705831 \cdot 10^{-6} \cdot \left(\left(z - 1\right) + 8\right) + \left(\left(z - 1\right) + 7\right) \cdot 1.505632735149311617592788074479481785772 \cdot 10^{-7}\right) \cdot \left(\left(z - 1\right) + 5\right) + \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot 12.50734327868690520801919774385169148445\right) \cdot \left(\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)\right) + \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \left(-176.6150291621405870046146446838974952698 \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right) + \left(\left(z - 1\right) + 4\right) \cdot \left(\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right) + \left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right) + z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)\right)\right)}{\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \left(\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)\right)}}\]

  12. Applied associate-*r/0.8

    \[\leadsto \color{blue}{\frac{\frac{{\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}} \cdot \left(\left(\left(9.984369578019571583242346146658263705831 \cdot 10^{-6} \cdot \left(\left(z - 1\right) + 8\right) + \left(\left(z - 1\right) + 7\right) \cdot 1.505632735149311617592788074479481785772 \cdot 10^{-7}\right) \cdot \left(\left(z - 1\right) + 5\right) + \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot 12.50734327868690520801919774385169148445\right) \cdot \left(\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)\right) + \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \left(-176.6150291621405870046146446838974952698 \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right) + \left(\left(z - 1\right) + 4\right) \cdot \left(\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right) + \left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right) + z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)\right)\right)\right)}{\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \left(\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)\right)}}\]

  13. Simplified0.6

    \[\leadsto \frac{\color{blue}{\frac{\left({\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.984369578019571583242346146658263705831 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.505632735149311617592788074479481785772 \cdot 10^{-7}\right), \left(z - 1\right) + 5, \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot 12.50734327868690520801919774385169148445\right), \left(\left(z - 1\right) + 4\right) \cdot \left(\mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \left(\mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z\right)\right), \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \mathsf{fma}\left(-176.6150291621405870046146446838974952698, \mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \left(\mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z\right), \left(\left(z - 1\right) + 4\right) \cdot \mathsf{fma}\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}, \mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z, \mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \mathsf{fma}\left(676.5203681218850988443591631948947906494, \mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right), z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)\right)\right)\right)}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}}}}{\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \left(\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)\right)}\]

  14. Final simplification0.6

    \[\leadsto \frac{\frac{\left({\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot \sqrt{\pi \cdot 2}\right) \cdot \mathsf{fma}\left(\mathsf{fma}\left(\mathsf{fma}\left(9.984369578019571583242346146658263705831 \cdot 10^{-6}, \left(z - 1\right) + 8, \left(\left(z - 1\right) + 7\right) \cdot 1.505632735149311617592788074479481785772 \cdot 10^{-7}\right), \left(z - 1\right) + 5, \left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot 12.50734327868690520801919774385169148445\right), \left(\left(z - 1\right) + 4\right) \cdot \left(\mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \left(\mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z\right)\right), \left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \mathsf{fma}\left(-176.6150291621405870046146446838974952698, \mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \left(\mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z\right), \left(\left(z - 1\right) + 4\right) \cdot \mathsf{fma}\left({\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)}^{3}, \mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right) \cdot z, \mathsf{fma}\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}, \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \mathsf{fma}\left(676.5203681218850988443591631948947906494, \mathsf{fma}\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}, 0.9999999999998099298181841732002794742584 \cdot \left(0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)\right), z \cdot \left({\left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2}\right)}^{3} + {0.9999999999998099298181841732002794742584}^{3}\right)\right)\right)\right)\right)}{e^{\left(\left(z - 1\right) + 7\right) + 0.5}}}{\left(\left(\left(\left(z - 1\right) + 7\right) \cdot \left(\left(z - 1\right) + 8\right)\right) \cdot \left(\left(z - 1\right) + 5\right)\right) \cdot \left(\left(\left(z - 1\right) + 4\right) \cdot \left(\left(\frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} + \left(\frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3} - \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6} \cdot \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) \cdot \left(z \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} \cdot 0.9999999999998099298181841732002794742584\right)\right)\right)\right)\right)}\]

Reproduce

herbie shell --seed 2019304 +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.99999999999980993 (/ 676.520368121885099 (+ (- z 1) 1))) (/ -1259.13921672240281 (+ (- z 1) 2))) (/ 771.32342877765313 (+ (- z 1) 3))) (/ -176.615029162140587 (+ (- z 1) 4))) (/ 12.5073432786869052 (+ (- z 1) 5))) (/ -0.138571095265720118 (+ (- z 1) 6))) (/ 9.98436957801957158e-6 (+ (- z 1) 7))) (/ 1.50563273514931162e-7 (+ (- z 1) 8)))))