Error in 4.6m

Runtime

Time bar (total: 4.6m)Debug logProfile

start750.0ms

Algorithm
intervals

setup156.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.2b

localize33.0ms

Local error

Found 3 expressions with local error:

0.5b
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v))))
0.5b
(/ (/ (fma (* v v) -5 1) PI) (* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v)))))
0.0b
(/ (fma (* v v) -5 1) PI)

rewrite19.0ms

Algorithm
rewrite-expression-head
Counts
3 → 71
Calls

3 calls. Slowest were:

8.0ms
(/ (/ (fma (* v v) -5 1) PI) (* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v)))))
7.0ms
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v))))
3.0ms
(/ (fma (* v v) -5 1) PI)

series615.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

323.0ms
(/ (/ (fma (* v v) -5 1) PI) (* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v)))))
165.0ms
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v))))
127.0ms
(/ (fma (* v v) -5 1) PI)

simplify5.7s

Counts
47 → 80
Calls

47 calls. Slowest were:

426.0ms
(- (* t (sqrt 2)) (* 5/2 (* t (* (sqrt 2) (pow v 2)))))
381.0ms
(- (log (/ (fma (* v v) -5 1) PI)) (+ (log (sqrt (* 2 (fma (* v v) -3 1)))) (log (* t (- 1 (* v v))))))
334.0ms
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v))))

prune1.3s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0.0b

localize6.0ms

Local error

Found 3 expressions with local error:

0.1b
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (* t (- 1 (* v v))))
0.0b
(/ (fma (* v v) -5 1) PI)
0.0b
(/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1))))

rewrite20.0ms

Algorithm
rewrite-expression-head
Counts
3 → 114
Calls

3 calls. Slowest were:

9.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (* t (- 1 (* v v))))
6.0ms
(/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1))))
3.0ms
(/ (fma (* v v) -5 1) PI)

series680.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

319.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (* t (- 1 (* v v))))
219.0ms
(/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1))))
142.0ms
(/ (fma (* v v) -5 1) PI)

simplify8.5s

Counts
120 → 123
Calls

120 calls. Slowest were:

339.0ms
(- (/ 1 (* t (* (sqrt 2) PI))) (+ (* 53/8 (/ (pow v 4) (* t (* (sqrt 2) PI)))) (* 5/2 (/ (pow v 2) (* t (* (sqrt 2) PI))))))
303.0ms
(/ (/ (* (* (/ (fma (* v v) -5 1) PI) (/ (fma (* v v) -5 1) PI)) (/ (fma (* v v) -5 1) PI)) (* (* (sqrt (* 2 (fma (* v v) -3 1))) (sqrt (* 2 (fma (* v v) -3 1)))) (sqrt (* 2 (fma (* v v) -3 1))))) (* (* (* t (- 1 (* v v))) (* t (- 1 (* v v)))) (* t (- 1 (* v v)))))
274.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (- 1 (* v v)))

prune2.3s

Pruning

3 alts after pruning (3 fresh and 0 done)

Merged error: 0b

localize26.0ms

Local error

Found 4 expressions with local error:

0.1b
(pow (* v v) 3)
0.1b
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (* t (- (pow 1 3) (pow (* v v) 3))))
0.0b
(/ (fma (* v v) -5 1) PI)
0.0b
(/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1))))

rewrite36.0ms

Algorithm
rewrite-expression-head
Counts
4 → 132
Calls

4 calls. Slowest were:

16.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (* t (- (pow 1 3) (pow (* v v) 3))))
11.0ms
(/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1))))
5.0ms
(/ (fma (* v v) -5 1) PI)

series703.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

346.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (* t (- (pow 1 3) (pow (* v v) 3))))
214.0ms
(/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1))))
124.0ms
(/ (fma (* v v) -5 1) PI)

simplify12.2s

Counts
128 → 144
Calls

128 calls. Slowest were:

