Error in 6.2s

Reproduce

Please include this information when filing a bug report:

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

Backtrace

dynamic-require: name is not provided name: 'posit16-nar module: #<resolved-module-path:"/home/p92/.racket/7.0/pkgs/softposit-rkt/main.rkt">LC
get-sym/opt/racket-7.0/collects/racket/lazy-require.rkt8913
(unnamed)/opt/racket-7.0/collects/racket/promise.rkt7415
call-with-exception-handler/opt/racket-7.0/collects/racket/private/more-scheme.rkt2652
(unnamed)/opt/racket-7.0/collects/racket/promise.rkt422
(unnamed)/opt/racket-7.0/collects/racket/lazy-require.rkt1066
p16s-between/data/pavpan/nightlies/herbie/develop/src/syntax/softposit.rkt1800
(unnamed)/data/pavpan/nightlies/herbie/develop/src/core/localize.rkt4332
map/opt/racket-7.0/collects/racket/private/map.rkt3513
f8/opt/racket-7.0/collects/racket/match/compiler.rkt50740
hash-ref!/opt/racket-7.0/collects/racket/private/more-scheme.rkt3762
map/opt/racket-7.0/collects/racket/private/map.rkt3513
f8/opt/racket-7.0/collects/racket/match/compiler.rkt50740
hash-ref!/opt/racket-7.0/collects/racket/private/more-scheme.rkt3762
loop/opt/racket-7.0/collects/racket/private/map.rkt4019
parse-loop14/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-loop14/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-loop14/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-loop14/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-loop14/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-loop14/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/develop/src/core/localize.rkt510
localize!/data/pavpan/nightlies/herbie/develop/src/mainloop.rkt1260
run-iter!/data/pavpan/nightlies/herbie/develop/src/mainloop.rkt3270
for-loop/data/pavpan/nightlies/herbie/develop/src/mainloop.rkt3614
run-improve43/data/pavpan/nightlies/herbie/develop/src/mainloop.rkt3460
(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