Details

analyze1.9s

Algorithm

Search

True	Other	False	Iter
0%	99.7%	0.3%	0
0%	99.7%	0.3%	1
0%	99.7%	0.3%	2
0%	99.7%	0.3%	3
0%	99.7%	0.3%	4
0%	99.7%	0.3%	5
0%	99.7%	0.3%	6
0%	99.7%	0.3%	7
0%	99.7%	0.3%	8
0%	99.7%	0.3%	9
0%	99.7%	0.3%	10
0%	99.7%	0.3%	11
0%	99.7%	0.3%	12
0%	98.1%	1.9%	13
0%	98.1%	1.9%	14

sample194.0ms

Algorithm

intervals

Results

46.0ms	76×	body	5120	valid
33.0ms	425×	body	80	nan
28.0ms	52×	body	2560	valid
14.0ms	22×	body	5120	exit
10.0ms	127×	body	80	invalid
8.0ms	20×	body	1280	valid
7.0ms	82×	body	80	valid
6.0ms	19×	body	640	valid
1.0ms	4×	body	320	valid
1.0ms	2×	body	640	invalid
1.0ms	1×	body	5120	invalid
0.0ms	1×	body	2560	invalid
0.0ms	3×	body	160	valid
0.0ms	2×	body	320	invalid

simplify46.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (44.0ms)

Iter	Nodes	Cost
0	5035	42

prune18.0ms

Filtered

1 candidates to 1 candidates (0.0%)

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.0b

Counts

2 → 2

localize20.0ms

Local error

Found 4 expressions with local error:

17.9b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
17.9b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
17.9b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
26.3b	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

rewrite91.0ms

Algorithm

rewrite-expression-head

Rules

211×	`add-exp-log` `add-cbrt-cube`
117×	`prod-exp` `cbrt-unprod`
45×	`cbrt-undiv` `div-exp`
6×	`*-un-lft-identity` `add-log-exp`
4×	`pow1` `add-sqr-sqrt` `add-cube-cbrt`
3×	`frac-2neg` `times-frac` `clear-num` `associate-/r` `div-inv` `associate-/l`
2×	`sqrt-div` `frac-add`
1×	`+-commutative` `flip3--` `flip3-+` `sum-log` `flip--` `flip-+` `distribute-lft-out`

Counts

4 → 143

Calls

4 calls:

12.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
13.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
13.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
44.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))))

series191.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify83.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 0 (64.0ms)

Iter	Nodes	Cost
0	5029	2761

prune171.0ms

Filtered

