Time bar (total: 32.3s)Debug logProfile
Please include this information when filing a bug report:
herbie shell --seed '#(1064173506 2580572819 2847706409 4129882574 1125180799 1845288547)' +o rules:numerics
(FPCore (re im)
:name "math.sqrt on complex, imaginary part, im greater than 0 branch"
(* 0.5 (sqrt (* 2.0 (+ (sqrt (- (* re re) (* im im))) re)))))
| wat | L | C | |
|---|---|---|---|
| for-loop | /data/pavpan/nightlies/herbie/complex-support/src/core/regimes.rkt | 161 | 4 |
| pick-errors | /data/pavpan/nightlies/herbie/complex-support/src/core/regimes.rkt | 158 | 0 |
| option-on-expr | /data/pavpan/nightlies/herbie/complex-support/src/core/regimes.rkt | 90 | 0 |
| f12 | /usr/share/racket/collects/racket/match/compiler.rkt | 507 | 40 |
| split-table | /data/pavpan/nightlies/herbie/complex-support/src/glue.rkt | 168 | 0 |
| get-final-combination | /data/pavpan/nightlies/herbie/complex-support/src/mainloop.rkt | 265 | 0 |
| run-improve50 | /data/pavpan/nightlies/herbie/complex-support/src/mainloop.rkt | 235 | 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 |