Error in 1.0m

Runtime

Time bar (total: 1.0m)Debug logProfile

start600.0ms

Algorithm
intervals

setup144.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:

6.6b
(/ (* (+ (* -2 v) 3) 0.125) (/ (- 1 v) (* (* w r) (* w r))))
0.4b
(* (* w r) (* w r))
0.2b
(/ 2 (* r r))
0.2b
(/ (- 1 v) (* (* w r) (* w r)))

rewrite22.0ms

Algorithm
rewrite-expression-head
Counts
4 → 85
Calls

4 calls. Slowest were:

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

series126.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

59.0ms
(/ (* (+ (* -2 v) 3) 0.125) (/ (- 1 v) (* (* w r) (* w r))))
34.0ms
(/ (- 1 v) (* (* w r) (* w r)))
22.0ms
(* (* w r) (* w r))

simplify7.9s

Counts
65 → 97
Calls

65 calls. Slowest were:

743.0ms
(* (* (* (* w r) (* w r)) (* w r)) (* (* (* w r) (* w r)) (* w r)))
540.0ms
(- (log (* (+ (* -2 v) 3) 0.125)) (- (log (- 1 v)) (log (* (* w r) (* w r)))))
473.0ms
(* (+ (pow (* -2 v) 3) (pow 3 3)) 0.125)

prune2.4s

Pruning

11 alts after pruning (11 fresh and 0 done)

Merged error: 0.0b

localize11.0ms

Local error

Found 4 expressions with local error:

6.6b
(/ (* (+ (* -2 v) 3) 0.125) (/ (/ (- 1 v) (* w r)) (* w r)))
0.2b
(/ 2 (* r r))
0.2b
(/ (- 1 v) (* w r))
0.2b
(/ (/ (- 1 v) (* w r)) (* w r))

rewrite27.0ms

Algorithm
rewrite-expression-head
Counts
4 → 106
Calls

4 calls. Slowest were:

11.0ms
(/ (* (+ (* -2 v) 3) 0.125) (/ (/ (- 1 v) (* w r)) (* w r)))
9.0ms
(/ (/ (- 1 v) (* w r)) (* w r))
4.0ms
(/ (- 1 v) (* w r))

series143.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

50.0ms
(/ (/ (- 1 v) (* w r)) (* w r))
47.0ms
(/ (* (+ (* -2 v) 3) 0.125) (/ (/ (- 1 v) (* w r)) (* w r)))
28.0ms
(/ (- 1 v) (* w r))

simplify8.3s

Counts
94 → 118
Calls

94 calls. Slowest were:

723.0ms
(/ (* (* (* (+ (* -2 v) 3) 0.125) (* (+ (* -2 v) 3) 0.125)) (* (+ (* -2 v) 3) 0.125)) (* (* (/ (/ (- 1 v) (* w r)) (* w r)) (/ (/ (- 1 v) (* w r)) (* w r))) (/ (/ (- 1 v) (* w r)) (* w r))))
500.0ms
(* (+ (pow (* -2 v) 3) (pow 3 3)) 0.125)
469.0ms
(/ (* (* (* (+ (* -2 v) 3) 0.125) (* (+ (* -2 v) 3) 0.125)) (* (+ (* -2 v) 3) 0.125)) (/ (* (* (/ (- 1 v) (* w r)) (/ (- 1 v) (* w r))) (/ (- 1 v) (* w r))) (* (* (* w r) (* w r)) (* w r))))

prune2.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 0.0b

localize20.0ms

Local error

Found 4 expressions with local error:

6.6b
(/ (* (+ (* -2 v) 3) 0.125) (/ (* (- 1 v) (/ 1 (* w r))) (* w r)))
0.3b
(/ 1 (* w r))
0.2b
(/ 2 (* r r))
0.2b
(/ (* (- 1 v) (/ 1 (* w r))) (* w r))

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

9.0ms
(/ (* (+ (* -2 v) 3) 0.125) (/ (* (- 1 v) (/ 1 (* w r))) (* w r)))
8.0ms
(/ (* (- 1 v) (/ 1 (* w r))) (* w r))
1.0ms
(/ 1 (* w r))

