Error in 35.0s

Runtime

Time bar (total: 35.0s)Debug log

start230.0ms

Algorithm
intervals

setup146.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 10.4b

localize63.0ms

Local error

Found 4 expressions with local error:

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

rewrite36.0ms

Algorithm
rewrite-expression-head
Counts
4 → 77
Calls

4 calls. Slowest were:

20.0ms
(/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ l h))
5.0ms
(/ (* M D) (* 2 d))
5.0ms
(/ (* M D) (* 2 d))

series267.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

135.0ms
(sqrt (- 1 (/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ l h))))
72.0ms
(/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) (/ l h))
32.0ms
(/ (* M D) (* 2 d))

simplify11.0s

Counts
52 → 89
Calls

52 calls. Slowest were:

1.4s
(/ (* (/ (* (* (* 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)))
1.3s
(/ (* (* (* (/ (* 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)))
767.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.6s

Pruning

7 alts after pruning (7 fresh and 0 done)

Merged error: 5.2b

localize14.0ms

Local error

Found 4 expressions with local error:

7.2b
(/ (* M D) (* 2 d))
7.2b
(/ (* M D) (* 2 d))
5.3b
(/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) l)
5.1b
(* (/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) l) h)

rewrite30.0ms

Algorithm
rewrite-expression-head
Counts
4 → 57
Calls

4 calls. Slowest were:

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

series181.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

86.0ms
(* (/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) l) h)
58.0ms
(/ (* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d))) l)
21.0ms
(/ (* M D) (* 2 d))

simplify3.1s

Counts
28 → 69
Calls

28 calls. Slowest were:

999.0ms
(* (/ (* M D) (* 2 d)) (/ (* M D) (* 2 d)))
223.0ms
(/ (* (* (* M D) (* M D)) (* M D)) (* (* (* 2 d) (* 2 d)) (* 2 d)))
182.0ms
(* (/ (* M D) (* 2 d)) (* M D))

prune1.4s

Pruning

6 alts after pruning (5 fresh and 1 done)

Merged error: 5.0b

localize48.0ms

Local error

Found 4 expressions with local error:

6.0b
(/ (* (* h (/ M (/ d D))) (/ (/ M (/ d D)) 4)) l)
5.5b
(* h (/ M (/ d D)))
4.0b
(/ M (/ d D))
4.0b
(/ M (/ d D))

rewrite9.0ms

Algorithm
rewrite-expression-head
Counts
4 → 58
Calls

4 calls. Slowest were:

7.0ms
(/ (* (* h (/ M (/ d D))) (/ (/ M (/ d D)) 4)) l)
1.0ms
(* h (/ M (/ d D)))
0.0ms
(/ M (/ d D))

series185.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

92.0ms
(/ (* (* h (/ M (/ d D))) (/ (/ M (/ d D)) 4)) l)
60.0ms
(* h (/ M (/ d D)))
19.0ms
(/ M (/ d D))

simplify1.2s

Counts
29 → 70
Calls

29 calls. Slowest were:

367.0ms
(* (* h M) (/ (/ M (/ d D)) 4))
147.0ms
(* (* h M) (/ M (/ d D)))
132.0ms
(* 1/4 (/ (* (pow M 2) (* (pow D 2) h)) (* l (pow d 2))))

prune1.2s

Pruning

7 alts after pruning (6 fresh and 1 done)

Merged error: 4.8b

localize29.0ms

Local error

Found 4 expressions with local error:

6.0b
(/ (* (* h (/ M (/ d D))) (/ (/ 1 (/ (/ d D) M)) 4)) l)
5.5b
(* h (/ M (/ d D)))
4.0b
(/ M (/ d D))
3.9b
(/ (/ d D) M)

rewrite31.0ms

Algorithm
rewrite-expression-head
Counts
4 → 58
Calls

4 calls. Slowest were:

23.0ms
(/ (* (* h (/ M (/ d D))) (/ (/ 1 (/ (/ d D) M)) 4)) l)
4.0ms
(/ (/ d D) M)
2.0ms
(* h (/ M (/ d D)))

series198.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

120.0ms
(/ (* (* h (/ M (/ d D))) (/ (/ 1 (/ (/ d D) M)) 4)) l)
42.0ms
(* h (/ M (/ d D)))
23.0ms
(/ M (/ d D))

simplify1.5s

Counts
27 → 70
Calls

27 calls. Slowest were:

405.0ms
(* (* h M) (/ 1 (/ (/ d D) M)))
256.0ms
(* (* h (/ M (/ d D))) (/ 1 (/ (/ d D) M)))
172.0ms
(* (* h M) (/ (/ 1 (/ (/ d D) M)) 4))

prune1.5s

Pruning

8 alts after pruning (6 fresh and 2 done)

Merged error: 4.5b

regimes1.3s

Please include this information when filing a bug report:

herbie shell --seed 2018359 
(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.63137696158254 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