Please include this information when filing a bug report:
herbie shell --seed 2019089 +o rules:numerics
(FPCore (K m n M l)
:name "Maksimov and Kolovsky, Equation (32)"
(* (cos (- (/ (* K (+ m n)) 2) M)) (exp (- (- (pow (- (/ (+ m n) 2) M) 2)) (- l (fabs (- m n)))))))
| 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 |
| p16s-between | /data/pavpan/nightlies/herbie/develop/src/syntax/softposit.rkt | 180 | 0 |
| (unnamed) | /data/pavpan/nightlies/herbie/develop/src/core/localize.rkt | 43 | 32 |
| map | /opt/racket-7.0/collects/racket/private/map.rkt | 35 | 13 |
| f8 | /opt/racket-7.0/collects/racket/match/compiler.rkt | 507 | 40 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| map | /opt/racket-7.0/collects/racket/private/map.rkt | 35 | 13 |
| f8 | /opt/racket-7.0/collects/racket/match/compiler.rkt | 507 | 40 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| loop | /opt/racket-7.0/collects/racket/private/map.rkt | 40 | 19 |
| parse-loop14 | /opt/racket-7.0/collects/racket/match/compiler.rkt | 418 | 15 |
| hash-ref! | /opt/racket-7.0/collects/racket/private/more-scheme.rkt | 376 | 2 |
| localize-error | /data/pavpan/nightlies/herbie/develop/src/core/localize.rkt | 51 | 0 |
| localize! | /data/pavpan/nightlies/herbie/develop/src/mainloop.rkt | 126 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/develop/src/mainloop.rkt | 327 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/develop/src/mainloop.rkt | 361 | 4 |
| 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 |