Time bar (total: 59.5s)Debug logProfile
Please include this information when filing a bug report:
herbie shell --seed 2018214
(FPCore (N)
:name "2log (problem 3.3.6)"
(- (log (+ N 1)) (log N)))
| expt: undefined for 0 and -1 | L | C | |
|---|---|---|---|
| (unnamed) | /usr/share/racket/collects/racket/private/kw.rkt | 444 | 14 |
| (unnamed) | /data/pavpan/nightlies/herbie/clean-out-code/src/programs.rkt | 129 | 2 |
| for-loop | /data/pavpan/nightlies/herbie/clean-out-code/src/core/simplify.rkt | 145 | 2 |
| loop | /usr/share/racket/collects/racket/private/map.rkt | 25 | 19 |
| loop | /usr/share/racket/collects/racket/private/map.rkt | 25 | 19 |
| loop | /usr/share/racket/collects/racket/private/map.rkt | 25 | 19 |
| loop | /usr/share/racket/collects/racket/private/map.rkt | 25 | 19 |
| loop | /usr/share/racket/collects/racket/private/map.rkt | 25 | 19 |
| loop | /usr/share/racket/collects/racket/private/map.rkt | 25 | 19 |
| loop | /usr/share/racket/collects/racket/private/map.rkt | 25 | 19 |
| loop | /usr/share/racket/collects/racket/private/map.rkt | 25 | 19 |
| loop | /usr/share/racket/collects/racket/private/map.rkt | 25 | 19 |
| map-enodes | /data/pavpan/nightlies/herbie/clean-out-code/src/core/egraph.rkt | 140 | 0 |
| iterate-egraph!7 | /data/pavpan/nightlies/herbie/clean-out-code/src/core/simplify.rkt | 55 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/private/norm-define.rkt | 53 | 83 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt | 342 | 33 |
| location-do | /usr/share/racket/collects/racket/private/norm-define.rkt | 53 | 83 |
| location-do | /usr/share/racket/collects/racket/private/norm-define.rkt | 53 | 83 |
| (unnamed) | /usr/share/racket/collects/racket/contract/private/arrow-higher-order.rkt | 342 | 33 |
| for-loop | /data/pavpan/nightlies/herbie/clean-out-code/src/mainloop.rkt | 209 | 8 |
| for-loop | /data/pavpan/nightlies/herbie/clean-out-code/src/mainloop.rkt | 185 | 6 |
| simplify! | /data/pavpan/nightlies/herbie/clean-out-code/src/mainloop.rkt | 181 | 0 |
| run-iter! | /data/pavpan/nightlies/herbie/clean-out-code/src/mainloop.rkt | 267 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/clean-out-code/src/mainloop.rkt | 303 | 8 |
| run-improve48 | /data/pavpan/nightlies/herbie/clean-out-code/src/mainloop.rkt | 286 | 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 |