Error in 1.7m

Runtime

Time bar (total: 1.7m)Debug logProfile

start2.0s

Algorithm
intervals

setup536.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

Merged error: 52.8b

localize67.0ms

Local error

Found 4 expressions with local error:

49.0b
(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))))
13.3b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
13.3b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
13.3b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))

rewrite41.0ms

Algorithm
rewrite-expression-head
Counts
4 → 94
Calls

4 calls. Slowest were:

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

series633.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

443.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))))
69.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
69.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))

simplify10.7s

Counts
72 → 106
Calls

72 calls. Slowest were:

458.0ms
(+ (+ (log (/ d D)) (log (/ d D))) (log (/ (/ c0 h) w)))
424.0ms
(/ (* c0 (pow d 2)) (* w (* (pow D 2) h)))
420.0ms
(+ (+ (log (/ d D)) (log (/ d D))) (log (/ (/ c0 h) w)))

prune2.2s

Pruning

9 alts after pruning (9 fresh and 0 done)

Merged error: 29.9b

localize0.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:

prune86.0ms

Pruning

9 alts after pruning (8 fresh and 1 done)

Merged error: 29.9b

localize31.0ms

Local error

Found 4 expressions with local error:

48.0b
(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)))))
13.3b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
13.3b
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
11.9b
(sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))

rewrite46.0ms

Algorithm
rewrite-expression-head
Counts
4 → 80
Calls

4 calls. Slowest were:

24.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
18.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))
2.0ms
(sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))

series860.0ms

Counts
4 → 12
Calls

4 calls. Slowest were:

435.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)))))
307.0ms
(sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))
72.0ms
(* (* (/ d D) (/ d D)) (/ (/ c0 h) w))

simplify9.0s

Counts
56 → 92
Calls

56 calls. Slowest were:

665.0ms
(sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))
625.0ms
(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))))))
609.0ms
(sqrt (sqrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))))

prune2.5s

Pruning

11 alts after pruning (9 fresh and 2 done)

Merged error: 29.6b

localize75.0ms

Local error

Found 4 expressions with local error:

47.2b
(fma (/ c0 (* w 2)) (* (fabs (cbrt (fma (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* M (- M))))) (sqrt (cbrt (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)))))
22.3b
(cbrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))
22.3b
(cbrt (fma (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* M (- M))))
16.7b
(sqrt (cbrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))))

rewrite6.0ms

Algorithm
rewrite-expression-head
Counts
4 → 54
Calls

4 calls. Slowest were:

2.0ms
(sqrt (cbrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))))
1.0ms
(cbrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))
1.0ms
(cbrt (fma (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* M (- M))))

series1.8s

Counts
4 → 12
Calls

4 calls. Slowest were:

1.1s
(fma (/ c0 (* w 2)) (* (fabs (cbrt (fma (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* M (- M))))) (sqrt (cbrt (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)))))
271.0ms
(cbrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))
237.0ms
(cbrt (fma (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* M (- M))))

simplify10.3s

Counts
26 → 66
Calls

26 calls. Slowest were:

890.0ms
(cbrt (* (cbrt (fma (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* M (- M)))) (cbrt (fma (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* M (- M))))))
837.0ms
(cbrt (sqrt (fma (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* (/ (/ d D) h) (* (/ c0 w) (/ d D))) (* M (- M)))))
648.0ms
(sqrt (* (cbrt (cbrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M))))) (cbrt (cbrt (fma (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* (* (/ d D) (/ d D)) (/ (/ c0 h) w)) (* M (- M)))))))

prune2.1s

Pruning

12 alts after pruning (11 fresh and 1 done)

Merged error: 29.6b

regimes1.7s

Please include this information when filing a bug report:

herbie shell --seed 2018357 +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.057415659774165 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