Details

sample2.1s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 2.655029%

Guaranteed chance to sample good point: 61.367484%

Results

11.0ms	256×	body	80	valid
4.0ms	83×	body	80	invalid

simplify38.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	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: 3.7b

Counts

2 → 1

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
0.2b	(* (* z 3.0) y)
0.2b	(/ y (* z 3.0))
6.6b	(/ t (* (* z 3.0) y))

rewrite29.0ms

Algorithm

rewrite-expression-head

Rules

23×	`add-exp-log` `add-cbrt-cube`
14×	`*-un-lft-identity`
9×	`pow1` `add-sqr-sqrt` `add-cube-cbrt` `add-log-exp`
7×	`prod-exp` `cbrt-unprod`
6×	`times-frac` `associate-/l*`
5×	`cbrt-undiv` `div-exp`
3×	`associate-r` `pow-prod-down`
2×	`associate-+l+` `frac-2neg` `frac-add` `clear-num` `associate-/r*` `sum-log` `div-inv` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `associate-l` `*-commutative` `flip--` `flip-+` `distribute-lft-out--`

Counts

4 → 81

Calls

4 calls:

13.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
4.0ms	(* (* z 3.0) y)
4.0ms	(/ y (* z 3.0))
5.0ms	(/ t (* (* z 3.0) y))

series29.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (- x (/ y (* z 3.0))) (/ t (* (* z 3.0) y)))
3.0ms	(* (* z 3.0) y)
3.0ms	(/ y (* z 3.0))
6.0ms	(/ t (* (* z 3.0) y))

simplify52.0ms

Algorithm

egg-herbie

Counts

93 → 93

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	405	532
1	2039	469
2	5001	469

prune139.0ms

Filtered

