Error in 1.8m

Runtime

Time bar (total: 1.8m)Debug log

start2.0s

Algorithm
intervals

setup587.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 50.4b

localize50.0ms

Local error

Found 4 expressions with local error:

44.2b
(fma (/ c0 (* w 2)) (sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))) (* (/ c0 (* w 2)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w))))
14.8b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
14.8b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
14.8b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))

rewrite32.0ms

Algorithm
rewrite-expression-head
Counts
4 → 94
Calls

4 calls. Slowest were:

12.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
9.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
9.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))

series555.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

407.0ms
(fma (/ c0 (* w 2)) (sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))) (* (/ c0 (* w 2)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w))))
51.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
49.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))

simplify10.4s

Counts
72 → 106
Calls

72 calls. Slowest were:

449.0ms
(/ (* c0 (pow d 2)) (* w (* (pow D 2) h)))
412.0ms
(/ (* c0 (pow d 2)) (* w (* (pow D 2) h)))
394.0ms
(/ (* c0 (pow d 2)) (* w (* (pow D 2) h)))

prune2.5s

Pruning

10 alts after pruning (10 fresh and 0 done)

Merged error: 25.6b

localize1.0ms

Local error

Found 0 expressions with local error:

rewrite0.0ms

Algorithm
rewrite-expression-head
Counts
0 → 0
Calls

0 calls. Slowest were:

series0.0ms

Counts
0 → 0
Calls

0 calls. Slowest were:

simplify0.0ms

Counts
0 → 0
Calls

0 calls. Slowest were:

prune102.0ms

Pruning

10 alts after pruning (9 fresh and 1 done)

Merged error: 25.6b

localize14.0ms

Local error

Found 4 expressions with local error:

43.2b
(fma (/ c0 (* w 2)) (sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))) (* (/ c0 (* w 2)) (* (/ d D) (* (/ d D) (/ (/ c0 h) w)))))
14.8b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
14.8b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
13.6b
(sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))

rewrite21.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

10.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
9.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
1.0ms
(sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))

series856.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

462.0ms
(fma (/ c0 (* w 2)) (sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))) (* (/ c0 (* w 2)) (* (/ d D) (* (/ d D) (/ (/ c0 h) w)))))
284.0ms
(sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))
56.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))

simplify9.3s

Counts
56 → 92
Calls

56 calls. Slowest were:

1.1s
(sqrt (* (cbrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))) (cbrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))))
654.0ms
(sqrt (sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))))
621.0ms
(sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))

prune2.0s

Pruning

11 alts after pruning (10 fresh and 1 done)

Merged error: 25.1b

localize31.0ms

Local error

Found 4 expressions with local error:

43.2b
(fma (/ c0 (* w 2)) (pow (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))) 1/2) (* (/ c0 (* w 2)) (* (/ d D) (* (/ d D) (/ (/ c0 h) w)))))
14.8b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
14.8b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
13.6b
(pow (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))) 1/2)

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 82
Calls

4 calls. Slowest were:

19.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
18.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
2.0ms
(pow (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))) 1/2)

series1.1s

Counts
4 → 12
Calls

4 calls. Slowest were:

729.0ms
(fma (/ c0 (* w 2)) (pow (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))) 1/2) (* (/ c0 (* w 2)) (* (/ d D) (* (/ d D) (/ (/ c0 h) w)))))
257.0ms
(pow (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))) 1/2)
53.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))

simplify11.0s

Counts
57 → 94
Calls

57 calls. Slowest were:

652.0ms
(exp (* 1/2 (- (+ (* 2 (log (/ -1 w))) (+ (* 4 (log (/ -1 D))) (* 2 (log (/ -1 h))))) (+ (* 4 (log (/ -1 d))) (* 2 (log (/ -1 c0)))))))
636.0ms
(* 1/2 (/ (* c0 (exp (* 1/2 (- (+ (* 2 (log (/ -1 w))) (+ (* 4 (log (/ -1 D))) (* 2 (log (/ -1 h))))) (+ (* 4 (log (/ -1 d))) (* 2 (log (/ -1 c0)))))))) w))
592.0ms
(exp (* 1/2 (- (+ (* 2 (log (/ 1 h))) (+ (* 4 (log (/ 1 D))) (* 2 (log (/ 1 w))))) (+ (* 4 (log (/ 1 d))) (* 2 (log (/ 1 c0)))))))

prune2.0s

Pruning

12 alts after pruning (10 fresh and 2 done)

Merged error: 25.1b

regimes1.8s

Please include this information when filing a bug report:

herbie shell --seed 2018359 +o rules:numerics
(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: 32.34377154171699 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