Please include this information when filing a bug report:
herbie shell --seed 2020273
(FPCore (z)
:name "Jmat.Real.gamma, branch z less than 0.5"
:precision binary64
:pre (<= z 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))))))
| match: no matching clause for 'real | L | C | |
|---|---|---|---|
| match:error | /opt/racket-7.8/collects/racket/match/runtime.rkt | 24 | 0 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 168 | 15 |
| f387 | unknown | ||
| munge | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 149 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 179 | 4 |
| batch-eval-progs | /data/pavpan/nightlies/herbie/egg-taylor/src/programs.rkt | 125 | 0 |
| batch-errors | /data/pavpan/nightlies/herbie/egg-taylor/src/points.rkt | 169 | 0 |
| atab-add-altns | /data/pavpan/nightlies/herbie/egg-taylor/src/core/alt-table.rkt | 194 | 0 |
| (unnamed) | /opt/racket-7.8/collects/racket/contract/private/arrow-val-first.rkt | 486 | 18 |
| finalize-iter! | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 285 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 353 | 0 |
| run-improve | /data/pavpan/nightlies/herbie/egg-taylor/src/mainloop.rkt | 372 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/egg-taylor/src/sandbox.rkt | 72 | 6 |
| run | /opt/racket-7.8/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk | /opt/racket-7.8/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.8/collects/racket/engine.rkt | 42 | 24 |
herbie shell --seed 2020273
(FPCore (z)
:name "Jmat.Real.gamma, branch z less than 0.5"
:precision binary64
:pre (<= z 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))))))