\[\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2.0} \cdot {\left(\left(\left(\left(1.0 - z\right) - 1.0\right) + 7.0\right) + 0.5\right)}^{\left(\left(\left(1.0 - z\right) - 1.0\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1.0 - z\right) - 1.0\right) + 7.0\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1.0 - z\right) - 1.0\right) + 1.0}\right) + \frac{-1259.1392167224028}{\left(\left(1.0 - z\right) - 1.0\right) + 2.0}\right) + \frac{771.3234287776531}{\left(\left(1.0 - z\right) - 1.0\right) + 3.0}\right) + \frac{-176.6150291621406}{\left(\left(1.0 - z\right) - 1.0\right) + 4.0}\right) + \frac{12.507343278686905}{\left(\left(1.0 - z\right) - 1.0\right) + 5.0}\right) + \frac{-0.13857109526572012}{\left(\left(1.0 - z\right) - 1.0\right) + 6.0}\right) + \frac{9.984369578019572 \cdot 10^{-06}}{\left(\left(1.0 - z\right) - 1.0\right) + 7.0}\right) + \frac{1.5056327351493116 \cdot 10^{-07}}{\left(\left(1.0 - z\right) - 1.0\right) + 8.0}\right)\right)\]
\frac{\pi}{\sin \left(\pi \cdot z\right)} \cdot \left(\left(\left(\sqrt{\pi \cdot 2.0} \cdot {\left(\left(\left(\left(1.0 - z\right) - 1.0\right) + 7.0\right) + 0.5\right)}^{\left(\left(\left(1.0 - z\right) - 1.0\right) + 0.5\right)}\right) \cdot e^{-\left(\left(\left(\left(1.0 - z\right) - 1.0\right) + 7.0\right) + 0.5\right)}\right) \cdot \left(\left(\left(\left(\left(\left(\left(\left(0.9999999999998099 + \frac{676.5203681218851}{\left(\left(1.0 - z\right) - 1.0\right) + 1.0}\right) + \frac{-1259.1392167224028}{\left(\left(1.0 - z\right) - 1.0\right) + 2.0}\right) + \frac{771.3234287776531}{\left(\left(1.0 - z\right) - 1.0\right) + 3.0}\right) + \frac{-176.6150291621406}{\left(\left(1.0 - z\right) - 1.0\right) + 4.0}\right) + \frac{12.507343278686905}{\left(\left(1.0 - z\right) - 1.0\right) + 5.0}\right) + \frac{-0.13857109526572012}{\left(\left(1.0 - z\right) - 1.0\right) + 6.0}\right) + \frac{9.984369578019572 \cdot 10^{-06}}{\left(\left(1.0 - z\right) - 1.0\right) + 7.0}\right) + \frac{1.5056327351493116 \cdot 10^{-07}}{\left(\left(1.0 - z\right) - 1.0\right) + 8.0}\right)\right)
double f(double z) {
        double r3792482 = atan2(1.0, 0.0);
        double r3792483 = z;
        double r3792484 = r3792482 * r3792483;
        double r3792485 = sin(r3792484);
        double r3792486 = r3792482 / r3792485;
        double r3792487 = 2.0;
        double r3792488 = r3792482 * r3792487;
        double r3792489 = sqrt(r3792488);
        double r3792490 = 1.0;
        double r3792491 = r3792490 - r3792483;
        double r3792492 = r3792491 - r3792490;
        double r3792493 = 7.0;
        double r3792494 = r3792492 + r3792493;
        double r3792495 = 0.5;
        double r3792496 = r3792494 + r3792495;
        double r3792497 = r3792492 + r3792495;
        double r3792498 = pow(r3792496, r3792497);
        double r3792499 = r3792489 * r3792498;
        double r3792500 = -r3792496;
        double r3792501 = exp(r3792500);
        double r3792502 = r3792499 * r3792501;
        double r3792503 = 0.9999999999998099;
        double r3792504 = 676.5203681218851;
        double r3792505 = r3792492 + r3792490;
        double r3792506 = r3792504 / r3792505;
        double r3792507 = r3792503 + r3792506;
        double r3792508 = -1259.1392167224028;
        double r3792509 = r3792492 + r3792487;
        double r3792510 = r3792508 / r3792509;
        double r3792511 = r3792507 + r3792510;
        double r3792512 = 771.3234287776531;
        double r3792513 = 3.0;
        double r3792514 = r3792492 + r3792513;
        double r3792515 = r3792512 / r3792514;
        double r3792516 = r3792511 + r3792515;
        double r3792517 = -176.6150291621406;
        double r3792518 = 4.0;
        double r3792519 = r3792492 + r3792518;
        double r3792520 = r3792517 / r3792519;
        double r3792521 = r3792516 + r3792520;
        double r3792522 = 12.507343278686905;
        double r3792523 = 5.0;
        double r3792524 = r3792492 + r3792523;
        double r3792525 = r3792522 / r3792524;
        double r3792526 = r3792521 + r3792525;
        double r3792527 = -0.13857109526572012;
        double r3792528 = 6.0;
        double r3792529 = r3792492 + r3792528;
        double r3792530 = r3792527 / r3792529;
        double r3792531 = r3792526 + r3792530;
        double r3792532 = 9.984369578019572e-06;
        double r3792533 = r3792532 / r3792494;
        double r3792534 = r3792531 + r3792533;
        double r3792535 = 1.5056327351493116e-07;
        double r3792536 = 8.0;
        double r3792537 = r3792492 + r3792536;
        double r3792538 = r3792535 / r3792537;
        double r3792539 = r3792534 + r3792538;
        double r3792540 = r3792502 * r3792539;
        double r3792541 = r3792486 * r3792540;
        return r3792541;
}

