Time bar (total: 4.8s)Debug logProfile
Please include this information when filing a bug report:
herbie shell --seed '#(1070991898 1055468627 4280279443 640792587 928206309 3646738750)'
(FPCore (x)
:name "arccos"
(* 2 (atan (sqrt (/ (- 1 x) (+ 1 x))))))
| atan: given value does not fit primitive C type C type: _double given value: 0+nan.0i | 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 |