Jmat.Real.gamma, branch z greater than 0.5

Average Accuracy: 93.8% → 96.5%

Time: 29.9s

Precision: binary64

Cost: 44932

\[z > 0.5\]

Math

\[\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.9999999999998099 + \frac{676.5203681218851}{\left(z - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]

↓

\[\begin{array}{l} t_0 := \left(z + -1\right) + 7\\ t_1 := \frac{-1259.1392167224028}{z + 1}\\ t_2 := \sqrt{\pi \cdot 2}\\ \mathbf{if}\;z + -1 \leq 140:\\ \;\;\;\;\left(\left(t_2 \cdot {\left(t_0 + 0.5\right)}^{\left(\left(z + -1\right) + 0.5\right)}\right) \cdot e^{-0.5 + \left(\left(1 - z\right) + -7\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\sqrt[3]{\left(0.9999999999998099 + \left(\frac{676.5203681218851}{z} + t_1\right)\right) \cdot {\left(0.9999999999998099 + \frac{-676.5203681218851 + z \cdot 582.6188486005177}{z \cdot \left(-1 - z\right)}\right)}^{2}} + \frac{771.3234287776531}{\left(z + -1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z + -1\right) + 4}\right) + \frac{12.507343278686905}{\left(z + -1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z + -1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{t_0}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z + -1\right) + 8}\right)\\ \mathbf{else}:\\ \;\;\;\;t_2 \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(t_1 + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{z + 2} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot e^{\left(-6.5 - z\right) + \left(z + -0.5\right) \cdot \log \left(z + 6.5\right)}\right)\\ \end{array} \]

FPCore

(FPCore (z)
 :precision binary64
 (*
  (*
   (* (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-6 (+ (- z 1.0) 7.0)))
   (/ 1.5056327351493116e-7 (+ (- z 1.0) 8.0)))))

↓

(FPCore (z)
 :precision binary64
 (let* ((t_0 (+ (+ z -1.0) 7.0))
        (t_1 (/ -1259.1392167224028 (+ z 1.0)))
        (t_2 (sqrt (* PI 2.0))))
   (if (<= (+ z -1.0) 140.0)
     (*
      (*
       (* t_2 (pow (+ t_0 0.5) (+ (+ z -1.0) 0.5)))
       (exp (+ -0.5 (+ (- 1.0 z) -7.0))))
      (+
       (+
        (+
         (+
          (+
           (+
            (cbrt
             (*
              (+ 0.9999999999998099 (+ (/ 676.5203681218851 z) t_1))
              (pow
               (+
                0.9999999999998099
                (/
                 (+ -676.5203681218851 (* z 582.6188486005177))
                 (* z (- -1.0 z))))
               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-6 t_0))
       (/ 1.5056327351493116e-7 (+ (+ z -1.0) 8.0))))
     (*
      t_2
      (*
       (+
        (+ 0.9999999999998099 (/ 676.5203681218851 z))
        (+
         (+
          t_1
          (+
           (/ -176.6150291621406 (+ z 3.0))
           (+
            (/ 771.3234287776531 (+ z 2.0))
            (/ 12.507343278686905 (+ z 4.0)))))
         (+
          (/ -0.13857109526572012 (+ z 5.0))
          (+
           (/ 9.984369578019572e-6 (+ z 6.0))
           (/ 1.5056327351493116e-7 (+ z 7.0))))))
       (exp (+ (- -6.5 z) (* (+ z -0.5) (log (+ z 6.5))))))))))

C

double code(double z) {
	return ((sqrt((((double) M_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-6 / ((z - 1.0) + 7.0))) + (1.5056327351493116e-7 / ((z - 1.0) + 8.0)));
}

↓

double code(double z) {
	double t_0 = (z + -1.0) + 7.0;
	double t_1 = -1259.1392167224028 / (z + 1.0);
	double t_2 = sqrt((((double) M_PI) * 2.0));
	double tmp;
	if ((z + -1.0) <= 140.0) {
		tmp = ((t_2 * pow((t_0 + 0.5), ((z + -1.0) + 0.5))) * exp((-0.5 + ((1.0 - z) + -7.0)))) * ((((((cbrt(((0.9999999999998099 + ((676.5203681218851 / z) + t_1)) * pow((0.9999999999998099 + ((-676.5203681218851 + (z * 582.6188486005177)) / (z * (-1.0 - z)))), 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-6 / t_0)) + (1.5056327351493116e-7 / ((z + -1.0) + 8.0)));
	} else {
		tmp = t_2 * (((0.9999999999998099 + (676.5203681218851 / z)) + ((t_1 + ((-176.6150291621406 / (z + 3.0)) + ((771.3234287776531 / (z + 2.0)) + (12.507343278686905 / (z + 4.0))))) + ((-0.13857109526572012 / (z + 5.0)) + ((9.984369578019572e-6 / (z + 6.0)) + (1.5056327351493116e-7 / (z + 7.0)))))) * exp(((-6.5 - z) + ((z + -0.5) * log((z + 6.5))))));
	}
	return tmp;
}

Java

public static double code(double z) {
	return ((Math.sqrt((Math.PI * 2.0)) * Math.pow((((z - 1.0) + 7.0) + 0.5), ((z - 1.0) + 0.5))) * Math.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-6 / ((z - 1.0) + 7.0))) + (1.5056327351493116e-7 / ((z - 1.0) + 8.0)));
}

↓

public static double code(double z) {
	double t_0 = (z + -1.0) + 7.0;
	double t_1 = -1259.1392167224028 / (z + 1.0);
	double t_2 = Math.sqrt((Math.PI * 2.0));
	double tmp;
	if ((z + -1.0) <= 140.0) {
		tmp = ((t_2 * Math.pow((t_0 + 0.5), ((z + -1.0) + 0.5))) * Math.exp((-0.5 + ((1.0 - z) + -7.0)))) * ((((((Math.cbrt(((0.9999999999998099 + ((676.5203681218851 / z) + t_1)) * Math.pow((0.9999999999998099 + ((-676.5203681218851 + (z * 582.6188486005177)) / (z * (-1.0 - z)))), 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-6 / t_0)) + (1.5056327351493116e-7 / ((z + -1.0) + 8.0)));
	} else {
		tmp = t_2 * (((0.9999999999998099 + (676.5203681218851 / z)) + ((t_1 + ((-176.6150291621406 / (z + 3.0)) + ((771.3234287776531 / (z + 2.0)) + (12.507343278686905 / (z + 4.0))))) + ((-0.13857109526572012 / (z + 5.0)) + ((9.984369578019572e-6 / (z + 6.0)) + (1.5056327351493116e-7 / (z + 7.0)))))) * Math.exp(((-6.5 - z) + ((z + -0.5) * Math.log((z + 6.5))))));
	}
	return tmp;
}

Julia

function code(z)
	return Float64(Float64(Float64(sqrt(Float64(pi * 2.0)) * (Float64(Float64(Float64(z - 1.0) + 7.0) + 0.5) ^ Float64(Float64(z - 1.0) + 0.5))) * exp(Float64(-Float64(Float64(Float64(z - 1.0) + 7.0) + 0.5)))) * Float64(Float64(Float64(Float64(Float64(Float64(Float64(Float64(0.9999999999998099 + Float64(676.5203681218851 / Float64(Float64(z - 1.0) + 1.0))) + Float64(-1259.1392167224028 / Float64(Float64(z - 1.0) + 2.0))) + Float64(771.3234287776531 / Float64(Float64(z - 1.0) + 3.0))) + Float64(-176.6150291621406 / Float64(Float64(z - 1.0) + 4.0))) + Float64(12.507343278686905 / Float64(Float64(z - 1.0) + 5.0))) + Float64(-0.13857109526572012 / Float64(Float64(z - 1.0) + 6.0))) + Float64(9.984369578019572e-6 / Float64(Float64(z - 1.0) + 7.0))) + Float64(1.5056327351493116e-7 / Float64(Float64(z - 1.0) + 8.0))))
end

↓

function code(z)
	t_0 = Float64(Float64(z + -1.0) + 7.0)
	t_1 = Float64(-1259.1392167224028 / Float64(z + 1.0))
	t_2 = sqrt(Float64(pi * 2.0))
	tmp = 0.0
	if (Float64(z + -1.0) <= 140.0)
		tmp = Float64(Float64(Float64(t_2 * (Float64(t_0 + 0.5) ^ Float64(Float64(z + -1.0) + 0.5))) * exp(Float64(-0.5 + Float64(Float64(1.0 - z) + -7.0)))) * Float64(Float64(Float64(Float64(Float64(Float64(cbrt(Float64(Float64(0.9999999999998099 + Float64(Float64(676.5203681218851 / z) + t_1)) * (Float64(0.9999999999998099 + Float64(Float64(-676.5203681218851 + Float64(z * 582.6188486005177)) / Float64(z * Float64(-1.0 - z)))) ^ 2.0))) + Float64(771.3234287776531 / Float64(Float64(z + -1.0) + 3.0))) + Float64(-176.6150291621406 / Float64(Float64(z + -1.0) + 4.0))) + Float64(12.507343278686905 / Float64(Float64(z + -1.0) + 5.0))) + Float64(-0.13857109526572012 / Float64(Float64(z + -1.0) + 6.0))) + Float64(9.984369578019572e-6 / t_0)) + Float64(1.5056327351493116e-7 / Float64(Float64(z + -1.0) + 8.0))));
	else
		tmp = Float64(t_2 * Float64(Float64(Float64(0.9999999999998099 + Float64(676.5203681218851 / z)) + Float64(Float64(t_1 + Float64(Float64(-176.6150291621406 / Float64(z + 3.0)) + Float64(Float64(771.3234287776531 / Float64(z + 2.0)) + Float64(12.507343278686905 / Float64(z + 4.0))))) + Float64(Float64(-0.13857109526572012 / Float64(z + 5.0)) + Float64(Float64(9.984369578019572e-6 / Float64(z + 6.0)) + Float64(1.5056327351493116e-7 / Float64(z + 7.0)))))) * exp(Float64(Float64(-6.5 - z) + Float64(Float64(z + -0.5) * log(Float64(z + 6.5)))))));
	end
	return tmp
end

Wolfram

code[z_] := N[(N[(N[(N[Sqrt[N[(Pi * 2.0), $MachinePrecision]], $MachinePrecision] * N[Power[N[(N[(N[(z - 1.0), $MachinePrecision] + 7.0), $MachinePrecision] + 0.5), $MachinePrecision], N[(N[(z - 1.0), $MachinePrecision] + 0.5), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * N[Exp[(-N[(N[(N[(z - 1.0), $MachinePrecision] + 7.0), $MachinePrecision] + 0.5), $MachinePrecision])], $MachinePrecision]), $MachinePrecision] * N[(N[(N[(N[(N[(N[(N[(N[(0.9999999999998099 + N[(676.5203681218851 / N[(N[(z - 1.0), $MachinePrecision] + 1.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(-1259.1392167224028 / N[(N[(z - 1.0), $MachinePrecision] + 2.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(771.3234287776531 / N[(N[(z - 1.0), $MachinePrecision] + 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(-176.6150291621406 / N[(N[(z - 1.0), $MachinePrecision] + 4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(12.507343278686905 / N[(N[(z - 1.0), $MachinePrecision] + 5.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(-0.13857109526572012 / N[(N[(z - 1.0), $MachinePrecision] + 6.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(9.984369578019572e-6 / N[(N[(z - 1.0), $MachinePrecision] + 7.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(1.5056327351493116e-7 / N[(N[(z - 1.0), $MachinePrecision] + 8.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]

↓

code[z_] := Block[{t$95$0 = N[(N[(z + -1.0), $MachinePrecision] + 7.0), $MachinePrecision]}, Block[{t$95$1 = N[(-1259.1392167224028 / N[(z + 1.0), $MachinePrecision]), $MachinePrecision]}, Block[{t$95$2 = N[Sqrt[N[(Pi * 2.0), $MachinePrecision]], $MachinePrecision]}, If[LessEqual[N[(z + -1.0), $MachinePrecision], 140.0], N[(N[(N[(t$95$2 * N[Power[N[(t$95$0 + 0.5), $MachinePrecision], N[(N[(z + -1.0), $MachinePrecision] + 0.5), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * N[Exp[N[(-0.5 + N[(N[(1.0 - z), $MachinePrecision] + -7.0), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * N[(N[(N[(N[(N[(N[(N[Power[N[(N[(0.9999999999998099 + N[(N[(676.5203681218851 / z), $MachinePrecision] + t$95$1), $MachinePrecision]), $MachinePrecision] * N[Power[N[(0.9999999999998099 + N[(N[(-676.5203681218851 + N[(z * 582.6188486005177), $MachinePrecision]), $MachinePrecision] / N[(z * N[(-1.0 - z), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], 2.0], $MachinePrecision]), $MachinePrecision], 1/3], $MachinePrecision] + N[(771.3234287776531 / N[(N[(z + -1.0), $MachinePrecision] + 3.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(-176.6150291621406 / N[(N[(z + -1.0), $MachinePrecision] + 4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(12.507343278686905 / N[(N[(z + -1.0), $MachinePrecision] + 5.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(-0.13857109526572012 / N[(N[(z + -1.0), $MachinePrecision] + 6.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(9.984369578019572e-6 / t$95$0), $MachinePrecision]), $MachinePrecision] + N[(1.5056327351493116e-7 / N[(N[(z + -1.0), $MachinePrecision] + 8.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision], N[(t$95$2 * N[(N[(N[(0.9999999999998099 + N[(676.5203681218851 / z), $MachinePrecision]), $MachinePrecision] + N[(N[(t$95$1 + N[(N[(-176.6150291621406 / N[(z + 3.0), $MachinePrecision]), $MachinePrecision] + N[(N[(771.3234287776531 / N[(z + 2.0), $MachinePrecision]), $MachinePrecision] + N[(12.507343278686905 / N[(z + 4.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] + N[(N[(-0.13857109526572012 / N[(z + 5.0), $MachinePrecision]), $MachinePrecision] + N[(N[(9.984369578019572e-6 / N[(z + 6.0), $MachinePrecision]), $MachinePrecision] + N[(1.5056327351493116e-7 / N[(z + 7.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision] * N[Exp[N[(N[(-6.5 - z), $MachinePrecision] + N[(N[(z + -0.5), $MachinePrecision] * N[Log[N[(z + 6.5), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]], $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]]]

Derivation

1. Split input into 2 regimes

2. if (-.f64 z 1) < 140

   1. Initial program 96.5%

      \[\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(z - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]

   2. Applied egg-rr 96.5%

      \[\leadsto \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(\color{blue}{\sqrt[3]{\left(0.9999999999998099 + \left(\frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z - -1}\right)\right) \cdot {\left(0.9999999999998099 + \left(\frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z - -1}\right)\right)}^{2}}} + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]

   3. Applied egg-rr 96.6%

      \[\leadsto \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(\sqrt[3]{\left(0.9999999999998099 + \left(\frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z - -1}\right)\right) \cdot {\left(0.9999999999998099 + \color{blue}{\frac{\mathsf{fma}\left(676.5203681218851, z + 1, z \cdot -1259.1392167224028\right)}{z} \cdot \frac{-1}{-1 - z}}\right)}^{2}} + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]

   4. Simplified 96.8%

      \[\leadsto \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(\sqrt[3]{\left(0.9999999999998099 + \left(\frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z - -1}\right)\right) \cdot {\left(0.9999999999998099 + \color{blue}{\frac{-676.5203681218851 + z \cdot 582.6188486005177}{z \cdot \left(-1 - z\right)}}\right)}^{2}} + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]
      Proof

      [Start] 96.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(\sqrt[3]{\left(0.9999999999998099 + \left(\frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z - -1}\right)\right) \cdot {\left(0.9999999999998099 + \frac{\mathsf{fma}\left(676.5203681218851, z + 1, z \cdot -1259.1392167224028\right)}{z} \cdot \frac{-1}{-1 - z}\right)}^{2}} + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]

      associate-*r/ [=>] 96.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(\sqrt[3]{\left(0.9999999999998099 + \left(\frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z - -1}\right)\right) \cdot {\left(0.9999999999998099 + \color{blue}{\frac{\frac{\mathsf{fma}\left(676.5203681218851, z + 1, z \cdot -1259.1392167224028\right)}{z} \cdot -1}{-1 - z}}\right)}^{2}} + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]

   if 140 < (-.f64 z 1)

   1. Initial program 2.5%

      \[\left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(z - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]

   2. Simplified 3.3%

      \[\leadsto \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{{\left(z + 6.5\right)}^{\left(z + -0.5\right)}}{e^{z + 6.5}}\right)} \]
      Proof

      [Start] 2.5	\[ \left(\left(\sqrt{\pi \cdot 2} \cdot {\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(z - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]
      associate-*l* [=>] 3.3	\[ \color{blue}{\left(\sqrt{\pi \cdot 2} \cdot \left({\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\right)} \cdot e^{-\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}\right)\right)} \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(z - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \]
      associate-*l* [=>] 3.3	\[ \color{blue}{\sqrt{\pi \cdot 2} \cdot \left(\left({\left(\left(\left(z - 1\right) + 7\right) + 0.5\right)}^{\left(\left(z - 1\right) + 0.5\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.9999999999998099 + \frac{676.5203681218851}{\left(z - 1\right) + 1}\right) + \frac{-1259.1392167224028}{\left(z - 1\right) + 2}\right) + \frac{771.3234287776531}{\left(z - 1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z - 1\right) + 4}\right) + \frac{12.507343278686905}{\left(z - 1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z - 1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z - 1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)\right)} \]

   3. Taylor expanded in z around inf 3.3%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \color{blue}{\frac{{\left(6.5 + z\right)}^{\left(z - 0.5\right)}}{e^{6.5 + z}}}\right) \]

   4. Simplified 3.3%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \color{blue}{\left({\left(6.5 + z\right)}^{\left(z + -0.5\right)} \cdot e^{-6.5 - z}\right)}\right) \]
      Proof

      [Start] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{{\left(6.5 + z\right)}^{\left(z - 0.5\right)}}{e^{6.5 + z}}\right) \]
      +-commutative [<=] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{{\color{blue}{\left(z + 6.5\right)}}^{\left(z - 0.5\right)}}{e^{6.5 + z}}\right) \]
      sqr-pow [=>] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{\color{blue}{{\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)} \cdot {\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)}}}{e^{6.5 + z}}\right) \]
      exp-sum [=>] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{{\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)} \cdot {\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)}}{\color{blue}{e^{6.5} \cdot e^{z}}}\right) \]
      *-commutative [<=] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{{\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)} \cdot {\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)}}{\color{blue}{e^{z} \cdot e^{6.5}}}\right) \]
      exp-sum [<=] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{{\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)} \cdot {\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)}}{\color{blue}{e^{z + 6.5}}}\right) \]
      sqr-pow [<=] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{\color{blue}{{\left(z + 6.5\right)}^{\left(z - 0.5\right)}}}{e^{z + 6.5}}\right) \]
      sub-neg [=>] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{{\left(z + 6.5\right)}^{\color{blue}{\left(z + \left(-0.5\right)\right)}}}{e^{z + 6.5}}\right) \]
      metadata-eval [=>] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{{\left(z + 6.5\right)}^{\left(z + \color{blue}{-0.5}\right)}}{e^{z + 6.5}}\right) \]
      *-lft-identity [<=] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \frac{\color{blue}{1 \cdot {\left(z + 6.5\right)}^{\left(z + -0.5\right)}}}{e^{z + 6.5}}\right) \]
      associate-*l/ [<=] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \color{blue}{\left(\frac{1}{e^{z + 6.5}} \cdot {\left(z + 6.5\right)}^{\left(z + -0.5\right)}\right)}\right) \]
      *-commutative [<=] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \color{blue}{\left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot \frac{1}{e^{z + 6.5}}\right)}\right) \]
      metadata-eval [<=] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \left({\left(z + 6.5\right)}^{\left(z + \color{blue}{\left(-0.5\right)}\right)} \cdot \frac{1}{e^{z + 6.5}}\right)\right) \]
      sub-neg [<=] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \left({\left(z + 6.5\right)}^{\color{blue}{\left(z - 0.5\right)}} \cdot \frac{1}{e^{z + 6.5}}\right)\right) \]
      sqr-pow [=>] 3.3	\[ \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \left(\color{blue}{\left({\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)} \cdot {\left(z + 6.5\right)}^{\left(\frac{z - 0.5}{2}\right)}\right)} \cdot \frac{1}{e^{z + 6.5}}\right)\right) \]

   5. Applied egg-rr 87.9%

      \[\leadsto \sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{2 + z} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot \color{blue}{e^{\left(-6.5 - z\right) + \left(z + -0.5\right) \cdot \log \left(6.5 + z\right)}}\right) \]
3. Recombined 2 regimes into one program.

4. Final simplification 96.5%

   \[\leadsto \begin{array}{l} \mathbf{if}\;z + -1 \leq 140:\\ \;\;\;\;\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^{-0.5 + \left(\left(1 - z\right) + -7\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\sqrt[3]{\left(0.9999999999998099 + \left(\frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z + 1}\right)\right) \cdot {\left(0.9999999999998099 + \frac{-676.5203681218851 + z \cdot 582.6188486005177}{z \cdot \left(-1 - z\right)}\right)}^{2}} + \frac{771.3234287776531}{\left(z + -1\right) + 3}\right) + \frac{-176.6150291621406}{\left(z + -1\right) + 4}\right) + \frac{12.507343278686905}{\left(z + -1\right) + 5}\right) + \frac{-0.13857109526572012}{\left(z + -1\right) + 6}\right) + \frac{9.984369578019572 \cdot 10^{-6}}{\left(z + -1\right) + 7}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z + -1\right) + 8}\right)\\ \mathbf{else}:\\ \;\;\;\;\sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(\frac{-1259.1392167224028}{z + 1} + \left(\frac{-176.6150291621406}{z + 3} + \left(\frac{771.3234287776531}{z + 2} + \frac{12.507343278686905}{z + 4}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right)\right)\right)\right) \cdot e^{\left(-6.5 - z\right) + \left(z + -0.5\right) \cdot \log \left(z + 6.5\right)}\right)\\ \end{array} \]

Alternatives

Alternative 1
Accuracy	96.4%
Cost	29828

\[\begin{array}{l} t_0 := \frac{-1259.1392167224028}{z + 1}\\ t_1 := \frac{-176.6150291621406}{z + 3}\\ t_2 := \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\\ t_3 := \frac{771.3234287776531}{z + 2}\\ t_4 := \frac{-0.13857109526572012}{z + 5}\\ t_5 := \frac{9.984369578019572 \cdot 10^{-6}}{z + 6}\\ t_6 := \sqrt{\pi \cdot 2}\\ t_7 := \frac{12.507343278686905}{z + 4}\\ \mathbf{if}\;z + -1 \leq 140:\\ \;\;\;\;t_6 \cdot \left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot \left(e^{-6.5 - z} \cdot \left(\left(0.9999999999998099 + \left(t_3 + \left(\frac{676.5203681218851}{z} + t_0\right)\right)\right) + \left(t_2 + \left(\left(t_4 + t_5\right) + \left(t_1 + t_7\right)\right)\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_6 \cdot \left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{z}\right) + \left(\left(t_0 + \left(t_1 + \left(t_3 + t_7\right)\right)\right) + \left(t_4 + \left(t_5 + t_2\right)\right)\right)\right) \cdot e^{\left(-6.5 - z\right) + \left(z + -0.5\right) \cdot \log \left(z + 6.5\right)}\right)\\ \end{array} \]

Alternative 2
Accuracy	96.4%
Cost	29700

\[\begin{array}{l} t_0 := \frac{-176.6150291621406}{z + 3}\\ t_1 := \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\\ t_2 := \frac{771.3234287776531}{z + 2}\\ t_3 := \frac{-0.13857109526572012}{z + 5}\\ t_4 := \frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z + 1}\\ t_5 := \frac{9.984369578019572 \cdot 10^{-6}}{z + 6}\\ t_6 := \sqrt{\pi \cdot 2}\\ t_7 := \frac{12.507343278686905}{z + 4}\\ \mathbf{if}\;z \leq 140:\\ \;\;\;\;t_6 \cdot \left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot \left(e^{-6.5 - z} \cdot \left(\left(0.9999999999998099 + \left(t_2 + t_4\right)\right) + \left(t_1 + \left(\left(t_3 + t_5\right) + \left(t_0 + t_7\right)\right)\right)\right)\right)\right)\\ \mathbf{else}:\\ \;\;\;\;t_6 \cdot \left(e^{\left(-6.5 - z\right) + \left(z + -0.5\right) \cdot \log \left(z + 6.5\right)} \cdot \left(\left(0.9999999999998099 + \left(t_4 + \left(t_0 + t_2\right)\right)\right) + \left(\left(t_5 + t_1\right) + \left(t_7 + t_3\right)\right)\right)\right)\\ \end{array} \]

Alternative 3
Accuracy	93.9%
Cost	29504

\[\sqrt{\pi \cdot 2} \cdot \left(\left(\left(0.9999999999998099 + \left(\left(\frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z + 1}\right) + \left(\frac{-176.6150291621406}{z + 3} + \frac{771.3234287776531}{z + 2}\right)\right)\right) + \left(\left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right) + \left(\frac{12.507343278686905}{z + 4} + \frac{-0.13857109526572012}{z + 5}\right)\right)\right) \cdot \left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot e^{-6.5 - z}\right)\right) \]

Alternative 4
Accuracy	93.9%
Cost	29504

\[\sqrt{\pi \cdot 2} \cdot \left(\left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot e^{-6.5 - z}\right) \cdot \left(\left(0.9999999999998099 + \left(\frac{676.5203681218851}{z} + \left(\frac{-1259.1392167224028}{z + 1} + \frac{771.3234287776531}{z + 2}\right)\right)\right) + \left(\frac{-0.13857109526572012}{z + 5} + \left(\left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right) + \left(\frac{-176.6150291621406}{z + 3} + \frac{12.507343278686905}{z + 4}\right)\right)\right)\right)\right) \]

Alternative 5
Accuracy	94.0%
Cost	29504

\[\sqrt{\pi \cdot 2} \cdot \left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot \left(e^{-6.5 - z} \cdot \left(\left(0.9999999999998099 + \left(\frac{771.3234287776531}{z + 2} + \left(\frac{676.5203681218851}{z} + \frac{-1259.1392167224028}{z + 1}\right)\right)\right) + \left(\frac{1.5056327351493116 \cdot 10^{-7}}{z + 7} + \left(\left(\frac{-0.13857109526572012}{z + 5} + \frac{9.984369578019572 \cdot 10^{-6}}{z + 6}\right) + \left(\frac{-176.6150291621406}{z + 3} + \frac{12.507343278686905}{z + 4}\right)\right)\right)\right)\right)\right) \]

Alternative 6
Accuracy	26.9%
Cost	28736

\[\sqrt{\pi \cdot 2} \cdot \left(\left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot e^{-6.5 - z}\right) \cdot \left(\left(\left(\frac{9.984369578019572 \cdot 10^{-6}}{z + 6} + \frac{1.5056327351493116 \cdot 10^{-7}}{z + 7}\right) + \left(\frac{12.507343278686905}{z + 4} + \frac{-0.13857109526572012}{z + 5}\right)\right) + \left(0.9999999999998099 + \left(\frac{246.3374466535184}{z \cdot z} + \frac{12.0895510149948}{z}\right)\right)\right)\right) \]

Alternative 7
Accuracy	25.7%
Cost	27200

\[\sqrt{\pi \cdot 2} \cdot \left(\left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot e^{-6.5 - z}\right) \cdot \left(0.9999999999998099 + \left(\frac{24.458333333348836}{z} + \frac{197.000868054939}{z \cdot z}\right)\right)\right) \]

Alternative 8
Accuracy	19.7%
Cost	26816

\[\sqrt{\pi \cdot 2} \cdot \left(\left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot e^{-6.5 - z}\right) \cdot \left(0.9999999999998099 + \frac{24.458333333348836}{z}\right)\right) \]

Alternative 9
Accuracy	19.4%
Cost	26756

\[\begin{array}{l} \mathbf{if}\;z \leq 4:\\ \;\;\;\;\frac{\sqrt{140824.5564565449}}{z} \cdot \sqrt{\pi \cdot e^{-13}}\\ \mathbf{else}:\\ \;\;\;\;\sqrt{\pi \cdot 2} \cdot \left(0.9999999999998099 \cdot e^{\left(-6.5 - z\right) + \left(z + -0.5\right) \cdot \log \left(z + 6.5\right)}\right)\\ \end{array} \]

Alternative 10
Accuracy	18.8%
Cost	26692

\[\begin{array}{l} \mathbf{if}\;z \leq 4:\\ \;\;\;\;\frac{\sqrt{140824.5564565449}}{z} \cdot \sqrt{\pi \cdot e^{-13}}\\ \mathbf{else}:\\ \;\;\;\;\sqrt{\pi \cdot 2} \cdot \left(0.9999999999998099 \cdot \left({\left(z + 6.5\right)}^{\left(z + -0.5\right)} \cdot e^{-6.5 - z}\right)\right)\\ \end{array} \]

Alternative 11
Accuracy	13.0%
Cost	19584

\[\frac{\sqrt{e^{-13} \cdot \left(\pi \cdot 140824.5564565449\right)}}{z} \]

Reproduce

herbie shell --seed 2023125 
(FPCore (z)
  :name "Jmat.Real.gamma, branch z greater than 0.5"
  :precision binary64
  :pre (> z 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-6 (+ (- z 1.0) 7.0))) (/ 1.5056327351493116e-7 (+ (- z 1.0) 8.0)))))