Error in 51.6s

Runtime

Time bar (total: 51.6s)Debug logProfile

start256.0ms

Algorithm
intervals

setup143.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.6b

localize52.0ms

Local error

Found 4 expressions with local error:

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

rewrite26.0ms

Algorithm
rewrite-expression-head
Counts
4 → 77
Calls

4 calls. Slowest were:

18.0ms
(/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ l h))
3.0ms
(/ (* M D) (* 2 d))
2.0ms
(/ (* M D) (* 2 d))

series229.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

101.0ms
(sqrt (- 1 (/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ l h))))
83.0ms
(/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ l h))
28.0ms
(/ (* M D) (* 2 d))

simplify10.8s

Counts
52 → 89
Calls

52 calls. Slowest were:

1.5s
(/ (* (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d))) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))) (* (* (/ l h) (/ l h)) (/ l h)))
1.3s
(/ (* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (* (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ (* M D) (* 2 d)))) (* (* (/ l h) (/ l h)) (/ l h)))
898.0ms
(/ (* (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d))) (/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))) (* (* (/ l h) (/ l h)) (/ l h)))

prune1.7s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 6.1b

localize27.0ms

Local error

Found 4 expressions with local error:

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

rewrite31.0ms

Algorithm
rewrite-expression-head
Counts
4 → 89
Calls

4 calls. Slowest were:

11.0ms
(sqrt (- 1 (/ (/ (* M D) (* 2 d)) (/ (/ l h) (/ (* M D) (* 2 d))))))
8.0ms
(/ (/ l h) (/ (* M D) (* 2 d)))
5.0ms
(/ (* M D) (* 2 d))

series260.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

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

simplify7.2s

Counts
78 → 101
Calls

78 calls. Slowest were:

833.0ms
(* 2 (/ (* l d) (* h (* M D))))
386.0ms
(* 2 (/ (* l d) (* h (* M D))))
374.0ms
(- (log (/ l h)) (log (/ (* M D) (* 2 d))))

prune1.8s

Pruning

6 alts after pruning (6 fresh and 0 done)

Merged error: 5.9b

localize36.0ms

Local error

Found 4 expressions with local error:

16.5b
(cbrt (/ (* M D) (* 2 d)))
16.5b
(cbrt (/ (* M D) (* 2 d)))
16.5b
(cbrt (/ (* M D) (* 2 d)))
6.1b
(/ (* M D) (* 2 d))

rewrite5.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

2.0ms
(/ (* M D) (* 2 d))
1.0ms
(cbrt (/ (* M D) (* 2 d)))
1.0ms
(cbrt (/ (* M D) (* 2 d)))

series429.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

149.0ms
(cbrt (/ (* M D) (* 2 d)))
137.0ms
(cbrt (/ (* M D) (* 2 d)))
116.0ms
(cbrt (/ (* M D) (* 2 d)))

simplify2.7s

Counts
34 → 69
Calls

34 calls. Slowest were:

309.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (log (/ 1 d)) (+ (log (/ 1 M)) (log (/ 1 D)))))))
300.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (log (/ 1 d)) (+ (log (/ 1 M)) (log (/ 1 D)))))))
299.0ms
(* (cbrt 1/2) (exp (* 1/3 (- (log (/ 1 d)) (+ (log (/ 1 M)) (log (/ 1 D)))))))

prune1.5s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 5.9b

localize9.0ms

Local error

Found 4 expressions with local error:

8.4b
(/ (/ l h) (/ (* M D) (* 2 d)))
8.4b
(/ (/ l h) (/ (* M D) (* 2 d)))
6.1b
(/ (* M D) (* 2 d))
6.1b
(/ (* M D) (* 2 d))

rewrite14.0ms

Algorithm
rewrite-expression-head
Counts
4 → 120
Calls

4 calls. Slowest were:

4.0ms
(/ (/ l h) (/ (* M D) (* 2 d)))
4.0ms
(/ (/ l h) (/ (* M D) (* 2 d)))
3.0ms
(/ (* M D) (* 2 d))

series162.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

65.0ms
(/ (/ l h) (/ (* M D) (* 2 d)))
62.0ms
(/ (/ l h) (/ (* M D) (* 2 d)))
18.0ms
(/ (* M D) (* 2 d))

simplify10.8s

Counts
124 → 132
Calls

124 calls. Slowest were:

426.0ms
(* 2 (/ (* l d) (* h (* M D))))
424.0ms
(* 2 (/ (* l d) (* h (* M D))))
403.0ms
(- (log (/ l h)) (log (/ (* M D) (* 2 d))))

prune3.1s

Pruning

6 alts after pruning (4 fresh and 2 done)

Merged error: 5.9b

regimes838.0ms

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(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: 7.60258374651988 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