Time bar (total: 17.2s)Debug log
2 alts after pruning (2 fresh and 0 done)
Merged error: 0.1b
Found 4 expressions with local error:
| 0.2b | (* (- (/ (* m (- 1 m)) v) 1) m) |
| 0.0b | (/ (* m (- 1 m)) v) |
| 0.0b | (* m (- 1 m)) |
| 0.0b | (- (/ (* m (- 1 m)) v) 1) |
4 calls. Slowest were:
| 9.0ms | (* (- (/ (* m (- 1 m)) v) 1) m) |
| 4.0ms | (- (/ (* m (- 1 m)) v) 1) |
| 3.0ms | (/ (* m (- 1 m)) v) |
4 calls. Slowest were:
| 33.0ms | (* (- (/ (* m (- 1 m)) v) 1) m) |
| 22.0ms | (* m (- 1 m)) |
| 17.0ms | (/ (* m (- 1 m)) v) |
29 calls. Slowest were:
| 240.0ms | (* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m) |
| 121.0ms | (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) |
| 102.0ms | (- (/ (pow m 2) v) (+ m (/ (pow m 3) v))) |
8 alts after pruning (8 fresh and 0 done)
Merged error: 0.0b
Found 4 expressions with local error:
| 0.2b | (* (- (/ (- m (pow m 3)) (* v (+ 1 m))) 1) m) |
| 0.0b | (/ (- m (pow m 3)) (* v (+ 1 m))) |
| 0.0b | (* v (+ 1 m)) |
| 0.0b | (- m (pow m 3)) |
4 calls. Slowest were:
| 35.0ms | (* (- (/ (- m (pow m 3)) (* v (+ 1 m))) 1) m) |
| 6.0ms | (* v (+ 1 m)) |
| 6.0ms | (/ (- m (pow m 3)) (* v (+ 1 m))) |
4 calls. Slowest were:
| 41.0ms | (* (- (/ (- m (pow m 3)) (* v (+ 1 m))) 1) m) |
| 36.0ms | (- m (pow m 3)) |
| 35.0ms | (/ (- m (pow m 3)) (* v (+ 1 m))) |
40 calls. Slowest were:
| 439.0ms | (* (- (pow (/ (- m (pow m 3)) (* v (+ 1 m))) 3) (pow 1 3)) m) |
| 379.0ms | (+ (sqrt (/ (- m (pow m 3)) (* v (+ 1 m)))) 1) |
| 349.0ms | (* (cbrt (- (/ (- m (pow m 3)) (* v (+ 1 m))) 1)) (cbrt (- (/ (- m (pow m 3)) (* v (+ 1 m))) 1))) |
9 alts after pruning (8 fresh and 1 done)
Merged error: 0.0b
Found 3 expressions with local error:
| 0.2b | (* (/ m v) (- m (* m m))) |
| 0.0b | (- m (* m m)) |
| 0.0b | (- (* (/ m v) (- m (* m m))) m) |
3 calls. Slowest were:
| 5.0ms | (- (* (/ m v) (- m (* m m))) m) |
| 4.0ms | (* (/ m v) (- m (* m m))) |
| 0.0ms | (- m (* m m)) |
3 calls. Slowest were:
| 24.0ms | (* (/ m v) (- m (* m m))) |
| 23.0ms | (- (* (/ m v) (- m (* m m))) m) |
| 22.0ms | (- m (* m m)) |
32 calls. Slowest were:
| 302.0ms | (* v (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m))))) |
| 220.0ms | (+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m)))) |
| 168.0ms | (* m (- (* m m) (* (* m m) (* m m)))) |
9 alts after pruning (7 fresh and 2 done)
Merged error: 0b
Found 3 expressions with local error:
| 0.3b | (/ (- m (* m m)) (/ v m)) |
| 0.0b | (- m (* m m)) |
| 0.0b | (- (/ (- m (* m m)) (/ v m)) m) |
3 calls. Slowest were:
| 10.0ms | (- (/ (- m (* m m)) (/ v m)) m) |
| 5.0ms | (/ (- m (* m m)) (/ v m)) |
| 1.0ms | (- m (* m m)) |
3 calls. Slowest were:
| 30.0ms | (- m (* m m)) |
| 29.0ms | (- (/ (- m (* m m)) (/ v m)) m) |
| 24.0ms | (/ (- m (* m m)) (/ v m)) |
45 calls. Slowest were:
| 547.0ms | (- (* m m) (* (* m m) (* m m))) |
| 337.0ms | (/ (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))) (* (* (/ v m) (/ v m)) (/ v m))) |
| 111.0ms | (/ (- m (* m m)) (/ 1 m)) |
7 alts after pruning (6 fresh and 1 done)
Merged error: 0b
Please include this information when filing a bug report:
herbie shell --seed 2018359
(FPCore (m v)
:name "a parameter of renormalized beta distribution"
:pre (and (< 0 m) (< 0 v) (< v 0.25))
(* (- (/ (* m (- 1 m)) v) 1) m))
| partition: contract violation expected: list? given: 0.19308760976438488 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 |