Details

sample4.6s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.720215%

Guaranteed chance to sample good point: 41.989426%

Results

47.0ms	78×	body	5120	valid
37.0ms	413×	body	80	nan
30.0ms	58×	body	2560	valid
13.0ms	19×	body	5120	exit
12.0ms	145×	body	80	invalid
10.0ms	23×	body	1280	valid
7.0ms	86×	body	80	valid
1.0ms	4×	body	640	valid
1.0ms	4×	body	320	valid
1.0ms	2×	body	1280	invalid
1.0ms	1×	body	2560	invalid
0.0ms	3×	body	160	valid
0.0ms	1×	body	640	invalid
0.0ms	1×	body	320	invalid
0.0ms	1×	body	160	invalid

simplify116.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	59	26
1	298	26
2	3398	26
3	5002	26

prune6.0ms

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Merged error: 57.5b

Counts

2 → 1

localize23.0ms

Local error

Found 4 expressions with local error:

14.9b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
14.9b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
15.3b	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
27.4b	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

rewrite89.0ms

Algorithm

rewrite-expression-head

Rules

142×	`add-exp-log` `add-cbrt-cube`
78×	`prod-exp` `cbrt-unprod`
30×	`cbrt-undiv` `div-exp`
7×	`*-un-lft-identity`
6×	`add-sqr-sqrt` `add-log-exp`
5×	`pow1` `add-cube-cbrt`
4×	`sqrt-div` `sqrt-prod`
2×	`flip3--` `frac-2neg` `times-frac` `frac-add` `clear-num` `associate-/r` `flip--` `div-inv` `associate-/l`
1×	`+-commutative` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `sum-log` `flip-+` `distribute-lft-out` `difference-of-squares`

Counts

4 → 116

Calls

4 calls:

17.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
13.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
21.0ms	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
32.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

series250.0ms

Counts

4 → 12

Calls

4 calls:

29.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
30.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
74.0ms	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
116.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

simplify126.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	599	2002
1	3814	1561
2	5001	1561

prune146.0ms

Filtered

58 candidates to 128 candidates (-120.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	123	5	128
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	124	5	129

Merged error: 28.4b

Counts

129 → 5

localize5.0ms

Local error

Found 1 expressions with local error:

6.9b	(* (/ c0 (* 2.0 w)) 0)

rewrite7.0ms

Algorithm

rewrite-expression-head

Rules

10×	`add-exp-log` `add-cbrt-cube`
7×	`associate-l`
6×	`add-sqr-sqrt`
4×	`add-cube-cbrt` `*-un-lft-identity` `prod-exp` `cbrt-unprod`
3×	`pow1` `times-frac` `associate-r`
2×	`cbrt-undiv` `div-exp`
1×	`mul0` `pow-prod-down` `associate-l/` `-commutative` `div-inv` `add-log-exp` `unswap-sqr`

Counts

1 → 28

Calls

1 calls:

6.0ms

(* (/ c0 (* 2.0 w)) 0)

series1.0ms

Counts

1 → 3

Calls

1 calls:

1.0ms

(* (/ c0 (* 2.0 w)) 0)

simplify286.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 2 (282.0ms)

Iter	Nodes	Cost
0	176	32
1	1859	16
2	5001	6

prune54.0ms

Filtered

19 candidates to 31 candidates (-63.2%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	4	4
Picked	1	0	1
Done	0	0	0
Total	31	5	36

Merged error: 26.5b

Counts

36 → 5

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify2.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune21.0ms

Pruning

5 alts after pruning (4 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	4	4
Picked	1	1
Done	0	0
Total	5	5

Merged error: 26.5b

Counts

5 → 5

localize28.0ms

Local error

Found 4 expressions with local error:

15.3b	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
15.3b	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
27.4b	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
27.4b	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

rewrite110.0ms

Algorithm

rewrite-expression-head

Rules

10×	`*-un-lft-identity`
8×	`add-sqr-sqrt` `sqrt-div` `sqrt-prod` `add-log-exp`
6×	`pow1` `add-cube-cbrt`
4×	`add-exp-log` `flip3--` `frac-add` `add-cbrt-cube` `flip--`
2×	`+-commutative` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `sum-log` `flip-+` `distribute-lft-out` `difference-of-squares`

Counts

4 → 60

Calls

4 calls:

21.0ms	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
21.0ms	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
35.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
31.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

series538.0ms

Counts

4 → 12

Calls

4 calls:

75.0ms	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
77.0ms	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
94.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))
291.0ms	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

simplify60.0ms

Algorithm

egg-herbie

Counts

72 → 72

Iterations

Useful iterations: 1 (8.0ms)

Iter	Nodes	Cost
0	229	1964
1	1333	1866
2	5001	1866

prune101.0ms

Filtered

60 candidates to 72 candidates (-20.0%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	71	1	72
Fresh	0	3	3
Picked	1	0	1
Done	0	1	1
Total	72	5	77

Merged error: 26.5b

Counts

77 → 5

regimes762.0ms

Accuracy

0% (3.1b remaining)

Error of 33.8b against oracle of 30.7b and baseline of 33.8b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	0

end0.0ms

sample10.7s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 0.720215%

Guaranteed chance to sample good point: 41.989426%

Results

1.4s	2296×	body	5120	valid
1.1s	13025×	body	80	nan
836.0ms	1680×	body	2560	valid
393.0ms	605×	body	5120	exit
365.0ms	4286×	body	80	invalid
337.0ms	841×	body	1280	valid
207.0ms	2508×	body	80	valid
126.0ms	399×	body	640	valid
41.0ms	175×	body	320	valid
32.0ms	73×	body	1280	invalid
17.0ms	36×	body	2560	invalid
16.0ms	101×	body	160	valid
15.0ms	46×	body	640	invalid
7.0ms	31×	body	320	invalid
2.0ms	4×	body	5120	invalid
2.0ms	12×	body	160	invalid

Details

sample4.6s

simplify116.0ms

prune6.0ms

localize23.0ms

rewrite89.0ms

series250.0ms

simplify126.0ms

prune146.0ms

localize5.0ms

rewrite7.0ms

series1.0ms

simplify286.0ms

prune54.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune21.0ms

localize28.0ms

rewrite110.0ms

series538.0ms

simplify60.0ms

prune101.0ms

regimes762.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample10.7s

Profiling