Time bar (total: 1.5m)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.4b | (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v)))) |
| 0.4b | (/ (/ (+ 1 (* (* -5 v) v)) PI) (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v))))) |
| 0.2b | (* (* -5 v) v) |
| 0.2b | (* (* -3 v) (* v 2)) |
4 calls. Slowest were:
| 32.0ms | (/ (/ (+ 1 (* (* -5 v) v)) PI) (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v))))) |
| 12.0ms | (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v)))) |
| 4.0ms | (* (* -5 v) v) |
4 calls. Slowest were:
| 228.0ms | (/ (/ (+ 1 (* (* -5 v) v)) PI) (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v))))) |
| 131.0ms | (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- 1 (* v v)))) |
| 20.0ms | (* (* -5 v) v) |
69 calls. Slowest were:
| 815.0ms | (* (* (* (* -3 v) (* -3 v)) (* -3 v)) (* (* (* v 2) (* v 2)) (* v 2))) |
| 696.0ms | (* (sqrt (- (* (* (* -3 v) (* v 2)) (* (* -3 v) (* v 2))) (* 2 2))) (* t (- (* 1 1) (* (* v v) (* v v))))) |
| 484.0ms | (* (sqrt (- (* (* -3 v) (* v 2)) 2)) (+ (* 1 1) (+ (* (* v v) (* v v)) (* 1 (* v v))))) |
5 alts after pruning (5 fresh and 0 done)
Merged error: 0b
Found 4 expressions with local error:
| 0.2b | (* (* -5 v) v) |
| 0.2b | (* (* -3 v) (* v 2)) |
| 0.1b | (/ (/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (* (* -3 v) (* v 2)) 2))) (* t (- 1 (* v v)))) |
| 0.0b | (/ (+ 1 (* (* -5 v) v)) PI) |
4 calls. Slowest were:
| 19.0ms | (/ (/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (* (* -3 v) (* v 2)) 2))) (* t (- 1 (* v v)))) |
| 6.0ms | (/ (+ 1 (* (* -5 v) v)) PI) |
| 3.0ms | (* (* -3 v) (* v 2)) |
4 calls. Slowest were:
| 248.0ms | (/ (/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (* (* -3 v) (* v 2)) 2))) (* t (- 1 (* v v)))) |
| 123.0ms | (/ (+ 1 (* (* -5 v) v)) PI) |
| 20.0ms | (* (* -5 v) v) |
116 calls. Slowest were:
| 779.0ms | (* (* (* (* -3 v) (* -3 v)) (* -3 v)) (* (* (* v 2) (* v 2)) (* v 2))) |
| 493.0ms | (/ (/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (pow (* (* -3 v) (* v 2)) 3) (pow 2 3)))) t) |
| 435.0ms | (/ (/ (+ 1 (* (* -5 v) v)) PI) (sqrt (+ (pow (* (* -3 v) (* v 2)) 3) (pow 2 3)))) |
4 alts after pruning (3 fresh and 1 done)
Merged error: 0b
Found 4 expressions with local error:
| 0.4b | (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- (* 1 1) (* (* v v) (* v v))))) |
| 0.4b | (/ (/ (+ 1 (* (* -5 v) v)) PI) (/ (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- (* 1 1) (* (* v v) (* v v))))) (+ 1 (* v v)))) |
| 0.2b | (* (* -5 v) v) |
| 0.2b | (* (* -3 v) (* v 2)) |
4 calls. Slowest were:
| 21.0ms | (/ (/ (+ 1 (* (* -5 v) v)) PI) (/ (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- (* 1 1) (* (* v v) (* v v))))) (+ 1 (* v v)))) |
| 15.0ms | (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- (* 1 1) (* (* v v) (* v v))))) |
| 7.0ms | (* (* -3 v) (* v 2)) |
4 calls. Slowest were:
| 326.0ms | (/ (/ (+ 1 (* (* -5 v) v)) PI) (/ (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- (* 1 1) (* (* v v) (* v v))))) (+ 1 (* v v)))) |
| 109.0ms | (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (* t (- (* 1 1) (* (* v v) (* v v))))) |
| 18.0ms | (* (* -5 v) v) |
136 calls. Slowest were:
| 698.0ms | (* (* t (- (* (* v v) (* v v)))) (sqrt (+ (* (* -3 v) (* v 2)) 2))) |
| 642.0ms | (* (* (* (* -3 v) (* -3 v)) (* -3 v)) (* (* (* v 2) (* v 2)) (* v 2))) |
| 604.0ms | (/ (* (* (/ (+ 1 (* (* -5 v) v)) PI) (/ (+ 1 (* (* -5 v) v)) PI)) (/ (+ 1 (* (* -5 v) v)) PI)) (/ (* (* (* (sqrt (+ (* (* -3 v) (* v 2)) 2)) (sqrt (+ (* (* -3 v) (* v 2)) 2))) (sqrt (+ (* (* -3 v) (* v 2)) 2))) (* (* (* t (- (* 1 1) (* (* v v) (* v v)))) (* t (- (* 1 1) (* (* v v) (* v v))))) (* t (- (* 1 1) (* (* v v) (* v v)))))) (* (* (+ 1 (* v v)) (+ 1 (* v v))) (+ 1 (* v v))))) |
4 alts after pruning (2 fresh and 2 done)
Merged error: 0b
Found 4 expressions with local error:
| 0.2b | (* (/ 1 t) (/ (/ (+ 1 (* (* v v) -5)) (* PI (- 1 (* v v)))) (sqrt (+ (* -6 (* v v)) 2)))) |
| 0.2b | (* (* v v) -5) |
| 0.2b | (* -6 (* v v)) |
| 0.0b | (* PI (- 1 (* v v))) |
4 calls. Slowest were:
| 10.0ms | (* (/ 1 t) (/ (/ (+ 1 (* (* v v) -5)) (* PI (- 1 (* v v)))) (sqrt (+ (* -6 (* v v)) 2)))) |
| 2.0ms | (* (* v v) -5) |
| 1.0ms | (* PI (- 1 (* v v))) |
4 calls. Slowest were:
| 267.0ms | (* (/ 1 t) (/ (/ (+ 1 (* (* v v) -5)) (* PI (- 1 (* v v)))) (sqrt (+ (* -6 (* v v)) 2)))) |
| 93.0ms | (* PI (- 1 (* v v))) |
| 21.0ms | (* (* v v) -5) |
94 calls. Slowest were:
| 388.0ms | (* (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (/ (/ (* (* (+ 1 (* (* v v) -5)) (+ 1 (* (* v v) -5))) (+ 1 (* (* v v) -5))) (* (* (* PI (- 1 (* v v))) (* PI (- 1 (* v v)))) (* PI (- 1 (* v v))))) (* (* (sqrt (+ (* -6 (* v v)) 2)) (sqrt (+ (* -6 (* v v)) 2))) (sqrt (+ (* -6 (* v v)) 2))))) |
| 352.0ms | (+ (log (/ 1 t)) (log (/ (/ (+ 1 (* (* v v) -5)) (* PI (- 1 (* v v)))) (sqrt (+ (* -6 (* v v)) 2))))) |
| 328.0ms | (/ (/ 1 (* PI (- 1 (* v v)))) (sqrt (sqrt (+ (* -6 (* v v)) 2)))) |
4 alts after pruning (1 fresh and 3 done)
Merged error: 0b
Please include this information when filing a bug report:
herbie shell --seed 2018359
(FPCore (v t)
:name "Falkner and Boettcher, Equation (20:1,3)"
(/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))
| partition: contract violation expected: list? given: 0.11038808217958031 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 |