Error in 1.3m

Runtime

Time bar (total: 1.3m)Debug log

start394.0ms

Algorithm
intervals

setup190.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 0.1b

localize59.0ms

Local error

Found 4 expressions with local error:

0.4b
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v))))
0.4b
(/ (/ (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
(* t (- 1 (* v v)))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 90
Calls

4 calls. Slowest were:

17.0ms
(/ (/ (fma (* v v) -5 1) PI) (* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v)))))
15.0ms
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v))))
5.0ms
(/ (fma (* v v) -5 1) PI)

series702.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

338.0ms
(/ (/ (fma (* v v) -5 1) PI) (* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v)))))
199.0ms
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- 1 (* v v))))
119.0ms
(/ (fma (* v v) -5 1) PI)

simplify6.2s

Counts
59 → 102
Calls

59 calls. Slowest were:

401.0ms
(- (/ 1 (* t (* (sqrt 2) PI))) (+ (* 53/8 (/ (pow v 4) (* t (* (sqrt 2) PI)))) (* 5/2 (/ (pow v 2) (* t (* (sqrt 2) PI))))))
389.0ms
(- (log (/ (fma (* v v) -5 1) PI)) (+ (log (sqrt (* 2 (fma (* v v) -3 1)))) (log (* t (- 1 (* v v))))))
357.0ms
(- (* t (sqrt 2)) (* 5/2 (* t (* (sqrt 2) (pow v 2)))))

prune2.0s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 0b

localize12.0ms

Local error

Found 4 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) (sqrt (* 2 (fma (* v v) -3 1))))
0.0b
(/ (fma (* v v) -5 1) PI)
0.0b
(* t (- 1 (* v v)))

rewrite47.0ms

Algorithm
rewrite-expression-head
Counts
4 → 133
Calls

4 calls. Slowest were:

23.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (* t (- 1 (* v v))))
12.0ms
(/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1))))
5.0ms
(/ (fma (* v v) -5 1) PI)

series630.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

302.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (* t (- 1 (* v v))))
183.0ms
(/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1))))
110.0ms
(/ (fma (* v v) -5 1) PI)

simplify9.3s

Counts
132 → 145
Calls

132 calls. Slowest were:

330.0ms
(- (/ 1 (* t (* (sqrt 2) PI))) (+ (* 53/8 (/ (pow v 4) (* t (* (sqrt 2) PI)))) (* 5/2 (/ (pow v 2) (* t (* (sqrt 2) PI))))))
297.0ms
(/ (/ (/ (fma (* v v) -5 1) PI) (sqrt (* 2 (fma (* v v) -3 1)))) (- 1 (* v v)))
281.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)))))

prune3.0s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 0b

localize44.0ms

Local error

Found 4 expressions with local error:

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

rewrite44.0ms

Algorithm
rewrite-expression-head
Counts
4 → 136
Calls

4 calls. Slowest were:

16.0ms
(/ (* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- (* 1 1) (* (* v v) (* v v))))) (fma v v 1))
13.0ms
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- (* 1 1) (* (* v v) (* v v)))))
10.0ms
(/ (/ (fma (* v v) -5 1) PI) (/ (* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- (* 1 1) (* (* v v) (* v v))))) (fma v v 1)))

series738.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 (- (* 1 1) (* (* v v) (* v v))))) (fma v v 1)))
199.0ms
(/ (* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- (* 1 1) (* (* v v) (* v v))))) (fma v v 1))
169.0ms
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- (* 1 1) (* (* v v) (* v v)))))

simplify23.3s

Counts
131 → 148
Calls

131 calls. Slowest were:

707.0ms
(* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- (* (* v v) (* v v)))))
506.0ms
(/ (/ 1 PI) (/ (* t (- (* 1 1) (* (* v v) (* v v)))) (cbrt (fma v v 1))))
488.0ms
(/ 1 (* (sqrt (* 2 (fma (* v v) -3 1))) (* t (- (* 1 1) (* (* v v) (* v v))))))

prune3.4s

Pruning

4 alts after pruning (2 fresh and 2 done)

Merged error: 0b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite42.0ms

Algorithm
rewrite-expression-head
Counts
4 → 107
Calls

4 calls. Slowest were:

24.0ms
(* (/ 1 t) (/ (fma v (* v -5) 1) (* (sqrt (fma v (* v -6) 2)) (* PI (- 1 (* v v))))))
7.0ms
(* (sqrt (fma v (* v -6) 2)) (* PI (- 1 (* v v))))
7.0ms
(/ (fma v (* v -5) 1) (* (sqrt (fma v (* v -6) 2)) (* PI (- 1 (* v v)))))

series595.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

233.0ms
(* (/ 1 t) (/ (fma v (* v -5) 1) (* (sqrt (fma v (* v -6) 2)) (* PI (- 1 (* v v))))))
186.0ms
(/ (fma v (* v -5) 1) (* (sqrt (fma v (* v -6) 2)) (* PI (- 1 (* v v)))))
91.0ms
(* PI (- 1 (* v v)))

simplify10.7s

Counts
77 → 119
Calls

77 calls. Slowest were:

905.0ms
(* t (* (sqrt (fma v (* v -6) 2)) (* PI (- 1 (* v v)))))
780.0ms
(* (/ 1 t) (/ (fma v (* v -5) 1) (* (sqrt (fma v (* v -6) 2)) (* PI (- 1 (* v v))))))
445.0ms
(* (* (* (/ 1 t) (/ 1 t)) (/ 1 t)) (/ (* (* (fma v (* v -5) 1) (fma v (* v -5) 1)) (fma v (* v -5) 1)) (* (* (* (sqrt (fma v (* v -6) 2)) (sqrt (fma v (* v -6) 2))) (sqrt (fma v (* v -6) 2))) (* (* (* PI (- 1 (* v v))) (* PI (- 1 (* v v)))) (* PI (- 1 (* v v)))))))

prune2.2s

Pruning

4 alts after pruning (1 fresh and 3 done)

Merged error: 0b

regimes226.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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.10979288827552475 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