Details

analyze1.9s

Algorithm: search

sample188.0ms

Algorithm

intervals

Results

42.0ms	71×	body	5120	valid
34.0ms	411×	body	80	nan
29.0ms	61×	body	2560	valid
11.0ms	140×	body	80	invalid
9.0ms	14×	body	5120	exit
8.0ms	19×	body	1280	valid
7.0ms	86×	body	80	valid
3.0ms	11×	body	640	valid
2.0ms	6×	body	1280	invalid
2.0ms	7×	body	320	valid
1.0ms	2×	body	640	invalid
0.0ms	1×	body	160	valid
0.0ms	1×	body	160	invalid

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

prune5.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: 60.0b

Counts

2 → 1

localize20.0ms

Local error

Found 4 expressions with local error:

19.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
19.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
19.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
25.2b	(+ (/ (* c0 (* d d)) (* (* w h) (* D D))) (sqrt (- (* (/ (* c0 (* d d)) (* (* w h) (* D D))) (/ (* c0 (* d d)) (* (* w h) (* D D)))) (* M M))))

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

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

series195.0ms

Counts

4 → 12

Calls

4 calls:

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

simplify123.0ms

Algorithm

egg-herbie

Counts

155 → 155

Iterations

Useful iterations: 1 (15.0ms)

Iter	Nodes	Cost
0	579	2159
1	3786	1523
2	5001	1523

prune131.0ms

Filtered

56 candidates to 155 candidates (-176.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	149	6	155
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	150	6	156

Merged error: 36.5b

Counts

156 → 6

localize5.0ms

Local error

Found 1 expressions with local error:

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

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

9.0ms

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

series1.0ms

Counts

1 → 3

Calls

1 calls:

1.0ms

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

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

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	30	1	31
Fresh	0	5	5
Picked	1	0	1
Done	0	0	0
Total	31	6	37

Merged error: 33.6b

Counts

37 → 6

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

prune23.0ms

Pruning

6 alts after pruning (5 fresh and 1 done)

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

Merged error: 33.6b

Counts

6 → 6

localize22.0ms

Local error

Found 4 expressions with local error:

19.3b	(/ (/ (* c0 (* d d)) (* w h)) (* D D))
19.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
19.8b	(/ (* c0 (* d d)) (* (* w h) (* D D)))
30.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))))

rewrite83.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

4 → 150

Calls

4 calls:

11.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)))
36.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))))

series194.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)))
32.0ms	(/ (* c0 (* d d)) (* (* w h) (* D D)))
100.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))))

simplify39.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 1 (20.0ms)

Iter	Nodes	Cost
0	802	2195
1	5001	1574

prune82.0ms

Filtered

60 candidates to 162 candidates (-170.0%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	157	5	162
Fresh	1	3	4
Picked	1	0	1
Done	0	1	1
Total	159	9	168

Merged error: 33.4b

Counts

168 → 9

regimes885.0ms

Accuracy

0% (3.0b remaining)

Error of 33.8b against oracle of 30.8b 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

analyze1.9s

Algorithm: search

sample5.7s

Algorithm

intervals

Results

1.4s	2325×	body	5120	valid
1.1s	12802×	body	80	nan
829.0ms	1690×	body	2560	valid
376.0ms	4463×	body	80	invalid
369.0ms	569×	body	5120	exit
353.0ms	884×	body	1280	valid
205.0ms	2429×	body	80	valid
122.0ms	393×	body	640	valid
44.0ms	182×	body	320	valid
27.0ms	55×	body	2560	invalid
25.0ms	63×	body	1280	invalid
16.0ms	97×	body	160	valid
12.0ms	39×	body	640	invalid
9.0ms	37×	body	320	invalid
4.0ms	25×	body	160	invalid
2.0ms	3×	body	5120	invalid

Details

analyze1.9s

sample188.0ms

simplify108.0ms

prune5.0ms

localize20.0ms

rewrite84.0ms

series195.0ms

simplify123.0ms

prune131.0ms

localize5.0ms

rewrite10.0ms

series1.0ms

simplify285.0ms

prune54.0ms

localize0.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune23.0ms

localize22.0ms

rewrite83.0ms

series194.0ms

simplify39.0ms

prune82.0ms

regimes885.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

analyze1.9s

sample5.7s

Profiling