62 candidates to 93 candidates (-50.0%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	83	10	93
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	84	10	94

Merged error: 0.0b

Counts

94 → 10

localize9.0ms

Local error

Found 4 expressions with local error:

0.0b	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
0.2b	(/ y (* z 3.0))
0.2b	(/ t (* z 3.0))
4.5b	(/ (/ t (* z 3.0)) y)

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

39×	`times-frac`
29×	`*-un-lft-identity`
24×	`add-sqr-sqrt` `add-cube-cbrt`
23×	`add-exp-log` `add-cbrt-cube`
13×	`associate-/l*`
9×	`cbrt-undiv` `div-exp` `add-log-exp`
7×	`div-inv`
5×	`associate-/r*`
4×	`pow1`
3×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod`
2×	`associate-+l+` `frac-add` `sum-log` `distribute-lft-out`
1×	`+-commutative` `associate-+l-` `sub-neg` `flip3--` `flip3-+` `diff-log` `flip--` `flip-+` `associate-/l/` `distribute-lft-out--`

Counts

4 → 109

Calls

4 calls:

14.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
4.0ms	(/ y (* z 3.0))
4.0ms	(/ t (* z 3.0))
6.0ms	(/ (/ t (* z 3.0)) y)

series32.0ms

Counts

4 → 12

Calls

4 calls:

17.0ms	(+ (- x (/ y (* z 3.0))) (/ (/ t (* z 3.0)) y))
3.0ms	(/ y (* z 3.0))
5.0ms	(/ t (* z 3.0))
6.0ms	(/ (/ t (* z 3.0)) y)

simplify50.0ms

Algorithm

egg-herbie

Counts

121 → 121

Iterations

Useful iterations: 1 (11.0ms)

Iter	Nodes	Cost
0	482	721
1	1906	657
2	5001	657

prune159.0ms

Filtered

88 candidates to 121 candidates (-37.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	118	3	121
Fresh	2	7	9
Picked	1	0	1
Done	0	0	0
Total	121	10	131

Merged error: 0.0b

Counts

131 → 10

localize14.0ms

Local error

Found 4 expressions with local error:

0.5b	(cbrt t)
0.5b	(cbrt t)
0.5b	(cbrt t)
3.0b	(* (/ (* (cbrt t) (cbrt t)) z) (/ (/ (cbrt t) 3.0) y))

rewrite38.0ms

Algorithm

rewrite-expression-head

Rules

137×	`times-frac`
97×	`add-sqr-sqrt`
71×	`add-cube-cbrt` `*-un-lft-identity`
70×	`associate-r`
40×	`add-exp-log`
38×	`cbrt-prod`
31×	`add-cbrt-cube`
15×	`cbrt-undiv` `div-exp`
12×	`prod-exp` `cbrt-unprod`
8×	`unswap-sqr`
7×	`associate-l`
6×	`pow1`
5×	`div-inv`
4×	`add-log-exp`
3×	`pow1/3`
1×	`frac-times` `associate-r/` `pow-prod-down` `associate-l/` `*-commutative`

Counts

4 → 148

Calls

4 calls:

1.0ms	(cbrt t)
1.0ms	(cbrt t)
1.0ms	(cbrt t)
27.0ms	(* (/ (* (cbrt t) (cbrt t)) z) (/ (/ (cbrt t) 3.0) y))

series76.0ms

Counts

4 → 12

Calls

4 calls:

24.0ms	(cbrt t)
21.0ms	(cbrt t)
21.0ms	(cbrt t)
10.0ms	(* (/ (* (cbrt t) (cbrt t)) z) (/ (/ (cbrt t) 3.0) y))

simplify37.0ms

Algorithm

egg-herbie

Counts

160 → 160

Iterations

Useful iterations: 1 (23.0ms)

Iter	Nodes	Cost
0	971	1523
1	5001	1365

prune233.0ms

Filtered

135 candidates to 160 candidates (-18.5%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	159	1	160
Fresh	1	8	9
Picked	0	1	1
Done	0	0	0
Total	160	10	170

Merged error: 0.0b

Counts

170 → 10

localize16.0ms

Local error

Found 4 expressions with local error:

4.5b	(/ (/ t (* z 3.0)) y)
10.7b	(cbrt (/ (/ t (* z 3.0)) y))
10.7b	(cbrt (/ (/ t (* z 3.0)) y))
10.7b	(cbrt (/ (/ t (* z 3.0)) y))

rewrite27.0ms

Algorithm

rewrite-expression-head

Rules

123×	`times-frac`
75×	`cbrt-prod`
62×	`add-sqr-sqrt` `add-cube-cbrt` `*-un-lft-identity`
17×	`div-inv`
13×	`add-exp-log` `add-cbrt-cube`
7×	`associate-/l*`
5×	`cbrt-undiv` `div-exp`
4×	`pow1` `add-log-exp`
3×	`cbrt-div` `pow1/3` `associate-/r*`
1×	`frac-2neg` `prod-exp` `clear-num` `cbrt-unprod` `associate-/l/`

Counts

4 → 150

Calls

4 calls:

6.0ms	(/ (/ t (* z 3.0)) y)
5.0ms	(cbrt (/ (/ t (* z 3.0)) y))
5.0ms	(cbrt (/ (/ t (* z 3.0)) y))
5.0ms	(cbrt (/ (/ t (* z 3.0)) y))

series77.0ms

Counts

4 → 12

Calls

4 calls:

6.0ms	(/ (/ t (* z 3.0)) y)
27.0ms	(cbrt (/ (/ t (* z 3.0)) y))
22.0ms	(cbrt (/ (/ t (* z 3.0)) y))
23.0ms	(cbrt (/ (/ t (* z 3.0)) y))

simplify48.0ms

Algorithm

egg-herbie

Counts

162 → 162

Iterations

Useful iterations: 2 (32.0ms)

Iter	Nodes	Cost
0	402	1355
1	1418	1290
2	5002	1284

prune379.0ms

Filtered

141 candidates to 162 candidates (-14.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	162	0	162
Fresh	0	8	8
Picked	0	1	1
Done	0	1	1
Total	162	10	172

Merged error: 0.0b

Counts

172 → 10

regimes492.0ms

Accuracy

60.9% (0.6b remaining)

Error of 0.6b against oracle of 0.0b and baseline of 1.5b

bsearch1.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	25
1	38	25

end0.0ms

sample3.0s

Algorithm

intervals

sampling

Space saved by range analysis: 0%

Space saved by search: 2.655029%

Guaranteed chance to sample good point: 61.367484%

Results

378.0ms	8000×	body	80	valid
133.0ms	2823×	body	80	invalid

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7

Details

sample2.1s

simplify38.0ms

prune4.0ms

localize9.0ms

rewrite29.0ms

series29.0ms

simplify52.0ms

prune139.0ms

localize9.0ms

rewrite31.0ms

series32.0ms

simplify50.0ms

prune159.0ms

localize14.0ms

rewrite38.0ms

series76.0ms

simplify37.0ms

prune233.0ms

localize16.0ms

rewrite27.0ms

series77.0ms

simplify48.0ms

prune379.0ms

regimes492.0ms

bsearch1.0ms

simplify2.0ms

end0.0ms

sample3.0s

Profiling

Iter	Nodes	Cost
0	24	7
1	54	7
2	92	7
3	142	7
4	192	7
5	238	7
6	255	7
7	286	7
8	330	7
9	427	7
10	455	7
11	518	7
12	595	7
13	803	7
14	807	7
15	807	7