Average Error: 61.6 → 0.5
Time: 4.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{\left(\left(\left(\left(4 + z\right) - 1\right) \cdot \left(\left(\left(2 + \left(z - 1\right)\right) \cdot \left(\left(\left(z - 1\right) + 3\right) \cdot z\right)\right) \cdot \left({0.9999999999998099298181841732002794742584}^{3} + {\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)}\right)}^{3}\right)\right) + \left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} \cdot \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} + \left(0.9999999999998099298181841732002794742584 - \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)}\right) \cdot 0.9999999999998099298181841732002794742584\right) \cdot \left(\left(\left(\left(z - 1\right) + 3\right) \cdot \left(z \cdot -1259.139216722402807135949842631816864014 + 676.5203681218850988443591631948947906494 \cdot \left(2 + \left(z - 1\right)\right)\right) + 771.3234287776531346025876700878143310547 \cdot \left(z \cdot \left(2 + \left(z - 1\right)\right)\right)\right) \cdot \left(\left(4 + z\right) - 1\right) + -176.6150291621405870046146446838974952698 \cdot \left(\left(2 + \left(z - 1\right)\right) \cdot \left(\left(\left(z - 1\right) + 3\right) \cdot z\right)\right)\right)\right) \cdot \left(\left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) \cdot \left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) + \left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\right)} - \left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\right)}\right) + \left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} \cdot \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} + \left(0.9999999999998099298181841732002794742584 - \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)}\right) \cdot 0.9999999999998099298181841732002794742584\right) \cdot \left(\left(\left(\left(4 + z\right) - 1\right) \cdot \left(\left(2 + \left(z - 1\right)\right) \cdot \left(\left(\left(z - 1\right) + 3\right) \cdot z\right)\right)\right) \cdot \left({\left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\right)}\right)}^{3}\right)\right)\right) \cdot \left({\left(\left(7 + \left(z - 1\right)\right) + 0.5\right)}^{z} \cdot \sqrt{2 \cdot \pi}\right)}{\left({\left(\left(7 + \left(z - 1\right)\right) + 0.5\right)}^{\left(1 - 0.5\right)} \cdot e^{\left(7 + \left(z - 1\right)\right) + 0.5}\right) \cdot \left(\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} \cdot \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} + \left(0.9999999999998099298181841732002794742584 - \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)}\right) \cdot 0.9999999999998099298181841732002794742584\right) \cdot \left(\left(\left(\left(4 + z\right) - 1\right) \cdot \left(\left(2 + \left(z - 1\right)\right) \cdot \left(\left(\left(z - 1\right) + 3\right) \cdot z\right)\right)\right) \cdot \left(\left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) \cdot \left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) + \left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\right)} - \left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\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{\left(\left(\left(\left(4 + z\right) - 1\right) \cdot \left(\left(\left(2 + \left(z - 1\right)\right) \cdot \left(\left(\left(z - 1\right) + 3\right) \cdot z\right)\right) \cdot \left({0.9999999999998099298181841732002794742584}^{3} + {\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)}\right)}^{3}\right)\right) + \left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} \cdot \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} + \left(0.9999999999998099298181841732002794742584 - \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)}\right) \cdot 0.9999999999998099298181841732002794742584\right) \cdot \left(\left(\left(\left(z - 1\right) + 3\right) \cdot \left(z \cdot -1259.139216722402807135949842631816864014 + 676.5203681218850988443591631948947906494 \cdot \left(2 + \left(z - 1\right)\right)\right) + 771.3234287776531346025876700878143310547 \cdot \left(z \cdot \left(2 + \left(z - 1\right)\right)\right)\right) \cdot \left(\left(4 + z\right) - 1\right) + -176.6150291621405870046146446838974952698 \cdot \left(\left(2 + \left(z - 1\right)\right) \cdot \left(\left(\left(z - 1\right) + 3\right) \cdot z\right)\right)\right)\right) \cdot \left(\left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) \cdot \left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) + \left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\right)} - \left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\right)}\right) + \left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} \cdot \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} + \left(0.9999999999998099298181841732002794742584 - \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)}\right) \cdot 0.9999999999998099298181841732002794742584\right) \cdot \left(\left(\left(\left(4 + z\right) - 1\right) \cdot \left(\left(2 + \left(z - 1\right)\right) \cdot \left(\left(\left(z - 1\right) + 3\right) \cdot z\right)\right)\right) \cdot \left({\left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)}^{3} + {\left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\right)}\right)}^{3}\right)\right)\right) \cdot \left({\left(\left(7 + \left(z - 1\right)\right) + 0.5\right)}^{z} \cdot \sqrt{2 \cdot \pi}\right)}{\left({\left(\left(7 + \left(z - 1\right)\right) + 0.5\right)}^{\left(1 - 0.5\right)} \cdot e^{\left(7 + \left(z - 1\right)\right) + 0.5}\right) \cdot \left(\left(\frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} \cdot \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)} + \left(0.9999999999998099298181841732002794742584 - \frac{9.984369578019571583242346146658263705831 \cdot 10^{-6}}{7 + \left(z - 1\right)}\right) \cdot 0.9999999999998099298181841732002794742584\right) \cdot \left(\left(\left(\left(4 + z\right) - 1\right) \cdot \left(\left(2 + \left(z - 1\right)\right) \cdot \left(\left(\left(z - 1\right) + 3\right) \cdot z\right)\right)\right) \cdot \left(\left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) \cdot \left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right) + \left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\right)} - \left(\frac{12.50734327868690520801919774385169148445}{z - \left(1 - 5\right)} + \frac{-0.1385710952657201178173096423051902092993}{\left(z - 1\right) + 6}\right)\right) \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{8 + \left(z - 1\right)}\right)\right)\right)}
double f(double z) {
        double r189195 = atan2(1.0, 0.0);
        double r189196 = 2.0;
        double r189197 = r189195 * r189196;
        double r189198 = sqrt(r189197);
        double r189199 = z;
        double r189200 = 1.0;
        double r189201 = r189199 - r189200;
        double r189202 = 7.0;
        double r189203 = r189201 + r189202;
        double r189204 = 0.5;
        double r189205 = r189203 + r189204;
        double r189206 = r189201 + r189204;
        double r189207 = pow(r189205, r189206);
        double r189208 = r189198 * r189207;
        double r189209 = -r189205;
        double r189210 = exp(r189209);
        double r189211 = r189208 * r189210;
        double r189212 = 0.9999999999998099;
        double r189213 = 676.5203681218851;
        double r189214 = r189201 + r189200;
        double r189215 = r189213 / r189214;
        double r189216 = r189212 + r189215;
        double r189217 = -1259.1392167224028;
        double r189218 = r189201 + r189196;
        double r189219 = r189217 / r189218;
        double r189220 = r189216 + r189219;
        double r189221 = 771.3234287776531;
        double r189222 = 3.0;
        double r189223 = r189201 + r189222;
        double r189224 = r189221 / r189223;
        double r189225 = r189220 + r189224;
        double r189226 = -176.6150291621406;
        double r189227 = 4.0;
        double r189228 = r189201 + r189227;
        double r189229 = r189226 / r189228;
        double r189230 = r189225 + r189229;
        double r189231 = 12.507343278686905;
        double r189232 = 5.0;
        double r189233 = r189201 + r189232;
        double r189234 = r189231 / r189233;
        double r189235 = r189230 + r189234;
        double r189236 = -0.13857109526572012;
        double r189237 = 6.0;
        double r189238 = r189201 + r189237;
        double r189239 = r189236 / r189238;
        double r189240 = r189235 + r189239;
        double r189241 = 9.984369578019572e-06;
        double r189242 = r189241 / r189203;
        double r189243 = r189240 + r189242;
        double r189244 = 1.5056327351493116e-07;
        double r189245 = 8.0;
        double r189246 = r189201 + r189245;
        double r189247 = r189244 / r189246;
        double r189248 = r189243 + r189247;
        double r189249 = r189211 * r189248;
        return r189249;
}
↓
double f(double z) {
        double r189250 = 4.0;
        double r189251 = z;
        double r189252 = r189250 + r189251;
        double r189253 = 1.0;
        double r189254 = r189252 - r189253;
        double r189255 = 2.0;
        double r189256 = r189251 - r189253;
        double r189257 = r189255 + r189256;
        double r189258 = 3.0;
        double r189259 = r189256 + r189258;
        double r189260 = r189259 * r189251;
        double r189261 = r189257 * r189260;
        double r189262 = 0.9999999999998099;
        double r189263 = 3.0;
        double r189264 = pow(r189262, r189263);
        double r189265 = 9.984369578019572e-06;
        double r189266 = 7.0;
        double r189267 = r189266 + r189256;
        double r189268 = r189265 / r189267;
        double r189269 = pow(r189268, r189263);
        double r189270 = r189264 + r189269;
        double r189271 = r189261 * r189270;
        double r189272 = r189254 * r189271;
        double r189273 = r189268 * r189268;
        double r189274 = r189262 - r189268;
        double r189275 = r189274 * r189262;
        double r189276 = r189273 + r189275;
        double r189277 = -1259.1392167224028;
        double r189278 = r189251 * r189277;
        double r189279 = 676.5203681218851;
        double r189280 = r189279 * r189257;
        double r189281 = r189278 + r189280;
        double r189282 = r189259 * r189281;
        double r189283 = 771.3234287776531;
        double r189284 = r189251 * r189257;
        double r189285 = r189283 * r189284;
        double r189286 = r189282 + r189285;
        double r189287 = r189286 * r189254;
        double r189288 = -176.6150291621406;
        double r189289 = r189288 * r189261;
        double r189290 = r189287 + r189289;
        double r189291 = r189276 * r189290;
        double r189292 = r189272 + r189291;
        double r189293 = 12.507343278686905;
        double r189294 = 5.0;
        double r189295 = r189253 - r189294;
        double r189296 = r189251 - r189295;
        double r189297 = r189293 / r189296;
        double r189298 = -0.13857109526572012;
        double r189299 = 6.0;
        double r189300 = r189256 + r189299;
        double r189301 = r189298 / r189300;
        double r189302 = r189297 + r189301;
        double r189303 = r189302 * r189302;
        double r189304 = 1.5056327351493116e-07;
        double r189305 = 8.0;
        double r189306 = r189305 + r189256;
        double r189307 = r189304 / r189306;
        double r189308 = r189307 - r189302;
        double r189309 = r189308 * r189307;
        double r189310 = r189303 + r189309;
        double r189311 = r189292 * r189310;
        double r189312 = r189254 * r189261;
        double r189313 = pow(r189302, r189263);
        double r189314 = pow(r189307, r189263);
        double r189315 = r189313 + r189314;
        double r189316 = r189312 * r189315;
        double r189317 = r189276 * r189316;
        double r189318 = r189311 + r189317;
        double r189319 = 0.5;
        double r189320 = r189267 + r189319;
        double r189321 = pow(r189320, r189251);
        double r189322 = atan2(1.0, 0.0);
        double r189323 = r189255 * r189322;
        double r189324 = sqrt(r189323);
        double r189325 = r189321 * r189324;
        double r189326 = r189318 * r189325;
        double r189327 = r189253 - r189319;
        double r189328 = pow(r189320, r189327);
        double r189329 = exp(r189320);
        double r189330 = r189328 * r189329;
        double r189331 = r189312 * r189310;
        double r189332 = r189276 * r189331;
        double r189333 = r189330 * r189332;
        double r189334 = r189326 / r189333;
        return r189334;
}

