Error in 23.2s

Runtime

Time bar (total: 23.2s)Debug log

start227.0ms

Algorithm
intervals

setup549.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize23.0ms

Local error

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)

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 69
Calls

4 calls. Slowest were:

10.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)
4.0ms
(- (/ (* m (- 1 m)) v) 1)
3.0ms
(/ (* m (- 1 m)) v)

series104.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

33.0ms
(* m (- 1 m))
28.0ms
(/ (* m (- 1 m)) v)
25.0ms
(* (- (/ (* m (- 1 m)) v) 1) m)

simplify2.1s

Counts
33 → 81
Calls

33 calls. Slowest were:

367.0ms
(* (- (pow (/ (* m (- 1 m)) v) 3) (pow 1 3)) m)
181.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))
176.0ms
(- (/ (pow m 2) v) (+ m (/ (pow m 3) v)))

prune839.0ms

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 0.0b

localize28.0ms

Local error

Found 3 expressions with local error:

0.2b
(* (- (/ m v) (fma m (/ m v) 1)) m)
0.1b
(fma m (/ m v) 1)
0.0b
(- (/ m v) (fma m (/ m v) 1))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
3 → 60
Calls

3 calls. Slowest were:

17.0ms
(* (- (/ m v) (fma m (/ m v) 1)) m)
4.0ms
(- (/ m v) (fma m (/ m v) 1))
0.0ms
(fma m (/ m v) 1)

series64.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

22.0ms
(- (/ m v) (fma m (/ m v) 1))
21.0ms
(* (- (/ m v) (fma m (/ m v) 1)) m)
21.0ms
(fma m (/ m v) 1)

simplify4.5s

Counts
44 → 69
Calls

44 calls. Slowest were:

309.0ms
(fma 1 (/ m v) (- (* (fma m (/ m v) 1) 1)))
277.0ms
(fma m (/ 1 v) (- (* (fma m (/ m v) 1) 1)))
264.0ms
(fma (- (fma m (/ m v) 1)) 1 (* (fma m (/ m v) 1) 1))

prune871.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 72
Calls

4 calls. Slowest were:

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

series118.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

34.0ms
(/ 1 (/ v (* m (- 1 m))))
33.0ms
(* m (- 1 m))
30.0ms
(/ v (* m (- 1 m)))

simplify2.1s

Counts
37 → 84
Calls

37 calls. Slowest were:

412.0ms
(* (- (pow (/ 1 (/ v (* m (- 1 m)))) 3) (pow 1 3)) m)
239.0ms
(+ (sqrt (/ 1 (/ v (* m (- 1 m))))) 1)
218.0ms
(sqrt (- (/ 1 (/ v (* m (- 1 m)))) 1))

prune1.0s

Pruning

8 alts after pruning (7 fresh and 1 done)

Merged error: 0.0b

localize16.0ms

Local error

Found 4 expressions with local error:

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

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

10.0ms
(* (- (/ 1 (/ 1 (/ (* m (- 1 m)) v))) 1) m)
3.0ms
(/ (* m (- 1 m)) v)
1.0ms
(/ 1 (/ 1 (/ (* m (- 1 m)) v)))

series91.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

29.0ms
(/ (* m (- 1 m)) v)
29.0ms
(* (- (/ 1 (/ 1 (/ (* m (- 1 m)) v))) 1) m)
18.0ms
(/ 1 (/ 1 (/ (* m (- 1 m)) v)))

simplify3.7s

Counts
32 → 88
Calls

32 calls. Slowest were:

589.0ms
(* (- (pow (/ 1 (/ 1 (/ (* m (- 1 m)) v))) 3) (pow 1 3)) m)
391.0ms
(* (cbrt (- (/ 1 (/ 1 (/ (* m (- 1 m)) v))) 1)) (cbrt (- (/ 1 (/ 1 (/ (* m (- 1 m)) v))) 1)))
362.0ms
(+ (sqrt (/ 1 (/ 1 (/ (* m (- 1 m)) v)))) 1)

prune918.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 0.0b

regimes149.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(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.1818236757021231 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