Please include this information when filing a bug report:
herbie shell --seed 2019089 +o rules:numerics
(FPCore (alpha beta)
:name "Octave 3.8, jcobi/1"
:pre (and (>.p16 alpha (real->posit16 -1)) (>.p16 beta (real->posit16 -1)))
(/.p16 (+.p16 (/.p16 (-.p16 beta alpha) (+.p16 (+.p16 alpha beta) (real->posit16 2.0))) (real->posit16 1.0)) (real->posit16 2.0)))
| 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 |