Time bar (total: 39.7s)Debug logProfile
Please include this information when filing a bug report:
herbie shell --seed '#(1070991898 1055468627 4280279443 640792587 928206309 3646738750)' +o rules:numerics
(FPCore (n U t l Om U*)
:name "Toniolo and Linder, Equation (13)"
(sqrt (* (* (* 2 n) U) (- (- t (* 2 (/ (* l l) Om))) (* (* n (pow (/ l Om) 2)) (- U U*))))))
| fma: given value does not fit primitive C type C type: _double given value: 0+1.8393735979702984e-61i | L | C | |
|---|---|---|---|
| (unnamed) | /usr/share/racket/collects/racket/private/kw.rkt | 444 | 14 |
| (unnamed) | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/programs.rkt | 154 | 4 |
| for-loop | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/points.rkt | 221 | 4 |
| errors | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/points.rkt | 218 | 0 |
| best-and-tied-at-points | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/core/alt-table.rkt | 122 | 0 |
| atab-add-altn | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/core/alt-table.rkt | 208 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/core/alt-table.rkt | 51 | 2 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt | 357 | 18 |
| finalize-iter! | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/mainloop.rkt | 169 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/mainloop.rkt | 215 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/mainloop.rkt | 249 | 10 |
| run-improve50 | /data/pavpan/nightlies/herbie/fix-simplify-bug/src/mainloop.rkt | 234 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /usr/share/racket/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /usr/share/racket/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |