Jmat.Real.gamma, branch z greater than 0.5

Specification

?
\[z > 0.5\]
\[\begin{array}{l} \\ \begin{array}{l} t_0 := \left(z - 1\right) + 7\\ t_1 := t\_0 + 0.5\\ \left(\left(\sqrt{\pi \cdot 2} \cdot {t\_1}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-t\_1}\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}}{t\_0}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right) \end{array} \end{array} \]
(FPCore (z)
 :precision binary64
 (let* ((t_0 (+ (- z 1.0) 7.0)) (t_1 (+ t_0 0.5)))
   (*
    (* (* (sqrt (* PI 2.0)) (pow t_1 (+ (- z 1.0) 0.5))) (exp (- t_1)))
    (+
     (+
      (+
       (+
        (+
         (+
          (+
           (+ 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 t_0))
     (/ 1.5056327351493116e-7 (+ (- z 1.0) 8.0))))))
double code(double z) {
	double t_0 = (z - 1.0) + 7.0;
	double t_1 = t_0 + 0.5;
	return ((sqrt((((double) M_PI) * 2.0)) * pow(t_1, ((z - 1.0) + 0.5))) * exp(-t_1)) * ((((((((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 / t_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 = t_0 + 0.5;
	return ((Math.sqrt((Math.PI * 2.0)) * Math.pow(t_1, ((z - 1.0) + 0.5))) * Math.exp(-t_1)) * ((((((((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 / t_0)) + (1.5056327351493116e-7 / ((z - 1.0) + 8.0)));
}
def code(z):
	t_0 = (z - 1.0) + 7.0
	t_1 = t_0 + 0.5
	return ((math.sqrt((math.pi * 2.0)) * math.pow(t_1, ((z - 1.0) + 0.5))) * math.exp(-t_1)) * ((((((((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 / t_0)) + (1.5056327351493116e-7 / ((z - 1.0) + 8.0)))
function code(z)
	t_0 = Float64(Float64(z - 1.0) + 7.0)
	t_1 = Float64(t_0 + 0.5)
	return Float64(Float64(Float64(sqrt(Float64(pi * 2.0)) * (t_1 ^ Float64(Float64(z - 1.0) + 0.5))) * exp(Float64(-t_1))) * 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 / t_0)) + Float64(1.5056327351493116e-7 / Float64(Float64(z - 1.0) + 8.0))))
end
function tmp = code(z)
	t_0 = (z - 1.0) + 7.0;
	t_1 = t_0 + 0.5;
	tmp = ((sqrt((pi * 2.0)) * (t_1 ^ ((z - 1.0) + 0.5))) * exp(-t_1)) * ((((((((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 / t_0)) + (1.5056327351493116e-7 / ((z - 1.0) + 8.0)));
end
code[z_] := Block[{t$95$0 = N[(N[(z - 1.0), $MachinePrecision] + 7.0), $MachinePrecision]}, Block[{t$95$1 = N[(t$95$0 + 0.5), $MachinePrecision]}, N[(N[(N[(N[Sqrt[N[(Pi * 2.0), $MachinePrecision]], $MachinePrecision] * N[Power[t$95$1, N[(N[(z - 1.0), $MachinePrecision] + 0.5), $MachinePrecision]], $MachinePrecision]), $MachinePrecision] * N[Exp[(-t$95$1)], $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 / t$95$0), $MachinePrecision]), $MachinePrecision] + N[(1.5056327351493116e-7 / N[(N[(z - 1.0), $MachinePrecision] + 8.0), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]), $MachinePrecision]]]
\begin{array}{l}

\\
\begin{array}{l}
t_0 := \left(z - 1\right) + 7\\
t_1 := t\_0 + 0.5\\
\left(\left(\sqrt{\pi \cdot 2} \cdot {t\_1}^{\left(\left(z - 1\right) + 0.5\right)}\right) \cdot e^{-t\_1}\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}}{t\_0}\right) + \frac{1.5056327351493116 \cdot 10^{-7}}{\left(z - 1\right) + 8}\right)
\end{array}
\end{array}

Cannot sample enough valid points. (more)