485.0ms
(/ (/ (sqrt (/ (fma (* v v) -5 1) PI)) (sqrt (sqrt (* 2 (fma (* v v) -3 1))))) (- (pow 1 3) (pow (* v v) 3)))
481.0ms
(- (/ 1 (* t (* (sqrt 2) PI))) (+ (* 33/8 (/ (pow v 4) (* t (* (sqrt 2) PI)))) (* 7/2 (/ (pow v 2) (* t (* (sqrt 2) PI))))))
459.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (fma (* v v) -3 1))) (- (pow 1 3) (pow (* v v) 3)))

prune3.5s

Pruning

3 alts after pruning (2 fresh and 1 done)

Merged error: 0b

localize85.0ms

Local error

Found 4 expressions with local error:

0.2b
(/ (/ (sqrt (/ (fma v (* v -5) 1) PI)) (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2))))) (/ (* t (- 1 (* v v))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1)))))))
0.1b
(/ (* t (- 1 (* v v))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1))))))
0.0b
(/ (fma (* v v) -5 1) PI)
0.0b
(/ (fma v (* v -5) 1) PI)

rewrite86.0ms

Algorithm
rewrite-expression-head
Counts
4 → 895
Calls

4 calls. Slowest were:

21.0ms
(/ (/ (sqrt (/ (fma v (* v -5) 1) PI)) (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2))))) (/ (* t (- 1 (* v v))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1)))))))
8.0ms
(/ (* t (- 1 (* v v))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1))))))
3.0ms
(/ (fma v (* v -5) 1) PI)

series2.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.4s
(/ (/ (sqrt (/ (fma v (* v -5) 1) PI)) (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2))))) (/ (* t (- 1 (* v v))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1)))))))
510.0ms
(/ (* t (- 1 (* v v))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1))))))
103.0ms
(/ (fma v (* v -5) 1) PI)

simplify3.5m

Counts
1546 → 907
Calls

1546 calls. Slowest were:

684.0ms
(/ (cbrt (/ (sqrt (/ (fma v (* v -5) 1) PI)) (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2)))))) (/ (- 1 (* v v)) (/ (sqrt (sqrt (/ (fma (* v v) -5 1) PI))) (cbrt (sqrt (sqrt (* 2 (fma (* v v) -3 1))))))))
545.0ms
(/ (* (* (/ (sqrt (/ (fma v (* v -5) 1) PI)) (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2))))) (/ (sqrt (/ (fma v (* v -5) 1) PI)) (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2)))))) (/ (sqrt (/ (fma v (* v -5) 1) PI)) (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2)))))) (/ (* (* (* t (- 1 (* v v))) (* t (- 1 (* v v)))) (* t (- 1 (* v v)))) (* (* (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1))))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1)))))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1))))))))
529.0ms
(/ (/ (* (* (sqrt (/ (fma v (* v -5) 1) PI)) (sqrt (/ (fma v (* v -5) 1) PI))) (sqrt (/ (fma v (* v -5) 1) PI))) (* (* (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2)))) (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2))))) (* (cbrt (sqrt (fma v (* v -6) 2))) (cbrt (sqrt (fma v (* v -6) 2)))))) (/ (* (* (* t (- 1 (* v v))) (* t (- 1 (* v v)))) (* t (- 1 (* v v)))) (* (* (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1))))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1)))))) (/ (sqrt (/ (fma (* v v) -5 1) PI)) (cbrt (sqrt (* 2 (fma (* v v) -3 1))))))))

prune18.4s

Pruning

3 alts after pruning (1 fresh and 2 done)

Merged error: 0b

regimes88.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (v t)
  :name "Falkner and Boettcher, Equation (20:1,3)"
  (/ (- 1 (* 5 (* v v))) (* (* (* PI t) (sqrt (* 2 (- 1 (* 3 (* v v)))))) (- 1 (* v v)))))

Backtrace

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