Jmat.Real.gamma, branch z greater than 0.5

Average Error: 61.6 → 1.1

Time: 3.1m

Precision: 64

• could not determine a ground truth for program body

  1. z = 1.957382309183684e+68

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.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(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot e^{\log \left(\sqrt{\pi}\right) - \left(\log 6.5 \cdot 1\right) \cdot 0.5}\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\]

C

double f(double z) {
        double r131000 = atan2(1.0, 0.0);
        double r131001 = 2.0;
        double r131002 = r131000 * r131001;
        double r131003 = sqrt(r131002);
        double r131004 = z;
        double r131005 = 1.0;
        double r131006 = r131004 - r131005;
        double r131007 = 7.0;
        double r131008 = r131006 + r131007;
        double r131009 = 0.5;
        double r131010 = r131008 + r131009;
        double r131011 = r131006 + r131009;
        double r131012 = pow(r131010, r131011);
        double r131013 = r131003 * r131012;
        double r131014 = -r131010;
        double r131015 = exp(r131014);
        double r131016 = r131013 * r131015;
        double r131017 = 0.9999999999998099;
        double r131018 = 676.5203681218851;
        double r131019 = r131006 + r131005;
        double r131020 = r131018 / r131019;
        double r131021 = r131017 + r131020;
        double r131022 = -1259.1392167224028;
        double r131023 = r131006 + r131001;
        double r131024 = r131022 / r131023;
        double r131025 = r131021 + r131024;
        double r131026 = 771.3234287776531;
        double r131027 = 3.0;
        double r131028 = r131006 + r131027;
        double r131029 = r131026 / r131028;
        double r131030 = r131025 + r131029;
        double r131031 = -176.6150291621406;
        double r131032 = 4.0;
        double r131033 = r131006 + r131032;
        double r131034 = r131031 / r131033;
        double r131035 = r131030 + r131034;
        double r131036 = 12.507343278686905;
        double r131037 = 5.0;
        double r131038 = r131006 + r131037;
        double r131039 = r131036 / r131038;
        double r131040 = r131035 + r131039;
        double r131041 = -0.13857109526572012;
        double r131042 = 6.0;
        double r131043 = r131006 + r131042;
        double r131044 = r131041 / r131043;
        double r131045 = r131040 + r131044;
        double r131046 = 9.984369578019572e-06;
        double r131047 = r131046 / r131008;
        double r131048 = r131045 + r131047;
        double r131049 = 1.5056327351493116e-07;
        double r131050 = 8.0;
        double r131051 = r131006 + r131050;
        double r131052 = r131049 / r131051;
        double r131053 = r131048 + r131052;
        double r131054 = r131016 * r131053;
        return r131054;
}

↓

double f(double z) {
        double r131055 = 338.26018406094255;
        double r131056 = 1.0;
        double r131057 = 6.5;
        double r131058 = 1.0;
        double r131059 = pow(r131057, r131058);
        double r131060 = r131056 / r131059;
        double r131061 = 0.5;
        double r131062 = pow(r131060, r131061);
        double r131063 = log(r131057);
        double r131064 = 2.0;
        double r131065 = pow(r131063, r131064);
        double r131066 = z;
        double r131067 = 2.0;
        double r131068 = sqrt(r131067);
        double r131069 = r131066 * r131068;
        double r131070 = r131065 * r131069;
        double r131071 = exp(r131057);
        double r131072 = r131070 / r131071;
        double r131073 = atan2(1.0, 0.0);
        double r131074 = sqrt(r131073);
        double r131075 = r131072 * r131074;
        double r131076 = r131062 * r131075;
        double r131077 = r131055 * r131076;
        double r131078 = 2581.191799681222;
        double r131079 = r131068 * r131066;
        double r131080 = r131079 / r131071;
        double r131081 = r131062 * r131074;
        double r131082 = r131080 * r131081;
        double r131083 = r131078 * r131082;
        double r131084 = 676.5203681218851;
        double r131085 = r131066 * r131071;
        double r131086 = r131068 / r131085;
        double r131087 = log(r131074);
        double r131088 = r131063 * r131058;
        double r131089 = r131088 * r131061;
        double r131090 = r131087 - r131089;
        double r131091 = exp(r131090);
        double r131092 = r131086 * r131091;
        double r131093 = r131084 * r131092;
        double r131094 = r131063 * r131068;
        double r131095 = r131094 / r131071;
        double r131096 = r131095 * r131062;
        double r131097 = r131074 * r131096;
        double r131098 = r131084 * r131097;
        double r131099 = 169.13009203047127;
        double r131100 = 5.0;
        double r131101 = pow(r131057, r131100);
        double r131102 = r131056 / r131101;
        double r131103 = pow(r131102, r131061);
        double r131104 = r131103 * r131074;
        double r131105 = r131080 * r131104;
        double r131106 = r131099 * r131105;
        double r131107 = r131098 + r131106;
        double r131108 = r131093 + r131107;
        double r131109 = r131083 + r131108;
        double r131110 = r131077 + r131109;
        double r131111 = 1656.8104518737205;
        double r131112 = r131063 * r131069;
        double r131113 = r131112 / r131071;
        double r131114 = r131113 * r131074;
        double r131115 = r131062 * r131114;
        double r131116 = r131068 / r131071;
        double r131117 = r131116 * r131062;
        double r131118 = r131074 * r131117;
        double r131119 = r131115 + r131118;
        double r131120 = r131111 * r131119;
        double r131121 = r131110 - r131120;
        return r131121;
}