series146.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

67.0ms
(/ (* (+ (* -2 v) 3) 0.125) (/ (* (- 1 v) (/ 1 (* w r))) (* w r)))
49.0ms
(/ (* (- 1 v) (/ 1 (* w r))) (* w r))
19.0ms
(/ 2 (* r r))

simplify10.6s

Counts
53 → 92
Calls

53 calls. Slowest were:

1.0s
(/ (* (* (* (+ (* -2 v) 3) 0.125) (* (+ (* -2 v) 3) 0.125)) (* (+ (* -2 v) 3) 0.125)) (/ (* (* (* (- 1 v) (- 1 v)) (- 1 v)) (* (* (/ 1 (* w r)) (/ 1 (* w r))) (/ 1 (* w r)))) (* (* (* w r) (* w r)) (* w r))))
857.0ms
(/ (* (* (* (+ (* -2 v) 3) 0.125) (* (+ (* -2 v) 3) 0.125)) (* (+ (* -2 v) 3) 0.125)) (/ (* (* (* (- 1 v) (/ 1 (* w r))) (* (- 1 v) (/ 1 (* w r)))) (* (- 1 v) (/ 1 (* w r)))) (* (* (* w r) (* w r)) (* w r))))
636.0ms
(/ (* (* (* (+ (* -2 v) 3) 0.125) (* (+ (* -2 v) 3) 0.125)) (* (+ (* -2 v) 3) 0.125)) (* (* (/ (* (- 1 v) (/ 1 (* w r))) (* w r)) (/ (* (- 1 v) (/ 1 (* w r))) (* w r))) (/ (* (- 1 v) (/ 1 (* w r))) (* w r))))

prune2.3s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 0.0b

localize9.0ms

Local error

Found 4 expressions with local error:

6.2b
(/ (/ (/ (- 1 v) (* w r)) (* w r)) (* (+ (* -2 v) 3) 0.125))
0.6b
(/ 1 (/ (/ (/ (- 1 v) (* w r)) (* w r)) (* (+ (* -2 v) 3) 0.125)))
0.2b
(/ 2 (* r r))
0.2b
(/ (- 1 v) (* w r))

rewrite25.0ms

Algorithm
rewrite-expression-head
Counts
4 → 110
Calls

4 calls. Slowest were:

12.0ms
(/ (/ (/ (- 1 v) (* w r)) (* w r)) (* (+ (* -2 v) 3) 0.125))
9.0ms
(/ 1 (/ (/ (/ (- 1 v) (* w r)) (* w r)) (* (+ (* -2 v) 3) 0.125)))
2.0ms
(/ (- 1 v) (* w r))

series132.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

56.0ms
(/ 1 (/ (/ (/ (- 1 v) (* w r)) (* w r)) (* (+ (* -2 v) 3) 0.125)))
45.0ms
(/ (/ (/ (- 1 v) (* w r)) (* w r)) (* (+ (* -2 v) 3) 0.125))
17.0ms
(/ (- 1 v) (* w r))

simplify8.6s

Counts
86 → 122
Calls

86 calls. Slowest were:

797.0ms
(- (* 2.6666666666666665 (/ 1 (* (pow r 2) (pow w 2)))) (+ (* 0.5925925925925926 (/ (pow v 2) (* (pow r 2) (pow w 2)))) (* 0.8888888888888888 (/ v (* (pow r 2) (pow w 2))))))
469.0ms
(/ (/ (* (* (/ (- 1 v) (* w r)) (/ (- 1 v) (* w r))) (/ (- 1 v) (* w r))) (* (* (* w r) (* w r)) (* w r))) (* (* (* (+ (* -2 v) 3) 0.125) (* (+ (* -2 v) 3) 0.125)) (* (+ (* -2 v) 3) 0.125)))
442.0ms
(+ (* 0.375 (* (pow r 2) (pow w 2))) (+ (* 0.125 (* (pow r 2) (* v (pow w 2)))) (* 0.125 (* (pow r 2) (* (pow v 2) (pow w 2))))))

prune2.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 0.0b

regimes380.0ms

Please include this information when filing a bug report:

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