Error

Bits error versus z

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

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.0

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

  4. Applied pow-sub1.0

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

  5. Applied flip3-+1.0

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

  6. Applied frac-add1.0

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

  7. Applied frac-add1.0

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

  8. Applied frac-add1.3

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

  9. Applied flip3-+1.3

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

  10. Applied frac-add1.2

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

  11. Applied frac-add1.2

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

  12. Applied frac-times1.1

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

  13. Applied frac-times0.6

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

  14. Simplified0.6

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

  15. Simplified0.5

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

  16. Final simplification0.5

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

Reproduce

herbie shell --seed 2019174 
(FPCore (z)
  :name "Jmat.Real.gamma, branch z greater than 0.5"
  (* (* (* (sqrt (* PI 2.0)) (pow (+ (+ (- z 1.0) 7.0) 0.5) (+ (- z 1.0) 0.5))) (exp (- (+ (+ (- z 1.0) 7.0) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1.0) 1.0))) (/ -1259.1392167224028 (+ (- z 1.0) 2.0))) (/ 771.3234287776531 (+ (- z 1.0) 3.0))) (/ -176.6150291621406 (+ (- z 1.0) 4.0))) (/ 12.507343278686905 (+ (- z 1.0) 5.0))) (/ -0.13857109526572012 (+ (- z 1.0) 6.0))) (/ 9.984369578019572e-06 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-07 (+ (- z 1.0) 8.0)))))