Time bar (total: 10.0ms) Debug log
Please include this information when filing a bug report:
herbie shell --seed '#(3052192724 3812927732 3686175817 630908657 2373248591 511094450)'
(FPCore (c)
:name "smartRoot"
:pre (let ((a 3) (b 3.5)) (and (<= -2 c 2) (> (- (* b b) (* (* a c) 4.0)) 0.1)))
(if (> (- (* 3.5 3.5) (* 3 c)) 10) (if (> 3.5 0) (/ (* c 2) (- (- 3.5) (sqrt (- (* 3.5 3.5) (* (* 3 c) 4.0))))) (if (< 3.5 0) (/ (+ (- 3.5) (sqrt (- (* 3.5 3.5) (* (* 3 c) 4.0)))) (* 3 2)) (/ (+ (- 3.5) (sqrt (- (* 3.5 3.5) (* (* 3 c) 4.0)))) (* 3 2)))) (/ (+ (- 3.5) (sqrt (- (* 3.5 3.5) (* (* 3 c) 4.0)))) (* 3 2))))| hash-ref: no value found for key key: 'let | L | C | |
|---|---|---|---|
| op->precision | /home/p92/hgeval/herbie/src/programs.rkt | 249 | 24 |
| inductor | /home/p92/hgeval/herbie/src/programs.rkt | 71 | 2 |
| inductor | /home/p92/hgeval/herbie/src/programs.rkt | 71 | 2 |
| eval-prog | /home/p92/hgeval/herbie/src/programs.rkt | 247 | 0 |
| loop | /home/p92/hgeval/herbie/src/points.rkt | 119 | 2 |
| loop | /home/p92/hgeval/herbie/src/points.rkt | 159 | 2 |
| run-improve50 | /home/p92/hgeval/herbie/src/mainloop.rkt | 237 | 0 |
| (unnamed) | /usr/share/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |