Error in 3.6m

Runtime

Time bar (total: 3.6m)Debug logProfile

start1.9s

Algorithm
intervals

setup522.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 51.6b

localize52.0ms

Local error

Found 4 expressions with local error:

26.2b
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D))))
13.3b
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
13.3b
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
13.3b
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

rewrite64.0ms

Algorithm
rewrite-expression-head
Counts
4 → 145
Calls

4 calls. Slowest were:

19.0ms
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D))))
18.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
11.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

series907.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

565.0ms
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D))))
124.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
110.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

simplify37.6s

Counts
179 → 157
Calls

179 calls. Slowest were:

852.0ms
(/ (* c0 (pow d 2)) (* (pow D 2) (* w h)))
718.0ms
(+ (* (sqrt (* (- (* M M) (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D))))) (- (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (* M M)))) D) (* (sqrt (* (- M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (+ (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (/ (/ c0 h) w) (* (/ d D) d))))
603.0ms
(+ (log (/ (/ c0 h) w)) (+ (log (/ d D)) (log (/ d D))))

prune3.4s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 50.2b

localize26.0ms

Local error

Found 4 expressions with local error:

29.5b
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (* (/ (/ c0 h) w) (/ d D)) (/ d D)))
13.3b
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
13.3b
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
11.9b
(sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M)))

rewrite74.0ms

Algorithm
rewrite-expression-head
Counts
4 → 136
Calls

4 calls. Slowest were:

36.0ms
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (* (/ (/ c0 h) w) (/ d D)) (/ d D)))
15.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
12.0ms
(sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M)))

series1.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

457.0ms
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (* (/ (/ c0 h) w) (/ d D)) (/ d D)))
442.0ms
(sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M)))
126.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

simplify35.7s

Counts
170 → 148
Calls

170 calls. Slowest were:

816.0ms
(+ (* (sqrt (* (- (* M M) (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D))))) (- (pow (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) 3) (pow M 3)))) (* w D)) (* (sqrt (* (- M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (+ (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (+ (* M M) (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))))) (* (* (/ c0 h) d) (/ d D))))
549.0ms
(+ (log (/ (/ c0 h) w)) (+ (log (/ d D)) (log (/ d D))))
537.0ms
(/ (* c0 (pow d 2)) (* (pow D 2) (* w h)))

prune3.4s

Pruning

13 alts after pruning (12 fresh and 1 done)

Merged error: 49.7b

localize28.0ms

Local error

Found 4 expressions with local error:

34.1b
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (/ c0 h) (* (/ 1 w) (* (/ d D) (/ d D)))))
13.3b
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
13.3b
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
12.0b
(* (/ c0 h) (* (/ 1 w) (* (/ d D) (/ d D))))

rewrite79.0ms

Algorithm
rewrite-expression-head
Counts
4 → 220
Calls

4 calls. Slowest were:

25.0ms
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (/ c0 h) (* (/ 1 w) (* (/ d D) (/ d D)))))
20.0ms
(* (/ c0 h) (* (/ 1 w) (* (/ d D) (/ d D))))
11.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

series764.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

465.0ms
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (/ c0 h) (* (/ 1 w) (* (/ d D) (/ d D)))))
116.0ms
(* (/ c0 h) (* (/ 1 w) (* (/ d D) (/ d D))))
106.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

simplify1.2m

Counts
320 → 232
Calls

320 calls. Slowest were:

971.0ms
(+ (* (sqrt (* (- (* M M) (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D))))) (- (pow (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) 3) (pow M 3)))) (* h w)) (* (sqrt (* (- M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (+ (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (+ (* M M) (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))))) (* c0 (* 1 (* (/ d D) (/ d D))))))
785.0ms
(* (sqrt (* (+ (* M M) (- (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (* M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))))) (+ (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (+ (* M M) (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))))) D)
666.0ms
(+ (* (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (pow (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) 3) (pow M 3)))) (* D D)) (* (sqrt (+ (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (+ (* M M) (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M)))) (* (/ c0 h) (* (/ 1 w) (* d d)))))

prune4.4s

Pruning

16 alts after pruning (15 fresh and 1 done)

Merged error: 49.4b

localize15.0ms

Local error

Found 4 expressions with local error:

31.5b
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
13.3b
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
13.3b
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))
11.9b
(sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M)))

rewrite50.0ms

Algorithm
rewrite-expression-head
Counts
4 → 89
Calls

4 calls. Slowest were:

17.0ms
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
12.0ms
(sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M)))
11.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

series772.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

341.0ms
(+ (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (/ (* (/ c0 w) (* (/ d D) (/ d D))) h))
275.0ms
(sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M)))
80.0ms
(* (/ (/ c0 h) w) (* (/ d D) (/ d D)))

simplify9.3s

Counts
75 → 101
Calls

75 calls. Slowest were:

492.0ms
(+ (* (sqrt (* (+ (pow M 3) (pow (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) 3)) (- (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (* M M)))) h) (* (sqrt (* (+ (* M M) (- (* (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (* M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))))) (+ (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M))) (* (/ c0 w) (* (/ d D) (/ d D)))))
362.0ms
(* (exp (sqrt (* (+ M (* (/ (/ c0 h) w) (* (/ d D) (/ d D)))) (- (* (/ (/ c0 h) w) (* (/ d D) (/ d D))) M)))) (exp (/ (* (/ c0 w) (* (/ d D) (/ d D))) h)))
362.0ms
(+ (log (/ (/ c0 h) w)) (+ (log (/ d D)) (log (/ d D))))

prune1.4s

Pruning

15 alts after pruning (14 fresh and 1 done)

Merged error: 49.3b

regimes1.5s

Please include this information when filing a bug report:

herbie shell --seed 2018357 
(FPCore (c0 w h D d M)
  :name "Henrywood and Agarwal, Equation (13)"
  (* (/ c0 (* 2 w)) (+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))))

Backtrace

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