57 candidates to 155 candidates (-171.9%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	149	6	155
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	149	8	157

Merged error: 32.4b

Counts

157 → 8

localize5.0ms

Local error

Found 2 expressions with local error:

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

rewrite12.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

2 → 49

Calls

2 calls:

4.0ms	(/ c0 (* 2.0 w))
6.0ms	(* (/ c0 (* 2.0 w)) 0)

series4.0ms

Counts

2 → 6

Calls

2 calls:

3.0ms	(/ c0 (* 2.0 w))
1.0ms	(* (/ c0 (* 2.0 w)) 0)

simplify39.0ms

Algorithm

egg-herbie

Counts

55 → 55

Iterations

Useful iterations: 0 (35.0ms)

Iter	Nodes	Cost
0	5206	230

prune101.0ms

Filtered

38 candidates to 55 candidates (-44.7%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	54	1	55
Fresh	0	6	6
Picked	1	0	1
Done	0	1	1
Total	55	8	63

Merged error: 29.9b

Counts

63 → 8

localize0.0ms

rewrite0.0ms

Algorithm

rewrite-expression-head

Rules

Counts

0 → 0

series0.0ms

Counts: 0 → 0

simplify3.0ms

Algorithm

egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	0	0

prune34.0ms

Pruning

8 alts after pruning (6 fresh and 2 done)

	Kept	Total
New	0	0
Fresh	6	6
Picked	1	1
Done	1	1
Total	8	8

Merged error: 29.9b

Counts

8 → 8

localize32.0ms

Local error

Found 4 expressions with local error:

12.2b	(* (pow D 4) (* w h))
12.3b	(/ (* M M) (- (* c0 (/ (* d d) (* w (* h (* D D))))) (sqrt (- (* c0 (/ (* (pow d 4) c0) (* w (* h (* (pow D 4) (* w h)))))) (* M M)))))
16.1b	(/ (* d d) (* w (* h (* D D))))
24.0b	(/ (* (pow d 4) c0) (* w (* h (* (pow D 4) (* w h)))))

rewrite72.0ms

Algorithm

rewrite-expression-head

Rules

232×	`add-exp-log`
149×	`prod-exp`
91×	`add-cbrt-cube`
46×	`div-exp`
45×	`cbrt-unprod`
20×	`cbrt-undiv`
19×	`pow-to-exp` `pow-exp`
8×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
7×	`associate-l`
5×	`times-frac` `associate-/r*`
4×	`pow1` `associate-/r/` `add-log-exp`
3×	`unpow-prod-down` `frac-2neg` `clear-num` `div-inv` `associate-/l*`
2×	`flip3--` `sqrt-div` `associate-*r/` `frac-sub` `flip--`
1×	`associate-r` `*-commutative` `sqr-pow`

Counts

4 → 137

Calls

4 calls:

6.0ms	(* (pow D 4) (* w h))
34.0ms	(/ (* M M) (- (* c0 (/ (* d d) (* w (* h (* D D))))) (sqrt (- (* c0 (/ (* (pow d 4) c0) (* w (* h (* (pow D 4) (* w h)))))) (* M M)))))
10.0ms	(/ (* d d) (* w (* h (* D D))))
13.0ms	(/ (* (pow d 4) c0) (* w (* h (* (pow D 4) (* w h)))))

series309.0ms

Counts

4 → 12

Calls

4 calls:

8.0ms	(* (pow D 4) (* w h))
234.0ms	(/ (* M M) (- (* c0 (/ (* d d) (* w (* h (* D D))))) (sqrt (- (* c0 (/ (* (pow d 4) c0) (* w (* h (* (pow D 4) (* w h)))))) (* M M)))))
18.0ms	(/ (* d d) (* w (* h (* D D))))
49.0ms	(/ (* (pow d 4) c0) (* w (* h (* (pow D 4) (* w h)))))

simplify66.0ms

Algorithm

egg-herbie

Counts

149 → 149

Iterations

Useful iterations: 0 (50.0ms)

Iter	Nodes	Cost
0	5155	3067

prune206.0ms

Filtered

67 candidates to 149 candidates (-122.4%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	146	3	149
Fresh	2	3	5
Picked	1	0	1
Done	0	2	2
Total	149	8	157

Merged error: 27.1b

Counts

157 → 8

regimes1.0s

Accuracy

29.6% (3.6b remaining)

Error of 32.4b against oracle of 28.8b and baseline of 33.9b

bsearch1.0ms

simplify3.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	109	108
1	109	108

end0.0ms

sample5.7s

Algorithm

intervals

Results

1.3s	2236×	body	5120	valid
1.0s	12677×	body	80	nan
805.0ms	1683×	body	2560	valid
382.0ms	592×	body	5120	exit
357.0ms	4317×	body	80	invalid
339.0ms	862×	body	1280	valid
207.0ms	2474×	body	80	valid
128.0ms	416×	body	640	valid
54.0ms	229×	body	320	valid
26.0ms	55×	body	2560	invalid
24.0ms	58×	body	1280	invalid
16.0ms	53×	body	640	invalid
15.0ms	100×	body	160	valid
9.0ms	38×	body	320	invalid
4.0ms	6×	body	5120	invalid
3.0ms	20×	body	160	invalid

Details

analyze1.9s

sample194.0ms

simplify46.0ms

prune18.0ms

localize20.0ms

rewrite91.0ms

series191.0ms

simplify83.0ms

prune171.0ms

localize5.0ms

rewrite12.0ms

series4.0ms

simplify39.0ms

prune101.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify3.0ms

prune34.0ms

localize32.0ms

rewrite72.0ms

series309.0ms

simplify66.0ms

prune206.0ms

regimes1.0s

bsearch1.0ms

simplify3.0ms

end0.0ms

sample5.7s

Profiling