Time bar (total: 2.8m)Debug logProfile
Please include this information when filing a bug report:
herbie shell --seed '#(1070131407 1246090267 3027482374 2150728003 2026520792 2347815650)'
(FPCore (x)
:name "Jmat.Real.dawson"
(* (/ (+ (+ (+ (+ (+ 1 (* 0.1049934947 (* x x))) (* 0.0424060604 (* (* x x) (* x x)))) (* 0.0072644182 (* (* (* x x) (* x x)) (* x x)))) (* 0.0005064034 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0001789971 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (+ (+ (+ (+ (+ (+ 1 (* 0.7715471019 (* x x))) (* 0.2909738639 (* (* x x) (* x x)))) (* 0.0694555761 (* (* (* x x) (* x x)) (* x x)))) (* 0.0140005442 (* (* (* (* x x) (* x x)) (* x x)) (* x x)))) (* 0.0008327945 (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)))) (* (* 2 0.0001789971) (* (* (* (* (* (* x x) (* x x)) (* x x)) (* x x)) (* x x)) (* x x))))) x))
| assert: (not (null? points)) returned false! | L | C | |
|---|---|---|---|
| mk-pcontext | /data/pavpan/nightlies/herbie/develop/src/points.rkt | 87 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/develop/src/core/alt-table.rkt | 75 | 2 |
| split-atab | /data/pavpan/nightlies/herbie/develop/src/core/alt-table.rkt | 74 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-val-first.rkt | 357 | 18 |
| split-table | /data/pavpan/nightlies/herbie/develop/src/glue.rkt | 162 | 0 |
| get-final-combination | /data/pavpan/nightlies/herbie/develop/src/mainloop.rkt | 264 | 0 |
| run-improve50 | /data/pavpan/nightlies/herbie/develop/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 |