Error in 49.2s

Runtime

Time bar (total: 49.2s)Debug log

start457.0ms

Algorithm
intervals

setup149.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize62.0ms

Local error

Found 4 expressions with local error:

0.4b
(/ 2 (* r r))
0.3b
(* (* w r) (* w r))
0.2b
(/ (fma -2 v 3) (/ (- 1 v) 0.125))
0.0b
(fma (/ (fma -2 v 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 75
Calls

4 calls. Slowest were:

8.0ms
(* (* w r) (* w r))
8.0ms
(/ (fma -2 v 3) (/ (- 1 v) 0.125))
3.0ms
(/ 2 (* r r))

series147.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

72.0ms
(fma (/ (fma -2 v 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
29.0ms
(/ 2 (* r r))
24.0ms
(* (* w r) (* w r))

simplify4.1s

Counts
50 → 87
Calls

50 calls. Slowest were:

891.0ms
(/ (* (* (fma -2 v 3) (fma -2 v 3)) (fma -2 v 3)) (* (* (/ (- 1 v) 0.125) (/ (- 1 v) 0.125)) (/ (- 1 v) 0.125)))
692.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
525.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))

prune2.1s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize14.0ms

Local error

Found 4 expressions with local error:

0.3b
(* (* w r) (* w r))
0.2b
(/ (fma -2 v 3) (/ (- 1 v) 0.125))
0.2b
(/ (/ 2 r) r)
0.0b
(fma (/ (fma -2 v 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)

rewrite12.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

4.0ms
(/ (fma -2 v 3) (/ (- 1 v) 0.125))
4.0ms
(* (* w r) (* w r))
3.0ms
(/ (/ 2 r) r)

series117.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

53.0ms
(fma (/ (fma -2 v 3) (/ (- 1 v) 0.125)) (* (* w r) (* w r)) 4.5)
25.0ms
(/ (fma -2 v 3) (/ (- 1 v) 0.125))
25.0ms
(* (* w r) (* w r))

simplify4.5s

Counts
52 → 91
Calls

52 calls. Slowest were:

1.2s
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
632.0ms
(/ (* (* (fma -2 v 3) (fma -2 v 3)) (fma -2 v 3)) (* (* (/ (- 1 v) 0.125) (/ (- 1 v) 0.125)) (/ (- 1 v) 0.125)))
630.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))

prune2.1s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 0.0b

localize30.0ms

Local error

Found 4 expressions with local error:

0.5b
(cbrt (pow (/ 0.125 (/ (- 1 v) (fma v -2 3))) 3))
0.4b
(/ 2 (* r r))
0.3b
(* (* w r) (* w r))
0.0b
(fma (cbrt (pow (/ 0.125 (/ (- 1 v) (fma v -2 3))) 3)) (* (* w r) (* w r)) 4.5)

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
4 → 68
Calls

4 calls. Slowest were:

4.0ms
(* (* w r) (* w r))
1.0ms
(cbrt (pow (/ 0.125 (/ (- 1 v) (fma v -2 3))) 3))
0.0ms
(/ 2 (* r r))

series136.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

84.0ms
(fma (cbrt (pow (/ 0.125 (/ (- 1 v) (fma v -2 3))) 3)) (* (* w r) (* w r)) 4.5)
25.0ms
(cbrt (pow (/ 0.125 (/ (- 1 v) (fma v -2 3))) 3))
16.0ms
(* (* w r) (* w r))

simplify5.7s

Counts
34 → 80
Calls

34 calls. Slowest were:

675.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
628.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))
568.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))

prune2.1s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 0.0b

localize13.0ms

Local error

Found 4 expressions with local error:

0.5b
(* (sqrt (/ (fma -2 v 3) (/ (- 1 v) 0.125))) (sqrt (/ (fma -2 v 3) (/ (- 1 v) 0.125))))
0.4b
(/ 2 (* r r))
0.3b
(* (* w r) (* w r))
0.2b
(/ (fma -2 v 3) (/ (- 1 v) 0.125))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 128
Calls

4 calls. Slowest were:

7.0ms
(* (sqrt (/ (fma -2 v 3) (/ (- 1 v) 0.125))) (sqrt (/ (fma -2 v 3) (/ (- 1 v) 0.125))))
7.0ms
(/ (fma -2 v 3) (/ (- 1 v) 0.125))
4.0ms
(* (* w r) (* w r))

series138.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

84.0ms
(* (sqrt (/ (fma -2 v 3) (/ (- 1 v) 0.125))) (sqrt (/ (fma -2 v 3) (/ (- 1 v) 0.125))))
19.0ms
(* (* w r) (* w r))
19.0ms
(/ 2 (* r r))

simplify5.8s

Counts
105 → 140
Calls

105 calls. Slowest were:

692.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
689.0ms
(/ (* (* (fma -2 v 3) (fma -2 v 3)) (fma -2 v 3)) (* (* (/ (- 1 v) 0.125) (/ (- 1 v) 0.125)) (/ (- 1 v) 0.125)))
651.0ms
(- 0.25 (+ (* 0.125 (/ 1 v)) (* 0.125 (/ 1 (pow v 2)))))

prune3.6s

Pruning

12 alts after pruning (9 fresh and 3 done)

Merged error: 0.0b

regimes1.1s

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (v w r)
  :name "Rosa's TurbineBenchmark"
  (- (- (+ 3 (/ 2 (* r r))) (/ (* (* 0.125 (- 3 (* 2 v))) (* (* (* w w) r) r)) (- 1 v))) 4.5))

Backtrace

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