Error in 32.1s

Runtime

Time bar (total: 32.1s)Debug logProfile

start247.0ms

Algorithm
intervals

setup943.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 2 expressions with local error:

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

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
2 → 35
Calls

2 calls. Slowest were:

8.0ms
(* (fma (- 1 m) (/ m v) -1) (- 1 m))
2.0ms
(fma (- 1 m) (/ m v) -1)

series59.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

30.0ms
(* (fma (- 1 m) (/ m v) -1) (- 1 m))
29.0ms
(fma (- 1 m) (/ m v) -1)

simplify5.7s

Counts
20 → 41
Calls

20 calls. Slowest were:

1.1s
(* (- m) (fma (- 1 m) (/ m v) -1))
1.1s
(* (- m) (fma (- 1 m) (/ m v) -1))
752.0ms
(* (* (* (fma (- 1 m) (/ m v) -1) (fma (- 1 m) (/ m v) -1)) (fma (- 1 m) (/ m v) -1)) (* (* (- 1 m) (- 1 m)) (- 1 m)))

prune524.0ms

Pruning

4 alts after pruning (4 fresh and 0 done)

Merged error: 0.0b

localize21.0ms

Local error

Found 4 expressions with local error:

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

rewrite18.0ms

Algorithm
rewrite-expression-head
Counts
4 → 58
Calls

4 calls. Slowest were:

9.0ms
(+ (* (fma (- 1 m) (/ m v) -1) 1) (* (fma (- 1 m) (/ m v) -1) (- m)))
8.0ms
(* (fma (- 1 m) (/ m v) -1) (- m))
0.0ms
(fma (- 1 m) (/ m v) -1)

series104.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

37.0ms
(+ (* (fma (- 1 m) (/ m v) -1) 1) (* (fma (- 1 m) (/ m v) -1) (- m)))
29.0ms
(* (fma (- 1 m) (/ m v) -1) (- m))
18.0ms
(fma (- 1 m) (/ m v) -1)

simplify3.3s

Counts
26 → 70
Calls

26 calls. Slowest were:

508.0ms
(* (fma (- 1 m) (/ m v) -1) (- m))
476.0ms
(* (* (* (fma (- 1 m) (/ m v) -1) (fma (- 1 m) (/ m v) -1)) (fma (- 1 m) (/ m v) -1)) (* (* (- m) (- m)) (- m)))
302.0ms
(- (+ m (/ (pow m 3) v)) (* 2 (/ (pow m 2) v)))

prune778.0ms

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0.0b

localize15.0ms

Local error

Found 4 expressions with local error:

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

rewrite8.0ms

Algorithm
rewrite-expression-head
Counts
4 → 55
Calls

4 calls. Slowest were:

6.0ms
(+ (* 1 (fma (- 1 m) (/ m v) -1)) (fma (/ m v) (* m (+ -1 m)) m))
1.0ms
(* m (+ -1 m))
0.0ms
(fma (/ m v) (* m (+ -1 m)) m)

series117.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

44.0ms
(+ (* 1 (fma (- 1 m) (/ m v) -1)) (fma (/ m v) (* m (+ -1 m)) m))
30.0ms
(* m (+ -1 m))
24.0ms
(fma (/ m v) (* m (+ -1 m)) m)

simplify4.0s

Counts
23 → 67
Calls

23 calls. Slowest were:

2.2s
(+ (fma (- 1 m) (/ m v) -1) (fma (/ m v) (* m (+ -1 m)) m))
318.0ms
(- (+ m (/ (pow m 3) v)) (* 2 (/ (pow m 2) v)))
248.0ms
(* 1 (* (- 1 m) (/ m v)))

prune811.0ms

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0.0b

localize17.0ms

Local error

Found 4 expressions with local error:

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

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 85
Calls

4 calls. Slowest were:

12.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
11.0ms
(/ (* m (- 1 m)) v)
5.0ms
(- (/ (* m (- 1 m)) v) 1)

series90.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

31.0ms
(* m (- 1 m))
23.0ms
(* (- (/ (* m (- 1 m)) v) 1) (- 1 m))
18.0ms
(/ (* m (- 1 m)) v)

simplify9.0s

Counts
53 → 97
Calls

53 calls. Slowest were:

894.0ms
(* (+ (/ (* m (- 1 m)) v) 1) (+ 1 m))
875.0ms
(* (- m) (- (/ (* m (- 1 m)) v) 1))
831.0ms
(* (- m) (- (/ (* m (- 1 m)) v) 1))

prune1.0s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 0b

regimes134.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (m v)
  :name "b parameter of renormalized beta distribution"
  :pre (and (< 0 m) (< 0 v) (< v 0.25))
  (* (- (/ (* m (- 1 m)) v) 1) (- 1 m)))

Backtrace

partition: contract violation expected: list? given: 0.07225323451089734 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