Details

sample3.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 21.029663%

Guaranteed chance to sample good point: 33.62059%

Results

13.0ms	26×	body	1280	valid
12.0ms	197×	body	80	valid
6.0ms	8×	body	320	invalid
4.0ms	14×	body	640	valid
3.0ms	13×	body	320	valid
2.0ms	5×	body	1280	invalid
2.0ms	7×	body	640	invalid
1.0ms	17×	body	80	nan
1.0ms	6×	body	160	valid
1.0ms	9×	body	80	invalid
1.0ms	4×	body	160	invalid

simplify121.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	18	7
1	27	7
2	54	7
3	109	7
4	307	7
5	777	7
6	4145	7
7	5002	7

prune4.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: 8.0b

Counts

2 → 1

localize10.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ (exp (* y (log (/ y (+ z y))))) y)
0.0b	(/ y (+ z y))
0.1b	(* y (log (/ y (+ z y))))
8.8b	(log (/ y (+ z y)))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

261×	`times-frac`
221×	`*-un-lft-identity`
198×	`log-prod`
149×	`add-sqr-sqrt`
147×	`add-cube-cbrt`
144×	`exp-sum`
90×	`distribute-rgt-in` `distribute-lft-in`
42×	`associate-/l*`
37×	`distribute-lft-out`
24×	`associate-/r/`
13×	`div-inv`
12×	`add-exp-log` `flip3-+` `flip-+`
10×	`add-cbrt-cube`
8×	`pow1`
7×	`associate-/r*`
4×	`associate-r` `add-log-exp`
3×	`div-exp` `associate-l`
2×	`cbrt-undiv` `frac-2neg` `rem-log-exp` `clear-num` `log-pow`
1×	`log-div` `pow-prod-down` `prod-exp` `*-commutative` `cbrt-unprod` `unswap-sqr`

Counts

4 → 288

Calls

4 calls:

14.0ms	(/ (exp (* y (log (/ y (+ z y))))) y)
5.0ms	(/ y (+ z y))
8.0ms	(* y (log (/ y (+ z y))))
5.0ms	(log (/ y (+ z y)))

series52.0ms

Counts

4 → 12

Calls

4 calls:

21.0ms	(/ (exp (* y (log (/ y (+ z y))))) y)
5.0ms	(/ y (+ z y))
14.0ms	(* y (log (/ y (+ z y))))
12.0ms	(log (/ y (+ z y)))

simplify115.0ms

Algorithm

egg-herbie

Counts

300 → 300

Iterations

Useful iterations: 2 (80.0ms)

Iter	Nodes	Cost
0	977	3146
1	3646	2706
2	5001	2693

prune289.0ms

Filtered

172 candidates to 300 candidates (-74.4%)

Pruning

3 alts after pruning (3 fresh and 0 done)

	Pruned	Kept	Total
New	297	3	300
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	298	3	301

Merged error: 0.1b

Counts

301 → 3

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

prune7.0ms

Pruning

3 alts after pruning (2 fresh and 1 done)

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

Merged error: 0.1b

Counts

3 → 3

localize11.0ms

Local error

Found 4 expressions with local error:

0.0b	(/ y (+ z y))
0.2b	(log (/ (pow (/ y (+ z y)) y) y))
2.6b	(exp (log (/ (pow (/ y (+ z y)) y) y)))
7.5b	(pow (/ y (+ z y)) y)

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

228×	`times-frac`
173×	`*-un-lft-identity`
140×	`log-prod`
126×	`unpow-prod-down`
123×	`add-sqr-sqrt` `add-cube-cbrt`
70×	`exp-sum`
25×	`distribute-lft-out`
18×	`add-exp-log`
16×	`associate-/r/`
10×	`div-inv`
8×	`flip3-+` `flip-+`
7×	`pow1` `div-exp` `sqr-pow`
6×	`add-cbrt-cube`
5×	`rem-log-exp`
4×	`exp-prod` `pow-exp` `associate-/r*` `add-log-exp`
3×	`pow-unpow` `associate-/l*`
2×	`pow-to-exp` `log-div` `log-pow`
1×	`cbrt-undiv` `pow-pow` `frac-2neg` `exp-diff` `clear-num` `rem-exp-log`

Counts

4 → 233

Calls

4 calls:

5.0ms	(/ y (+ z y))
14.0ms	(log (/ (pow (/ y (+ z y)) y) y))
14.0ms	(exp (log (/ (pow (/ y (+ z y)) y) y)))
7.0ms	(pow (/ y (+ z y)) y)

series78.0ms

Counts

4 → 12

Calls

4 calls:

5.0ms	(/ y (+ z y))
32.0ms	(log (/ (pow (/ y (+ z y)) y) y))
21.0ms	(exp (log (/ (pow (/ y (+ z y)) y) y)))
19.0ms	(pow (/ y (+ z y)) y)

simplify127.0ms

Algorithm

egg-herbie

Counts

245 → 245

Iterations

Useful iterations: 1 (27.0ms)

Iter	Nodes	Cost
0	1165	2629
1	4848	2566
2	5001	2566

prune313.0ms

Filtered

182 candidates to 245 candidates (-34.6%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	244	1	245
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	245	3	248

Merged error: 0.1b

Counts

248 → 3

localize15.0ms

Local error

Found 4 expressions with local error:

0.3b	(cbrt (pow (log (/ (pow (/ y (+ z y)) y) y)) 3))
0.3b	(pow (log (/ (pow (/ y (+ z y)) y) y)) 3)
2.6b	(exp (cbrt (pow (log (/ (pow (/ y (+ z y)) y) y)) 3)))
7.5b	(pow (/ y (+ z y)) y)

rewrite23.0ms

Algorithm

rewrite-expression-head

Rules

30×	`unpow-prod-down`
29×	`*-un-lft-identity`
28×	`cbrt-prod`
23×	`add-sqr-sqrt` `add-cube-cbrt`
17×	`exp-prod`
12×	`pow1` `times-frac` `cube-prod`
8×	`add-exp-log`
6×	`pow-unpow` `log-pow`
5×	`add-cbrt-cube` `add-log-exp`
4×	`sqr-pow`
3×	`cube-mult` `unpow3` `pow-exp` `distribute-lft-out`
2×	`pow-to-exp` `pow-pow` `associate-/r/`
1×	`flip3-+` `pow1/3` `div-exp` `rem-cbrt-cube` `flip-+` `div-inv` `rem-exp-log` `rem-cube-cbrt`

Counts

4 → 106

Calls

4 calls:

5.0ms	(cbrt (pow (log (/ (pow (/ y (+ z y)) y) y)) 3))
3.0ms	(pow (log (/ (pow (/ y (+ z y)) y) y)) 3)
5.0ms	(exp (cbrt (pow (log (/ (pow (/ y (+ z y)) y) y)) 3)))
7.0ms	(pow (/ y (+ z y)) y)

series153.0ms

Counts

4 → 12

Calls

4 calls:

28.0ms	(cbrt (pow (log (/ (pow (/ y (+ z y)) y) y)) 3))
84.0ms	(pow (log (/ (pow (/ y (+ z y)) y) y)) 3)
22.0ms	(exp (cbrt (pow (log (/ (pow (/ y (+ z y)) y) y)) 3)))
18.0ms	(pow (/ y (+ z y)) y)

simplify57.0ms

Algorithm

egg-herbie

Counts

118 → 118

Iterations

Useful iterations: 1 (37.0ms)

Iter	Nodes	Cost
0	1449	1698
1	5001	1594

prune238.0ms

Filtered

74 candidates to 118 candidates (-59.5%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	117	1	118
Fresh	0	1	1
Picked	1	0	1
Done	0	1	1
Total	118	3	121

Merged error: 0.1b

Counts

121 → 3

regimes145.0ms

Accuracy

-5% (2.2b remaining)

Error of 2.5b against oracle of 0.3b and baseline of 2.4b

bsearch79.0ms

Steps

Iters	Range		Point
9	2.592796797845391e+95	3.5114276157695633e+102	1.5991307852598771e+97
6	1.0942724386467104e+79	8.983604191169059e+79	8.561375528930453e+79

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	10
1	27	10

end0.0ms

sample4.9s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 21.029663%

Guaranteed chance to sample good point: 33.62059%

Results

381.0ms	6084×	body	80	valid
341.0ms	652×	body	1280	valid
229.0ms	709×	body	640	valid
81.0ms	373×	body	320	valid
73.0ms	239×	body	640	invalid
57.0ms	123×	body	1280	invalid
37.0ms	734×	body	80	nan
37.0ms	183×	body	320	invalid
27.0ms	182×	body	160	valid
15.0ms	249×	body	80	invalid
13.0ms	105×	body	160	invalid

Details

sample3.0s

simplify121.0ms

prune4.0ms

localize10.0ms

rewrite55.0ms

series52.0ms

simplify115.0ms

prune289.0ms

localize5.0ms

rewrite0.0ms

series0.0ms

simplify2.0ms

prune7.0ms

localize11.0ms

rewrite55.0ms

series78.0ms

simplify127.0ms

prune313.0ms

localize15.0ms

rewrite23.0ms

series153.0ms

simplify57.0ms

prune238.0ms

regimes145.0ms

bsearch79.0ms

simplify2.0ms

end0.0ms

sample4.9s

Profiling