Details

sample1.0s

Algorithm

intervals

sampling

Space saved by range analysis: 2.43188%

Space saved by search: 0.146413%

Guaranteed chance to sample good point: 0%

Results

8.0ms	174×	body	80	valid
8.0ms	28×	body	1280	valid
5.0ms	25×	body	640	valid
2.0ms	17×	body	320	valid
1.0ms	12×	body	160	valid
0.0ms	2×	body	640	invalid
0.0ms	8×	body	80	invalid
0.0ms	2×	body	160	invalid
0.0ms	1×	body	320	invalid

simplify8.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 0 (1.0ms)

Iter	Nodes	Cost
0	12	4
1	24	4
2	48	4
3	71	4
4	79	4
5	79	4

prune3.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: 2.1b

Counts

2 → 1

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (/ (sin y) y))
0.1b	(/ (sin y) y)
2.0b	(/ (* x (/ (sin y) y)) z)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

26×	`add-sqr-sqrt`
22×	`times-frac`
21×	`add-cube-cbrt` `*-un-lft-identity`
19×	`add-exp-log` `add-cbrt-cube`
13×	`associate-r`
6×	`cbrt-undiv` `div-exp` `associate-/r*`
5×	`pow1`
4×	`prod-exp` `cbrt-unprod` `associate-/l*`
3×	`associate-l` `div-inv` `add-log-exp`
2×	`frac-2neg` `associate-*r/` `clear-num` `unswap-sqr`
1×	`pow-prod-down` `*-commutative` `associate-/l/`

Counts

3 → 83

Calls

3 calls:

7.0ms	(* x (/ (sin y) y))
4.0ms	(/ (sin y) y)
6.0ms	(/ (* x (/ (sin y) y)) z)

series30.0ms

Counts

3 → 9

Calls

3 calls:

12.0ms	(* x (/ (sin y) y))
4.0ms	(/ (sin y) y)
14.0ms	(/ (* x (/ (sin y) y)) z)

simplify43.0ms

Algorithm

egg-herbie

Counts

92 → 92

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	326	487
1	1643	420
2	5002	420

prune110.0ms

Filtered

