Error in 39.2s

Runtime

Time bar (total: 39.2s)Debug log

start220.0ms

Algorithm
intervals

setup507.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.1b

localize56.0ms

Local error

Found 4 expressions with local error:

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

rewrite17.0ms

Algorithm
rewrite-expression-head
Counts
4 → 104
Calls

4 calls. Slowest were:

7.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))

series384.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

191.0ms
(sqrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))
146.0ms
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
26.0ms
(/ (/ M 2) (/ d D))

simplify3.9s

Counts
96 → 116
Calls

96 calls. Slowest were:

725.0ms
(/ (* (* (/ M 2) (/ M 2)) (/ M 2)) (* (* (/ d D) (/ d D)) (/ d D)))
711.0ms
(/ (* (* (/ M 2) (/ M 2)) (/ M 2)) (* (* (/ d D) (/ d D)) (/ d D)))
426.0ms
(sqrt (* (cbrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)) (cbrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))))

prune2.1s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 6.4b

localize35.0ms

Local error

Found 4 expressions with local error:

5.7b
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
5.7b
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
5.7b
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
4.5b
(cbrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))

rewrite3.0ms

Algorithm
rewrite-expression-head
Counts
4 → 43
Calls

4 calls. Slowest were:

1.0ms
(cbrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))
0.0ms
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
0.0ms
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)

series632.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

263.0ms
(cbrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))
140.0ms
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)
117.0ms
(fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)

simplify1.9s

Counts
15 → 55
Calls

15 calls. Slowest were:

447.0ms
(cbrt (* (cbrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)) (cbrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1))))
420.0ms
(cbrt (sqrt (fma (* (/ (/ M 2) (/ d D)) (/ (/ M 2) (/ d D))) (- (/ h l)) 1)))
184.0ms
(- 1 (* 1/4 (/ (* (pow M 2) (* (pow D 2) h)) (* l (pow d 2)))))

prune1.2s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 6.4b

localize34.0ms

Local error

Found 4 expressions with local error:

9.3b
(* (pow (/ (* M D) (* 2 d)) 2) (/ h l))
7.2b
(/ (* M D) (* 2 d))
3.3b
(sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))
1.2b
(* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l)))))

rewrite29.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

11.0ms
(* (pow (/ (* M D) (* 2 d)) 2) (/ h l))
9.0ms
(/ (* M D) (* 2 d))
4.0ms
(* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l)))))

series437.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

218.0ms
(* w0 (sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l)))))
125.0ms
(sqrt (- 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))
69.0ms
(* (pow (/ (* M D) (* 2 d)) 2) (/ h l))

simplify5.3s

Counts
47 → 92
Calls

47 calls. Slowest were:

892.0ms
(sqrt (+ 1 (* (pow (/ (* M D) (* 2 d)) 2) (/ h l))))
490.0ms
(+ (log (pow (/ (* M D) (* 2 d)) 2)) (log (/ h l)))
462.0ms
(+ (* (- (log (* M D)) (log (* 2 d))) 2) (log (/ h l)))

prune1.8s

Pruning

9 alts after pruning (7 fresh and 2 done)

Merged error: 5.0b

localize27.0ms

Local error

Found 4 expressions with local error:

7.2b
(/ (* M D) (* 2 d))
6.0b
(/ (* (pow (/ (* M D) (* 2 d)) 2) h) l)
3.9b
(* (pow (/ (* M D) (* 2 d)) 2) h)
3.3b
(sqrt (- 1 (/ (* (pow (/ (* M D) (* 2 d)) 2) h) l)))

rewrite38.0ms

Algorithm
rewrite-expression-head
Counts
4 → 65
Calls

4 calls. Slowest were:

14.0ms
(* (pow (/ (* M D) (* 2 d)) 2) h)
12.0ms
(/ (* (pow (/ (* M D) (* 2 d)) 2) h) l)
6.0ms
(/ (* M D) (* 2 d))

series278.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

137.0ms
(sqrt (- 1 (/ (* (pow (/ (* M D) (* 2 d)) 2) h) l)))
56.0ms
(/ (* (pow (/ (* M D) (* 2 d)) 2) h) l)
54.0ms
(* (pow (/ (* M D) (* 2 d)) 2) h)

simplify5.6s

Counts
31 → 77
Calls

31 calls. Slowest were:

1.0s
(sqrt (sqrt (- 1 (/ (* (pow (/ (* M D) (* 2 d)) 2) h) l))))
764.0ms
(sqrt (* (cbrt (- 1 (/ (* (pow (/ (* M D) (* 2 d)) 2) h) l))) (cbrt (- 1 (/ (* (pow (/ (* M D) (* 2 d)) 2) h) l)))))
763.0ms
(sqrt (- 1 (/ (* (pow (/ (* M D) (* 2 d)) 2) h) l)))

prune1.9s

Pruning

9 alts after pruning (6 fresh and 3 done)

Merged error: 5.0b

regimes2.7s

Please include this information when filing a bug report:

herbie shell --seed 2018359 +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: 8.373752678761758 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