Please include this information when filing a bug report:
herbie shell --seed 2019089 +o rules:numerics
(FPCore (a b_2 c)
:name "quad2m (problem 3.2.1, negative)"
(/.p16 (-.p16 (neg.p16 b_2) (sqrt.p16 (-.p16 (*.p16 b_2 b_2) (*.p16 a c)))) a))
| dynamic-require: name is not provided name: 'posit16-nar module: #<resolved-module-path:"/home/p92/.racket/7.0/pkgs/softposit-rkt/main.rkt"> | L | C | |
|---|---|---|---|
| get-sym | /opt/racket-7.0/collects/racket/lazy-require.rkt | 89 | 13 |
| (unnamed) | /opt/racket-7.0/collects/racket/promise.rkt | 74 | 15 |
| call-with-exception-handler | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 265 | 2 |
| (unnamed) | /opt/racket-7.0/collects/racket/promise.rkt | 42 | 2 |
| (unnamed) | /opt/racket-7.0/collects/racket/lazy-require.rkt | 106 | 6 |
| ordinary-value? | /data/pavpan/nightlies/herbie/develop/src/common.rkt | 81 | 0 |
| filter-p&e | /data/pavpan/nightlies/herbie/develop/src/points.rkt | 281 | 0 |
| loop | /data/pavpan/nightlies/herbie/develop/src/points.rkt | 313 | 2 |
| setup-prog!34 | /data/pavpan/nightlies/herbie/develop/src/mainloop.rkt | 63 | 0 |
| run-improve43 | /data/pavpan/nightlies/herbie/develop/src/mainloop.rkt | 346 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /opt/racket-7.0/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 261 | 28 |