66 candidates to 92 candidates (-39.4%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	86	6	92
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	86	7	93

Merged error: 0.0b

Counts

93 → 7

localize8.0ms

Local error

Found 3 expressions with local error:

0.1b	(/ (/ (sin y) y) z)
0.1b	(/ (sin y) y)
2.2b	(* x (/ (/ (sin y) y) z))

rewrite31.0ms

Algorithm

rewrite-expression-head

Rules

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

Counts

3 → 162

Calls

3 calls:

6.0ms	(/ (/ (sin y) y) z)
3.0ms	(/ (sin y) y)
14.0ms	(* x (/ (/ (sin y) y) z))

series25.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(/ (/ (sin y) y) z)
4.0ms	(/ (sin y) y)
14.0ms	(* x (/ (/ (sin y) y) z))

simplify68.0ms

Algorithm

egg-herbie

Counts

171 → 171

Iterations

Useful iterations: 1 (14.0ms)

Iter	Nodes	Cost
0	605	1176
1	2862	1100
2	5001	1100

prune154.0ms

Filtered

136 candidates to 171 candidates (-25.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	170	1	171
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	171	7	178

Merged error: 0b

Counts

178 → 7

localize11.0ms

Local error

Found 4 expressions with local error:

2.2b	(* x (/ (/ (sin y) y) z))
12.7b	(cbrt (* x (/ (/ (sin y) y) z)))
12.7b	(cbrt (* x (/ (/ (sin y) y) z)))
12.7b	(cbrt (* x (/ (/ (sin y) y) z)))

rewrite40.0ms

Algorithm

rewrite-expression-head

Rules

69×	`times-frac`
49×	`add-sqr-sqrt`
43×	`associate-r`
40×	`add-cube-cbrt` `*-un-lft-identity`
13×	`add-exp-log` `add-cbrt-cube`
6×	`pow1`
4×	`associate-*r/` `div-inv` `add-log-exp`
3×	`cbrt-undiv` `cbrt-prod` `cbrt-div` `pow1/3` `div-exp` `associate-l` `prod-exp` `cbrt-unprod` `unswap-sqr`
1×	`pow-prod-down` `*-commutative`

Counts

4 → 95

Calls

4 calls:

14.0ms	(* x (/ (/ (sin y) y) z))
8.0ms	(cbrt (* x (/ (/ (sin y) y) z)))
6.0ms	(cbrt (* x (/ (/ (sin y) y) z)))
6.0ms	(cbrt (* x (/ (/ (sin y) y) z)))

series114.0ms

Counts

4 → 12

Calls

4 calls:

14.0ms	(* x (/ (/ (sin y) y) z))
32.0ms	(cbrt (* x (/ (/ (sin y) y) z)))
35.0ms	(cbrt (* x (/ (/ (sin y) y) z)))
32.0ms	(cbrt (* x (/ (/ (sin y) y) z)))

simplify59.0ms

Algorithm

egg-herbie

Counts

107 → 107

Iterations

Useful iterations: 2 (51.0ms)

Iter	Nodes	Cost
0	539	811
1	2623	736
2	5002	706

prune119.0ms

Filtered

86 candidates to 107 candidates (-24.4%)

Pruning

7 alts after pruning (4 fresh and 3 done)

	Pruned	Kept	Total
New	107	0	107
Fresh	0	4	4
Picked	0	1	1
Done	0	2	2
Total	107	7	114

Merged error: 0b

Counts

114 → 7

localize7.0ms

Local error

Found 3 expressions with local error:

0.1b	(* x (sin y))
2.0b	(/ (/ (* x (sin y)) y) z)
9.0b	(/ (* x (sin y)) y)

rewrite19.0ms

Algorithm

rewrite-expression-head

Rules

36×	`times-frac`
25×	`add-sqr-sqrt`
23×	`add-cube-cbrt` `*-un-lft-identity`
19×	`add-exp-log` `add-cbrt-cube`
8×	`associate-/l*`
7×	`cbrt-undiv` `div-exp`
6×	`associate-/r*` `div-inv`
5×	`pow1`
3×	`associate-r` `associate-l` `prod-exp` `cbrt-unprod` `add-log-exp`
2×	`frac-2neg` `clear-num`
1×	`pow-prod-down` `*-commutative` `associate-/l/` `unswap-sqr`

Counts

3 → 87

Calls

3 calls:

4.0ms	(* x (sin y))
6.0ms	(/ (/ (* x (sin y)) y) z)
4.0ms	(/ (* x (sin y)) y)

series31.0ms

Counts

3 → 9

Calls

3 calls:

7.0ms	(* x (sin y))
14.0ms	(/ (/ (* x (sin y)) y) z)
10.0ms	(/ (* x (sin y)) y)

simplify45.0ms

Algorithm

egg-herbie

Counts

96 → 96

Iterations

Useful iterations: 1 (9.0ms)

Iter	Nodes	Cost
0	352	564
1	1773	495
2	5002	495

prune69.0ms

Filtered

69 candidates to 96 candidates (-39.1%)

Pruning

7 alts after pruning (3 fresh and 4 done)

	Pruned	Kept	Total
New	96	0	96
Fresh	0	3	3
Picked	0	1	1
Done	0	3	3
Total	96	7	103

Merged error: 0b

Counts

103 → 7

regimes561.0ms

Accuracy

95.8% (0.1b remaining)

Error of 0.2b against oracle of 0.0b and baseline of 2.7b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	14
1	20	14

end0.0ms

sample2.0s

Algorithm

intervals

sampling

Space saved by range analysis: 2.43188%

Space saved by search: 0.146413%

Guaranteed chance to sample good point: 0%

Results

314.0ms	1012×	body	1280	valid
267.0ms	5255×	body	80	valid
201.0ms	953×	body	640	valid
80.0ms	532×	body	320	valid
25.0ms	248×	body	160	valid
21.0ms	400×	body	80	invalid
10.0ms	48×	body	640	invalid
6.0ms	40×	body	320	invalid
4.0ms	43×	body	160	invalid
2.0ms	8×	body	1280	invalid

Details

sample1.0s

simplify8.0ms

prune3.0ms

localize7.0ms

rewrite19.0ms

series30.0ms

simplify43.0ms

prune110.0ms

localize8.0ms

rewrite31.0ms

series25.0ms

simplify68.0ms

prune154.0ms

localize11.0ms

rewrite40.0ms

series114.0ms

simplify59.0ms

prune119.0ms

localize7.0ms

rewrite19.0ms

series31.0ms

simplify45.0ms

prune69.0ms

regimes561.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample2.0s

Profiling