Error

Bits error versus z

Derivation

1. Initial program 61.6

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

2. Simplified 1.2

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

3. Taylor expanded around 0 1.5

   \[\leadsto \color{blue}{\left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - \left(1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + 1656.810451873720467119710519909858703613 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\right)}\]

4. Simplified 1.5

   \[\leadsto \color{blue}{\left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)}\]
5. Using strategy rm

6. Applied add-exp-log 1.5

   \[\leadsto \left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \color{blue}{e^{\log \left(\sqrt{\pi}\right)}}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\]

7. Applied add-exp-log 1.5

   \[\leadsto \left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot \left({\left(\frac{1}{{\color{blue}{\left(e^{\log 6.5}\right)}}^{1}}\right)}^{0.5} \cdot e^{\log \left(\sqrt{\pi}\right)}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\]

8. Applied pow-exp 1.5

   \[\leadsto \left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot \left({\left(\frac{1}{\color{blue}{e^{\log 6.5 \cdot 1}}}\right)}^{0.5} \cdot e^{\log \left(\sqrt{\pi}\right)}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\]

9. Applied rec-exp 1.5

   \[\leadsto \left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot \left({\color{blue}{\left(e^{-\log 6.5 \cdot 1}\right)}}^{0.5} \cdot e^{\log \left(\sqrt{\pi}\right)}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\]

10. Applied pow-exp 1.5

    \[\leadsto \left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot \left(\color{blue}{e^{\left(-\log 6.5 \cdot 1\right) \cdot 0.5}} \cdot e^{\log \left(\sqrt{\pi}\right)}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\]

11. Applied prod-exp 1.1

    \[\leadsto \left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot \color{blue}{e^{\left(-\log 6.5 \cdot 1\right) \cdot 0.5 + \log \left(\sqrt{\pi}\right)}}\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\]

12. Simplified 1.1

    \[\leadsto \left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot e^{\color{blue}{\log \left(\sqrt{\pi}\right) - \left(\log 6.5 \cdot 1\right) \cdot 0.5}}\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\]

13. Final simplification 1.1

    \[\leadsto \left(338.2601840609425494221795815974473953247 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{{\left(\log 6.5\right)}^{2} \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right)\right) + \left(2581.191799681222164508653804659843444824 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\frac{\sqrt{2}}{z \cdot e^{6.5}} \cdot e^{\log \left(\sqrt{\pi}\right) - \left(\log 6.5 \cdot 1\right) \cdot 0.5}\right) + \left(676.5203681218850988443591631948947906494 \cdot \left(\sqrt{\pi} \cdot \left(\frac{\log 6.5 \cdot \sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right) + 169.1300920304712747110897907987236976624 \cdot \left(\frac{\sqrt{2} \cdot z}{e^{6.5}} \cdot \left({\left(\frac{1}{{6.5}^{5}}\right)}^{0.5} \cdot \sqrt{\pi}\right)\right)\right)\right)\right)\right) - 1656.810451873720467119710519909858703613 \cdot \left({\left(\frac{1}{{6.5}^{1}}\right)}^{0.5} \cdot \left(\frac{\log 6.5 \cdot \left(z \cdot \sqrt{2}\right)}{e^{6.5}} \cdot \sqrt{\pi}\right) + \sqrt{\pi} \cdot \left(\frac{\sqrt{2}}{e^{6.5}} \cdot {\left(\frac{1}{{6.5}^{1}}\right)}^{0.5}\right)\right)\]

Reproduce

herbie shell --seed 2019325 
(FPCore (z)
  :name "Jmat.Real.gamma, branch z greater than 0.5"
  :precision binary64
  (* (* (* (sqrt (* PI 2)) (pow (+ (+ (- z 1) 7) 0.5) (+ (- z 1) 0.5))) (exp (- (+ (+ (- z 1) 7) 0.5)))) (+ (+ (+ (+ (+ (+ (+ (+ 0.9999999999998099 (/ 676.5203681218851 (+ (- z 1) 1))) (/ -1259.1392167224028 (+ (- z 1) 2))) (/ 771.3234287776531 (+ (- z 1) 3))) (/ -176.6150291621406 (+ (- z 1) 4))) (/ 12.507343278686905 (+ (- z 1) 5))) (/ -0.13857109526572012 (+ (- z 1) 6))) (/ 9.984369578019572e-06 (+ (- z 1) 7))) (/ 1.5056327351493116e-07 (+ (- z 1) 8)))))