Time bar (total: 1.6m)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 1.0b | (/ 4/3 PI) |
| 0.2b | (* (* v v) -6) |
| 0.0b | (/ (/ 4/3 PI) (- 1 (* v v))) |
| 0.0b | (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
4 calls. Slowest were:
| 12.0ms | (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
| 5.0ms | (/ (/ 4/3 PI) (- 1 (* v v))) |
| 4.0ms | (* (* v v) -6) |
4 calls. Slowest were:
| 201.0ms | (/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
| 97.0ms | (/ (/ 4/3 PI) (- 1 (* v v))) |
| 18.0ms | (* (* v v) -6) |
289 calls. Slowest were:
| 759.0ms | (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) |
| 633.0ms | (- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI)))))) |
| 570.0ms | (/ (/ (/ 4/3 PI) (- (* 1 1) (* (* v v) (* v v)))) (sqrt (* (cbrt (+ 2 (* (* v v) -6))) (cbrt (+ 2 (* (* v v) -6)))))) |
2 alts after pruning (2 fresh and 0 done)
Merged error: 0b
Found 3 expressions with local error:
| 0.2b | (* (* v v) -6) |
| 0.0b | (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) |
| 0.0b | (/ (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
3 calls. Slowest were:
| 7.0ms | (/ (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
| 3.0ms | (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) |
| 2.0ms | (* (* v v) -6) |
3 calls. Slowest were:
| 217.0ms | (/ (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
| 61.0ms | (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) |
| 24.0ms | (* (* v v) -6) |
336 calls. Slowest were:
| 907.0ms | (/ (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
| 714.0ms | (/ (/ (/ 1 (/ PI 4/3)) (- (* 1 1) (* (* v v) (* v v)))) (sqrt (* (cbrt (+ 2 (* (* v v) -6))) (cbrt (+ 2 (* (* v v) -6)))))) |
| 700.0ms | (/ (/ (/ 1 (/ PI 4/3)) (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
2 alts after pruning (1 fresh and 1 done)
Merged error: 0b
Found 4 expressions with local error:
| 1.0b | (/ (/ 4/3 (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
| 1.0b | (* (/ 1 PI) (/ (/ 4/3 (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) |
| 0.2b | (* (* v v) -6) |
| 0.0b | (/ 4/3 (- 1 (* v v))) |
4 calls. Slowest were:
| 12.0ms | (/ (/ 4/3 (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
| 11.0ms | (* (/ 1 PI) (/ (/ 4/3 (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) |
| 4.0ms | (* (* v v) -6) |
4 calls. Slowest were:
| 200.0ms | (* (/ 1 PI) (/ (/ 4/3 (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) |
| 133.0ms | (/ (/ 4/3 (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6)))) |
| 16.0ms | (* (* v v) -6) |
156 calls. Slowest were:
| 506.0ms | (* (/ 1 PI) (/ (/ 4/3 (- 1 (* v v))) (sqrt (+ 2 (* (* v v) -6))))) |
| 506.0ms | (- (+ (* 4/3 (/ 1 (pow v 4))) (+ (* 4/3 (/ 1 (pow v 6))) (* 4/3 (/ 1 (pow v 2)))))) |
| 473.0ms | (- (+ (* 4/3 (* (pow v 2) (sqrt 1/2))) (+ (* 4/3 (* (pow v 4) (sqrt 1/2))) (+ (* 4/3 (sqrt 1/2)) (+ (* 4 (/ (pow v 4) (sqrt 1/2))) (/ (pow v 2) (sqrt 1/2)))))) (* 3/8 (/ (pow v 4) (pow (sqrt 1/2) 3)))) |
2 alts after pruning (0 fresh and 2 done)
Merged error: 0b
Please include this information when filing a bug report:
herbie shell --seed 2018359
(FPCore (v)
:name "Falkner and Boettcher, Equation (22+)"
(/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))))
| partition: contract violation expected: list? given: 0.011436481637041212 argument position: 2nd other arguments...: #<procedure:ordinary-value?> | L | C | |
|---|---|---|---|
| partition | /home/p92/racket/collects/racket/list.rkt | 555 | 0 |
| errors-score | /data/pavpan/nightlies/herbie/develop/src/points.rkt | 322 | 0 |
| for-loop | /data/pavpan/nightlies/herbie/develop/src/sandbox.rkt | 75 | 12 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |
| run | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 39 | 2 |
| profile-thunk16 | /home/p92/racket/share/pkgs/profile-lib/main.rkt | 9 | 0 |
| (unnamed) | /home/p92/racket/collects/racket/private/more-scheme.rkt | 261 | 28 |