Details

sample224.0ms

Algorithm

intervals

Results

47.0ms	78×	body	5120	valid
33.0ms	57×	body	2560	valid
32.0ms	409×	body	80	nan
17.0ms	27×	body	5120	exit
17.0ms	214×	body	80	valid
12.0ms	31×	body	1280	valid
2.0ms	7×	body	640	valid
2.0ms	7×	body	320	valid
0.0ms	2×	body	160	valid

simplify108.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

prune7.0ms

Filtered

1 candidates to 0 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: 59.1b

Counts

2 → 1

localize22.0ms

Local error

Found 4 expressions with local error:

14.3b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
14.3b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
15.2b	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
29.0b	(+ (/ (* 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:

16.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
13.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
22.0ms	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
33.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))))

series578.0ms

Counts

4 → 12

Calls

4 calls:

87.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
88.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
174.0ms	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M)))
228.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))))

simplify123.0ms

Algorithm

egg-herbie

Counts

128 → 128

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	599	2003
1	3812	1561
2	5001	1561

prune485.0ms

Filtered

128 candidates to 58 candidates (45.3%)

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: 33.3b

Counts

129 → 5

localize5.0ms

Local error

Found 1 expressions with local error:

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

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

7.0ms

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

series1.0ms

Counts

1 → 3

Calls

1 calls:

1.0ms

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

simplify284.0ms

Algorithm

egg-herbie

Counts

31 → 31

Iterations

Useful iterations: 2 (281.0ms)

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

prune141.0ms

Filtered

31 candidates to 19 candidates (61.3%)

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: 30.4b

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

prune28.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: 30.4b

Counts

5 → 5

localize22.0ms

Local error

Found 4 expressions with local error:

14.3b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
15.2b	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (/ (* c0 (* d d)) (* w h)) (* D D))) (* M M)))
19.0b	(/ (/ (* c0 (* d d)) (* w h)) (* D D))
31.1b	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (/ (* c0 (* d d)) (* w h)) (* D D))) (* M M))))

rewrite86.0ms

Algorithm

rewrite-expression-head

Rules

138×	`add-exp-log` `add-cbrt-cube`
64×	`prod-exp` `cbrt-unprod`
41×	`cbrt-undiv` `div-exp`
9×	`*-un-lft-identity`
8×	`add-sqr-sqrt` `times-frac`
7×	`add-cube-cbrt`
6×	`associate-/l*` `add-log-exp`
5×	`pow1`
4×	`sqrt-div` `div-inv`
3×	`sqrt-prod`
2×	`flip3--` `frac-2neg` `frac-add` `clear-num` `associate-/r*` `flip--`
1×	`+-commutative` `rem-sqrt-square` `sqrt-pow1` `flip3-+` `pow1/2` `sum-log` `flip-+` `associate-/l/` `distribute-lft-out`

Counts

4 → 122

Calls

4 calls:

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

series582.0ms

Counts

4 → 12

Calls

4 calls:

88.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
175.0ms	(sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (/ (* c0 (* d d)) (* w h)) (* D D))) (* M M)))
89.0ms	(/ (/ (* c0 (* d d)) (* w h)) (* D D))
229.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))))

simplify38.0ms

Algorithm

egg-herbie

Counts

134 → 134

Iterations

Useful iterations: 1 (21.0ms)

Iter	Nodes	Cost
0	821	2026
1	5001	1600

prune472.0ms

Filtered

134 candidates to 62 candidates (46.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	132	2	134
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	132	7	139

Merged error: 29.7b

Counts

139 → 7

regimes1.0s

Accuracy

0% (4.0b remaining)

Error of 34.2b against oracle of 30.1b and baseline of 34.2b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1	0

end0.0ms

sample6.7s

Algorithm

intervals

Results

1.4s	2358×	body	5120	valid
1.1s	13234×	body	80	nan
828.0ms	1680×	body	2560	valid
566.0ms	6931×	body	80	valid
392.0ms	603×	body	5120	exit
368.0ms	913×	body	1280	valid
130.0ms	411×	body	640	valid
53.0ms	226×	body	320	valid
20.0ms	129×	body	160	valid

Details

sample224.0ms

simplify108.0ms

prune7.0ms

localize22.0ms

rewrite89.0ms

series578.0ms

simplify123.0ms

prune485.0ms

localize5.0ms

rewrite8.0ms

series1.0ms

simplify284.0ms

prune141.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune28.0ms

localize22.0ms

rewrite86.0ms

series582.0ms

simplify38.0ms

prune472.0ms

regimes1.0s

bsearch0.0ms

simplify1.0ms

end0.0ms

sample6.7s

Profiling