Error in 1.8m

Runtime

Time bar (total: 1.8m)Debug log

start241.0ms

Algorithm
intervals

setup204.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.0b

localize42.0ms

Local error

Found 3 expressions with local error:

1.0b
(/ 4/3 PI)
0.0b
(/ (/ 4/3 PI) (- 1 (* v v)))
0.0b
(/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))

rewrite28.0ms

Algorithm
rewrite-expression-head
Counts
3 → 197
Calls

3 calls. Slowest were:

14.0ms
(/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
7.0ms
(/ (/ 4/3 PI) (- 1 (* v v)))
0.0ms
(/ 4/3 PI)

series334.0ms

Counts
3 → 7
Calls

3 calls. Slowest were:

262.0ms
(/ (/ (/ 4/3 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
72.0ms
(/ (/ 4/3 PI) (- 1 (* v v)))
0.0ms
(/ 4/3 PI)

simplify25.4s

Counts
284 → 204
Calls

284 calls. Slowest were:

898.0ms
(- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
848.0ms
(- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
452.0ms
(/ (/ (/ 4/3 PI) (- (* 1 1) (* (* v v) (* v v)))) (sqrt 1))

prune3.3s

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0b

localize11.0ms

Local error

Found 2 expressions with local error:

0.0b
(/ (* 4/3 (/ 1 PI)) (- 1 (* v v)))
0.0b
(/ (/ (* 4/3 (/ 1 PI)) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))

rewrite13.0ms

Algorithm
rewrite-expression-head
Counts
2 → 111
Calls

2 calls. Slowest were:

7.0ms
(/ (/ (* 4/3 (/ 1 PI)) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
4.0ms
(/ (* 4/3 (/ 1 PI)) (- 1 (* v v)))

series337.0ms

Counts
2 → 6
Calls

2 calls. Slowest were:

245.0ms
(/ (/ (* 4/3 (/ 1 PI)) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
92.0ms
(/ (* 4/3 (/ 1 PI)) (- 1 (* v v)))

simplify21.9s

Counts
147 → 117
Calls

147 calls. Slowest were:

901.0ms
(- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
874.0ms
(- (+ (* 4/3 (/ 1 (* (pow v 2) PI))) (+ (* 4/3 (/ 1 (* (pow v 4) PI))) (* 4/3 (/ 1 (* (pow v 6) PI))))))
761.0ms
(/ (* 4/3 (/ 1 PI)) (- (pow 1 3) (pow (* v v) 3)))

prune1.9s

Pruning

2 alts after pruning (1 fresh and 1 done)

Merged error: 0b

localize17.0ms

Local error

Found 3 expressions with local error:

0.0b
(/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
0.0b
(* 4/3 (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))
0.0b
(/ (/ 1 PI) (- 1 (* v v)))

rewrite49.0ms

Algorithm
rewrite-expression-head
Counts
3 → 308
Calls

3 calls. Slowest were:

15.0ms
(/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
10.0ms
(* 4/3 (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))
7.0ms
(/ (/ 1 PI) (- 1 (* v v)))

series441.0ms

Counts
3 → 9
Calls

3 calls. Slowest were:

196.0ms
(/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2)))
179.0ms
(* 4/3 (/ (/ (/ 1 PI) (- 1 (* v v))) (sqrt (fma -6 (* v v) 2))))
67.0ms
(/ (/ 1 PI) (- 1 (* v v)))

simplify37.3s

Counts
399 → 317
Calls

399 calls. Slowest were:

738.0ms
(/ (* (* (/ (/ 1 PI) (- 1 (* v v))) (/ (/ 1 PI) (- 1 (* v v)))) (/ (/ 1 PI) (- 1 (* v v)))) (* (* (sqrt (fma -6 (* v v) 2)) (sqrt (fma -6 (* v v) 2))) (sqrt (fma -6 (* v v) 2))))
700.0ms
(/ (/ (/ 1 PI) (- 1 (* v v))) (cbrt (sqrt (fma -6 (* v v) 2))))
499.0ms
(/ (/ (/ 1 PI) (- (* 1 1) (* (* v v) (* v v)))) (* (cbrt (sqrt (fma -6 (* v v) 2))) (cbrt (sqrt (fma -6 (* v v) 2)))))

prune5.0s

Pruning

2 alts after pruning (0 fresh and 2 done)

Merged error: 0b

regimes86.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(FPCore (v)
  :name "Falkner and Boettcher, Equation (22+)"
  (/ 4 (* (* (* 3 PI) (- 1 (* v v))) (sqrt (- 2 (* 6 (* v v)))))))

Backtrace

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