Reproduce

Please include this information when filing a bug report:

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

Backtrace

->bf: contract violation expected: value? given: 'PI in: the 1st argument of (-> value? bigvalue?) contract from: (function ->bf) blaming: /data/pavpan/nightlies/herbie/optional-posits/src/float.rkt (assuming the contract is correct) at: /data/pavpan/nightlies/herbie/optional-posits/src/float.rkt:163.18LC
raise-blame-error16/opt/racket-7.0/collects/racket/contract/private/blame.rkt3470
(unnamed)/opt/racket-7.0/collects/racket/contract/private/arrow-higher-order.rkt35733
(unnamed)/data/pavpan/nightlies/herbie/optional-posits/src/core/localize.rkt2213
hash-ref!/opt/racket-7.0/collects/racket/private/more-scheme.rkt3762
loop/opt/racket-7.0/collects/racket/private/map.rkt4019
parse-loop15/opt/racket-7.0/collects/racket/match/compiler.rkt41815
hash-ref!/opt/racket-7.0/collects/racket/private/more-scheme.rkt3762
loop/opt/racket-7.0/collects/racket/private/map.rkt4019
parse-loop15/opt/racket-7.0/collects/racket/match/compiler.rkt41815
hash-ref!/opt/racket-7.0/collects/racket/private/more-scheme.rkt3762
loop/opt/racket-7.0/collects/racket/private/map.rkt4019
parse-loop15/opt/racket-7.0/collects/racket/match/compiler.rkt41815
hash-ref!/opt/racket-7.0/collects/racket/private/more-scheme.rkt3762
loop/opt/racket-7.0/collects/racket/private/map.rkt4019
parse-loop15/opt/racket-7.0/collects/racket/match/compiler.rkt41815
hash-ref!/opt/racket-7.0/collects/racket/private/more-scheme.rkt3762
localize-error/data/pavpan/nightlies/herbie/optional-posits/src/core/localize.rkt520
localize!/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt1160
run-iter!/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt3170
for-loop/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt3514
run-improve40/data/pavpan/nightlies/herbie/optional-posits/src/mainloop.rkt3360
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128
run/opt/racket-7.0/share/pkgs/profile-lib/main.rkt392
profile-thunk16/opt/racket-7.0/share/pkgs/profile-lib/main.rkt90
(unnamed)/opt/racket-7.0/collects/racket/private/more-scheme.rkt26128