Error in 28.5s

Runtime

Time bar (total: 28.5s)Debug logProfile

start220.0ms

Algorithm
intervals

setup119.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.1b

localize62.0ms

Local error

Found 4 expressions with local error:

6.1b
(/ (/ M 2) (/ d D))
6.1b
(/ (/ M 2) (/ d D))
5.3b
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
3.7b
(sqrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))

rewrite16.0ms

Algorithm
rewrite-expression-head
Counts
4 → 104
Calls

4 calls. Slowest were:

6.0ms
(/ (/ M 2) (/ d D))
6.0ms
(/ (/ M 2) (/ d D))
2.0ms
(sqrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))

series341.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

187.0ms
(sqrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))
96.0ms
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
32.0ms
(/ (/ M 2) (/ d D))

simplify3.6s

Counts
96 → 116
Calls

96 calls. Slowest were:

687.0ms
(/ (* (* (/ M 2) (/ M 2)) (/ M 2)) (* (* (/ d D) (/ d D)) (/ d D)))
669.0ms
(/ (* (* (/ M 2) (/ M 2)) (/ M 2)) (* (* (/ d D) (/ d D)) (/ d D)))
418.0ms
(sqrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))

prune2.1s

Pruning

5 alts after pruning (5 fresh and 0 done)

Merged error: 7.5b

localize37.0ms

Local error

Found 4 expressions with local error:

6.1b
(/ (/ M 2) (/ d D))
5.5b
(* M (* (/ 1/2 d) D))
5.3b
(fma (* (/ (/ M 2) (/ d D)) (* M (* (/ 1/2 d) D))) (- (/ h l)) 1)
3.7b
(sqrt (fma (* (/ (/ M 2) (/ d D)) (* M (* (/ 1/2 d) D))) (- (/ h l)) 1))

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
4 → 76
Calls

4 calls. Slowest were:

6.0ms
(/ (/ M 2) (/ d D))
4.0ms
(* M (* (/ 1/2 d) D))
1.0ms
(sqrt (fma (* (/ (/ M 2) (/ d D)) (* M (* (/ 1/2 d) D))) (- (/ h l)) 1))

series326.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

162.0ms
(sqrt (fma (* (/ (/ M 2) (/ d D)) (* M (* (/ 1/2 d) D))) (- (/ h l)) 1))
110.0ms
(fma (* (/ (/ M 2) (/ d D)) (* M (* (/ 1/2 d) D))) (- (/ h l)) 1)
30.0ms
(/ (/ M 2) (/ d D))

simplify1.8s

Counts
56 → 88
Calls

56 calls. Slowest were:

626.0ms
(/ (* (* (/ M 2) (/ M 2)) (/ M 2)) (* (* (/ d D) (/ d D)) (/ d D)))
120.0ms
(- 1 (* 1/4 (/ (* (pow M 2) (* (pow D 2) h)) (* l (pow d 2)))))
119.0ms
(sqrt (sqrt (fma (* (/ (/ M 2) (/ d D)) (* M (* (/ 1/2 d) D))) (- (/ h l)) 1)))

prune1.8s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 7.5b

localize32.0ms

Local error

Found 4 expressions with local error:

6.1b
(/ (/ M 2) (/ d D))
5.3b
(fma (* (* (/ (/ M 2) d) D) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
4.0b
(* (/ (/ M 2) d) D)
3.7b
(sqrt (fma (* (* (/ (/ M 2) d) D) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

3.0ms
(* (/ (/ M 2) d) D)
3.0ms
(/ (/ M 2) (/ d D))
1.0ms
(sqrt (fma (* (* (/ (/ M 2) d) D) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))

series336.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

162.0ms
(sqrt (fma (* (* (/ (/ M 2) d) D) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))
118.0ms
(fma (* (* (/ (/ M 2) d) D) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
31.0ms
(* (/ (/ M 2) d) D)

simplify1.8s

Counts
60 → 91
Calls

60 calls. Slowest were:

598.0ms
(/ (* (* (/ M 2) (/ M 2)) (/ M 2)) (* (* (/ d D) (/ d D)) (/ d D)))
127.0ms
(- 1 (* 1/4 (/ (* (pow M 2) (* (pow D 2) h)) (* l (pow d 2)))))
126.0ms
(- 1 (* 1/4 (/ (* (pow M 2) (* (pow D 2) h)) (* l (pow d 2)))))

prune1.6s

Pruning

4 alts after pruning (3 fresh and 1 done)

Merged error: 7.5b

localize24.0ms

Local error

Found 4 expressions with local error:

5.3b
(fma (* (* (/ (/ M 2) d) D) (/ (/ (/ M 2) d) (/ 1 D))) (- (/ h l)) 1)
4.0b
(/ (/ (/ M 2) d) (/ 1 D))
4.0b
(* (/ (/ M 2) d) D)
3.7b
(sqrt (fma (* (* (/ (/ M 2) d) D) (/ (/ (/ M 2) d) (/ 1 D))) (- (/ h l)) 1))

rewrite10.0ms

Algorithm
rewrite-expression-head
Counts
4 → 79
Calls

4 calls. Slowest were:

5.0ms
(/ (/ (/ M 2) d) (/ 1 D))
3.0ms
(* (/ (/ M 2) d) D)
1.0ms
(sqrt (fma (* (* (/ (/ M 2) d) D) (/ (/ (/ M 2) d) (/ 1 D))) (- (/ h l)) 1))

series291.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

158.0ms
(sqrt (fma (* (* (/ (/ M 2) d) D) (/ (/ (/ M 2) d) (/ 1 D))) (- (/ h l)) 1))
97.0ms
(fma (* (* (/ (/ M 2) d) D) (/ (/ (/ M 2) d) (/ 1 D))) (- (/ h l)) 1)
18.0ms
(/ (/ (/ M 2) d) (/ 1 D))

simplify2.1s

Counts
62 → 91
Calls

62 calls. Slowest were:

228.0ms
(- (log (/ (/ M 2) d)) (log (/ 1 D)))
162.0ms
(- 1 (* 1/4 (/ (* (pow M 2) (* (pow D 2) h)) (* l (pow d 2)))))
146.0ms
(- 1 (* 1/4 (/ (* (pow M 2) (* (pow D 2) h)) (* l (pow d 2)))))

prune1.8s

Pruning

5 alts after pruning (3 fresh and 2 done)

Merged error: 5.7b

regimes670.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 +o rules:numerics
(FPCore (w0 M D h l d)
  :name "Henrywood and Agarwal, Equation (9a)"
  (* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))))

Backtrace

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