Error in 17.0s

Runtime

Time bar (total: 17.0s)Debug logProfile

start212.0ms

Algorithm
intervals

setup350.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize18.0ms

Local error

Found 3 expressions with local error:

0.2b
(/ (- m (* m m)) (/ v m))
0.0b
(- (/ (- m (* m m)) (/ v m)) m)
0.0b
(- m (* m m))

rewrite23.0ms

Algorithm
rewrite-expression-head
Counts
3 → 58
Calls

3 calls. Slowest were:

6.0ms
(- (/ (- m (* m m)) (/ v m)) m)
6.0ms
(/ (- m (* m m)) (/ v m))
0.0ms
(- m (* m m))

series78.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

33.0ms
(/ (- m (* m m)) (/ v m))
28.0ms
(- m (* m m))
16.0ms
(- (/ (- m (* m m)) (/ v m)) m)

simplify2.1s

Counts
45 → 67
Calls

45 calls. Slowest were:

482.0ms
(- (* m m) (* (* m m) (* m m)))
349.0ms
(/ (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))) (* (* (/ v m) (/ v m)) (/ v m)))
130.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune639.0ms

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 4 expressions with local error:

2.9b
(/ (* m m) (/ v m))
0.1b
(/ m (/ v m))
0.0b
(- (- (/ m (/ v m)) (/ (* m m) (/ v m))) m)
0.0b
(- (/ m (/ v m)) (/ (* m m) (/ v m)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Counts
4 → 72
Calls

4 calls. Slowest were:

50.0ms
(- (- (/ m (/ v m)) (/ (* m m) (/ v m))) m)
8.0ms
(- (/ m (/ v m)) (/ (* m m) (/ v m)))
4.0ms
(/ (* m m) (/ v m))

series91.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

31.0ms
(- (/ m (/ v m)) (/ (* m m) (/ v m)))
26.0ms
(- (- (/ m (/ v m)) (/ (* m m) (/ v m))) m)
18.0ms
(/ (* m m) (/ v m))

simplify1.6s

Counts
50 → 84
Calls

50 calls. Slowest were:

556.0ms
(/ (* (* (* m m) (* m m)) (* m m)) (* (* (/ v m) (/ v m)) (/ v m)))
206.0ms
(- (* m (/ v m)) (* (/ v m) (* m m)))
106.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune798.0ms

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0b

localize19.0ms

Local error

Found 4 expressions with local error:

10.6b
(/ (pow m 3) v)
0.1b
(/ m (/ v m))
0.0b
(- (- (/ m (/ v m)) (/ (pow m 3) v)) m)
0.0b
(- (/ m (/ v m)) (/ (pow m 3) v))

rewrite32.0ms

Algorithm
rewrite-expression-head
Counts
4 → 59
Calls

4 calls. Slowest were:

24.0ms
(- (- (/ m (/ v m)) (/ (pow m 3) v)) m)
4.0ms
(- (/ m (/ v m)) (/ (pow m 3) v))
2.0ms
(/ (pow m 3) v)

series80.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

26.0ms
(- (- (/ m (/ v m)) (/ (pow m 3) v)) m)
21.0ms
(- (/ m (/ v m)) (/ (pow m 3) v))
17.0ms
(/ m (/ v m))

simplify758.0ms

Counts
28 → 71
Calls

28 calls. Slowest were:

222.0ms
(- (* m v) (* (/ v m) (pow m 3)))
117.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
99.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune840.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.6b
(/ 1 (/ (/ v m) (- m (* m m))))
0.2b
(/ (/ v m) (- m (* m m)))
0.0b
(- (/ 1 (/ (/ v m) (- m (* m m)))) m)
0.0b
(- m (* m m))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 89
Calls

4 calls. Slowest were:

3.0ms
(/ (/ v m) (- m (* m m)))
3.0ms
(- (/ 1 (/ (/ v m) (- m (* m m)))) m)
2.0ms
(/ 1 (/ (/ v m) (- m (* m m))))

series165.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

57.0ms
(/ 1 (/ (/ v m) (- m (* m m))))
48.0ms
(/ (/ v m) (- m (* m m)))
34.0ms
(- (/ 1 (/ (/ v m) (- m (* m m)))) m)

simplify2.5s

Counts
65 → 101
Calls

65 calls. Slowest were:

345.0ms
(/ (* (* (/ v m) (/ v m)) (/ v m)) (* (* (- m (* m m)) (- m (* m m))) (- m (* m m))))
258.0ms
(+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m))))
244.0ms
(+ (* m m) (+ (* (* m m) (* m m)) (* m (* m m))))

prune1.0s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 0b

regimes114.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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))

Backtrace

partition: contract violation expected: list? given: 0.16694006930076025 argument position: 2nd other arguments...: #<procedure:ordinary-value?>LC
partition/home/p92/racket/collects/racket/list.rkt5550
errors-score/data/pavpan/nightlies/herbie/develop/src/points.rkt3220
for-loop/data/pavpan/nightlies/herbie/develop/src/sandbox.rkt7512
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128
run/home/p92/racket/share/pkgs/profile-lib/main.rkt392
profile-thunk16/home/p92/racket/share/pkgs/profile-lib/main.rkt90
(unnamed)/home/p92/racket/collects/racket/private/more-scheme.rkt26128