Please include this information when filing a bug report:
herbie shell --seed 2019089 +o rules:numerics
(FPCore (x)
:name "Jmat.Real.dawson"
(*.p16 (/.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.1049934947) (*.p16 x x))) (*.p16 (real->posit16 0.0424060604) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0072644182) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0005064034) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0001789971) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (+.p16 (real->posit16 1) (*.p16 (real->posit16 0.7715471019) (*.p16 x x))) (*.p16 (real->posit16 0.2909738639) (*.p16 (*.p16 x x) (*.p16 x x)))) (*.p16 (real->posit16 0.0694555761) (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0140005442) (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (real->posit16 0.0008327945) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)))) (*.p16 (*.p16 (real->posit16 2) (real->posit16 0.0001789971)) (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 (*.p16 x x) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x)) (*.p16 x x))))) x))
| 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 |