Average Error: 61.6 → 0.7
Time: 3.0m
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)\]
↓
\[\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 \frac{\left(\left({\left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)}^{3} + {\left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right)}^{3}\right) \cdot \left(\left(\left(\left(z - 1\right) + 5\right) \cdot z\right) \cdot \left(0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right)\right) + \left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} + \left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} - \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right)\right) \cdot \left(\left(12.50734327868690520801919774385169148445 \cdot z + \left(\left(z - 1\right) + 5\right) \cdot 676.5203681218850988443591631948947906494\right) \cdot \left(0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) + \left(\left(\left(z - 1\right) + 5\right) \cdot z\right) \cdot \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right) \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right)\right)\right) \cdot \left(\left(\left(z - 1\right) + 6\right) \cdot \left(\left(z - 1\right) + 7\right)\right) + \left(\left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} + \left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} - \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right)\right) \cdot \left(\left(\left(\left(z - 1\right) + 5\right) \cdot z\right) \cdot \left(0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right)\right)\right) \cdot \left(-0.1385710952657201178173096423051902092993 \cdot \left(\left(z - 1\right) + 7\right) + \left(\left(z - 1\right) + 6\right) \cdot 9.984369578019571583242346146658263705831 \cdot 10^{-6}\right)}{e^{\left(\left(z - 1\right) + 7\right) + 0.5} \cdot \left(\left(\left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} + \left(\frac{1}{\sqrt{\left(z - 1\right) + 4}} \cdot \left(\frac{-176.6150291621405870046146446838974952698}{\sqrt{\left(z - 1\right) + 4}} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right) - \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right)\right) \cdot \left(\left(\left(\left(z - 1\right) + 5\right) \cdot z\right) \cdot \left(0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right)\right)\right) \cdot \left(\left(\left(z - 1\right) + 6\right) \cdot \left(\left(z - 1\right) + 7\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)
↓
\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 \frac{\left(\left({\left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)}^{3} + {\left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right)}^{3}\right) \cdot \left(\left(\left(\left(z - 1\right) + 5\right) \cdot z\right) \cdot \left(0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right)\right) + \left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} + \left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} - \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right)\right) \cdot \left(\left(12.50734327868690520801919774385169148445 \cdot z + \left(\left(z - 1\right) + 5\right) \cdot 676.5203681218850988443591631948947906494\right) \cdot \left(0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right) + \left(\left(\left(z - 1\right) + 5\right) \cdot z\right) \cdot \left(0.9999999999998099298181841732002794742584 \cdot 0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right) \cdot \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right)\right)\right) \cdot \left(\left(\left(z - 1\right) + 6\right) \cdot \left(\left(z - 1\right) + 7\right)\right) + \left(\left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} + \left(\frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4} - \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right)\right) \cdot \left(\left(\left(\left(z - 1\right) + 5\right) \cdot z\right) \cdot \left(0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right)\right)\right) \cdot \left(-0.1385710952657201178173096423051902092993 \cdot \left(\left(z - 1\right) + 7\right) + \left(\left(z - 1\right) + 6\right) \cdot 9.984369578019571583242346146658263705831 \cdot 10^{-6}\right)}{e^{\left(\left(z - 1\right) + 7\right) + 0.5} \cdot \left(\left(\left(\frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} + \left(\frac{1}{\sqrt{\left(z - 1\right) + 4}} \cdot \left(\frac{-176.6150291621405870046146446838974952698}{\sqrt{\left(z - 1\right) + 4}} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right) - \frac{1.505632735149311617592788074479481785772 \cdot 10^{-7}}{\left(z - 1\right) + 8} \cdot \frac{-176.6150291621405870046146446838974952698}{\left(z - 1\right) + 4}\right)\right) \cdot \left(\left(\left(\left(z - 1\right) + 5\right) \cdot z\right) \cdot \left(0.9999999999998099298181841732002794742584 - \left(\frac{-1259.139216722402807135949842631816864014}{\left(z - 1\right) + 2} + \frac{771.3234287776531346025876700878143310547}{\left(z - 1\right) + 3}\right)\right)\right)\right) \cdot \left(\left(\left(z - 1\right) + 6\right) \cdot \left(\left(z - 1\right) + 7\right)\right)\right)}
double f(double z) {
        double r15635117 = atan2(1.0, 0.0);
        double r15635118 = 2.0;
        double r15635119 = r15635117 * r15635118;
        double r15635120 = sqrt(r15635119);
        double r15635121 = z;
        double r15635122 = 1.0;
        double r15635123 = r15635121 - r15635122;
        double r15635124 = 7.0;
        double r15635125 = r15635123 + r15635124;
        double r15635126 = 0.5;
        double r15635127 = r15635125 + r15635126;
        double r15635128 = r15635123 + r15635126;
        double r15635129 = pow(r15635127, r15635128);
        double r15635130 = r15635120 * r15635129;
        double r15635131 = -r15635127;
        double r15635132 = exp(r15635131);
        double r15635133 = r15635130 * r15635132;
        double r15635134 = 0.9999999999998099;
        double r15635135 = 676.5203681218851;
        double r15635136 = r15635123 + r15635122;
        double r15635137 = r15635135 / r15635136;
        double r15635138 = r15635134 + r15635137;
        double r15635139 = -1259.1392167224028;
        double r15635140 = r15635123 + r15635118;
        double r15635141 = r15635139 / r15635140;
        double r15635142 = r15635138 + r15635141;
        double r15635143 = 771.3234287776531;
        double r15635144 = 3.0;
        double r15635145 = r15635123 + r15635144;
        double r15635146 = r15635143 / r15635145;
        double r15635147 = r15635142 + r15635146;
        double r15635148 = -176.6150291621406;
        double r15635149 = 4.0;
        double r15635150 = r15635123 + r15635149;
        double r15635151 = r15635148 / r15635150;
        double r15635152 = r15635147 + r15635151;
        double r15635153 = 12.507343278686905;
        double r15635154 = 5.0;
        double r15635155 = r15635123 + r15635154;
        double r15635156 = r15635153 / r15635155;
        double r15635157 = r15635152 + r15635156;
        double r15635158 = -0.13857109526572012;
        double r15635159 = 6.0;
        double r15635160 = r15635123 + r15635159;
        double r15635161 = r15635158 / r15635160;
        double r15635162 = r15635157 + r15635161;
        double r15635163 = 9.984369578019572e-06;
        double r15635164 = r15635163 / r15635125;
        double r15635165 = r15635162 + r15635164;
        double r15635166 = 1.5056327351493116e-07;
        double r15635167 = 8.0;
        double r15635168 = r15635123 + r15635167;
        double r15635169 = r15635166 / r15635168;
        double r15635170 = r15635165 + r15635169;
        double r15635171 = r15635133 * r15635170;
        return r15635171;
}
↓
double f(double z) {
        double r15635172 = atan2(1.0, 0.0);
        double r15635173 = 2.0;
        double r15635174 = r15635172 * r15635173;
        double r15635175 = sqrt(r15635174);
        double r15635176 = z;
        double r15635177 = 1.0;
        double r15635178 = r15635176 - r15635177;
        double r15635179 = 7.0;
        double r15635180 = r15635178 + r15635179;
        double r15635181 = 0.5;
        double r15635182 = r15635180 + r15635181;
        double r15635183 = r15635178 + r15635181;
        double r15635184 = pow(r15635182, r15635183);
        double r15635185 = r15635175 * r15635184;
        double r15635186 = 1.5056327351493116e-07;
        double r15635187 = 8.0;
        double r15635188 = r15635178 + r15635187;
        double r15635189 = r15635186 / r15635188;
        double r15635190 = 3.0;
        double r15635191 = pow(r15635189, r15635190);
        double r15635192 = -176.6150291621406;
        double r15635193 = 4.0;
        double r15635194 = r15635178 + r15635193;
        double r15635195 = r15635192 / r15635194;
        double r15635196 = pow(r15635195, r15635190);
        double r15635197 = r15635191 + r15635196;
        double r15635198 = 5.0;
        double r15635199 = r15635178 + r15635198;
        double r15635200 = r15635199 * r15635176;
        double r15635201 = 0.9999999999998099;
        double r15635202 = -1259.1392167224028;
        double r15635203 = r15635178 + r15635173;
        double r15635204 = r15635202 / r15635203;
        double r15635205 = 771.3234287776531;
        double r15635206 = 3.0;
        double r15635207 = r15635178 + r15635206;
        double r15635208 = r15635205 / r15635207;
        double r15635209 = r15635204 + r15635208;
        double r15635210 = r15635201 - r15635209;
        double r15635211 = r15635200 * r15635210;
        double r15635212 = r15635197 * r15635211;
        double r15635213 = r15635189 * r15635189;
        double r15635214 = r15635195 * r15635195;
        double r15635215 = r15635189 * r15635195;
        double r15635216 = r15635214 - r15635215;
        double r15635217 = r15635213 + r15635216;
        double r15635218 = 12.507343278686905;
        double r15635219 = r15635218 * r15635176;
        double r15635220 = 676.5203681218851;
        double r15635221 = r15635199 * r15635220;
        double r15635222 = r15635219 + r15635221;
        double r15635223 = r15635222 * r15635210;
        double r15635224 = r15635201 * r15635201;
        double r15635225 = r15635209 * r15635209;
        double r15635226 = r15635224 - r15635225;
        double r15635227 = r15635200 * r15635226;
        double r15635228 = r15635223 + r15635227;
        double r15635229 = r15635217 * r15635228;
        double r15635230 = r15635212 + r15635229;
        double r15635231 = 6.0;
        double r15635232 = r15635178 + r15635231;
        double r15635233 = r15635232 * r15635180;
        double r15635234 = r15635230 * r15635233;
        double r15635235 = r15635217 * r15635211;
        double r15635236 = -0.13857109526572012;
        double r15635237 = r15635236 * r15635180;
        double r15635238 = 9.984369578019572e-06;
        double r15635239 = r15635232 * r15635238;
        double r15635240 = r15635237 + r15635239;
        double r15635241 = r15635235 * r15635240;
        double r15635242 = r15635234 + r15635241;
        double r15635243 = exp(r15635182);
        double r15635244 = 1.0;
        double r15635245 = sqrt(r15635194);
        double r15635246 = r15635244 / r15635245;
        double r15635247 = r15635192 / r15635245;
        double r15635248 = r15635247 * r15635195;
        double r15635249 = r15635246 * r15635248;
        double r15635250 = r15635249 - r15635215;
        double r15635251 = r15635213 + r15635250;
        double r15635252 = r15635251 * r15635211;
        double r15635253 = r15635252 * r15635233;
        double r15635254 = r15635243 * r15635253;
        double r15635255 = r15635242 / r15635254;
        double r15635256 = r15635185 * r15635255;
        return r15635256;
}

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

  4. Applied frac-add1.0

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

  5. Applied flip-+1.0

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

  6. Applied frac-add1.0

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

  7. Applied frac-add1.0

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

  8. Applied flip3-+1.0

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

  9. Applied frac-add1.0

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

  10. Applied frac-add1.1

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

  11. Applied associate-/l/0.7

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

  13. Applied add-sqr-sqrt0.7

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

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

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

  15. Applied times-frac0.7

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

  16. Applied associate-*l*0.7

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

  17. Final simplification0.7

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

Reproduce

herbie shell --seed 2019173 
(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)))))