Details

sample200.0ms

Algorithm

intervals

Results

113.0ms	95×	body	1280	valid
36.0ms	48×	body	640	valid
15.0ms	30×	body	320	valid
12.0ms	73×	body	80	valid
3.0ms	10×	body	160	valid

simplify62.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (3.0ms)

Iter	Nodes	Cost
0	74	30
1	193	27
2	704	27
3	2994	27
4	5001	27

prune18.0ms

Filtered

1 candidates to 1 candidates (100.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: 0.3b

Counts

2 → 2

localize31.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
0.5b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
1.5b	(- (cos x) (cos y))

rewrite55.0ms

Algorithm

rewrite-expression-head

Rules

133×	`add-sqr-sqrt`
123×	`prod-diff`
119×	`*-un-lft-identity`
109×	`add-cube-cbrt`
56×	`times-frac`
52×	`distribute-rgt-in` `distribute-lft-in`
14×	`sqrt-prod`
12×	`associate-r` `associate-l`
9×	`flip3--` `flip--`
8×	`pow1` `add-exp-log` `add-cbrt-cube` `add-log-exp` `difference-of-squares`
6×	`sub-neg` `fma-neg` `div-inv`
5×	`distribute-lft-out--`
4×	`expm1-log1p-u` `frac-times` `associate-*r/` `log1p-expm1-u`
3×	`unswap-sqr`
2×	`diff-log` `pow-prod-down` `associate-l/` `prod-exp` `-commutative` `cbrt-unprod` `diff-cos`

Counts

4 → 234

Calls

4 calls:

17.0ms	(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
15.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms	(- 3.0 (sqrt 5.0))
6.0ms	(- (cos x) (cos y))

series251.0ms

Counts

4 → 10

Calls

4 calls:

100.0ms	(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
96.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
53.0ms	(- (cos x) (cos y))

simplify126.0ms

Algorithm

egg-herbie

Counts

244 → 244

Iterations

Useful iterations: 2 (92.0ms)

Iter	Nodes	Cost
0	1079	4683
1	4343	3463
2	5001	3456

prune794.0ms

Filtered

244 candidates to 110 candidates (45.1%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	239	5	244
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	240	6	246

Merged error: 0.2b

Counts

246 → 6

localize40.0ms

Local error

Found 4 expressions with local error:

0.5b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.5b	(+ (* (cos y) (cos y)) (* (cos x) (cos y)))
1.0b	(- 3.0 (sqrt 5.0))
1.3b	(- (pow (cos x) 3) (pow (cos y) 3))

rewrite65.0ms

Algorithm

rewrite-expression-head

Rules

240×	`prod-diff`
200×	`add-sqr-sqrt`
177×	`*-un-lft-identity`
163×	`add-cube-cbrt`
87×	`unpow-prod-down` `cube-prod`
55×	`times-frac`
41×	`distribute-rgt-in` `distribute-lft-in`
33×	`sqr-pow`
25×	`cube-mult` `unpow3`
20×	`difference-of-squares`
15×	`fma-neg`
14×	`sqrt-prod`
10×	`add-log-exp`
7×	`distribute-lft-out--`
6×	`pow1` `add-exp-log` `associate-r` `associate-l` `add-cbrt-cube` `div-inv`
4×	`expm1-log1p-u` `sub-neg` `log1p-expm1-u`
3×	`flip3--` `flip--`
2×	`diff-log` `associate-*r/` `cos-mult` `unswap-sqr`
1×	`difference-cubes` `+-commutative` `sqr-cos` `associate-+l+` `distribute-rgt-out` `fma-def` `flip3-+` `pow-prod-down` `frac-add` `prod-exp` `sum-log` `*-commutative` `cbrt-unprod` `flip-+`

Counts

4 → 358

Calls

4 calls:

14.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
6.0ms	(+ (* (cos y) (cos y)) (* (cos x) (cos y)))
5.0ms	(- 3.0 (sqrt 5.0))
19.0ms	(- (pow (cos x) 3) (pow (cos y) 3))

series239.0ms

Counts

4 → 10

Calls

4 calls:

88.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
63.0ms	(+ (* (cos y) (cos y)) (* (cos x) (cos y)))
0.0ms	(- 3.0 (sqrt 5.0))
88.0ms	(- (pow (cos x) 3) (pow (cos y) 3))

simplify190.0ms

Algorithm

egg-herbie

Counts

368 → 368

Iterations

Useful iterations: 1 (29.0ms)

Iter	Nodes	Cost
0	1290	6297
1	4997	4409
2	5001	4409

prune982.0ms

Filtered

368 candidates to 107 candidates (29.1%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	366	2	368
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	367	7	374

Merged error: 0.2b

Counts

374 → 7

localize35.0ms

Local error

Found 4 expressions with local error:

1.0b	(- 3.0 (sqrt 5.0))
1.5b	(- (cos x) (cos y))
1.5b	(- (cos x) (cos y))
1.5b	(- (cos x) (cos y))

rewrite26.0ms

Algorithm

rewrite-expression-head

Rules

48×	`add-sqr-sqrt`
46×	`*-un-lft-identity`
45×	`prod-diff`
38×	`add-cube-cbrt`
12×	`fma-neg` `add-log-exp`
10×	`sqrt-prod`
5×	`difference-of-squares`
4×	`pow1` `add-exp-log` `expm1-log1p-u` `sub-neg` `flip3--` `diff-log` `add-cbrt-cube` `flip--` `log1p-expm1-u` `distribute-lft-out--`
3×	`diff-cos`

Counts

4 → 125

Calls

4 calls:

5.0ms	(- 3.0 (sqrt 5.0))
5.0ms	(- (cos x) (cos y))
5.0ms	(- (cos x) (cos y))
5.0ms	(- (cos x) (cos y))

series162.0ms

Counts

4 → 10

Calls

4 calls:

0.0ms	(- 3.0 (sqrt 5.0))
54.0ms	(- (cos x) (cos y))
52.0ms	(- (cos x) (cos y))
56.0ms	(- (cos x) (cos y))

simplify137.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 3 (126.0ms)

Iter	Nodes	Cost
0	301	1275
1	864	852
2	4512	797
3	5001	751

prune643.0ms

Filtered

135 candidates to 80 candidates (59.3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	135	0	135
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	135	7	142

Merged error: 0.2b

Counts

142 → 7

localize32.0ms

Local error

Found 4 expressions with local error:

0.3b	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
0.5b	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
1.0b	(- 3.0 (sqrt 5.0))
1.5b	(- (cos x) (cos y))

rewrite50.0ms

Algorithm

rewrite-expression-head

Rules

138×	`add-sqr-sqrt`
118×	`*-un-lft-identity`
106×	`add-cube-cbrt`
105×	`prod-diff`
74×	`times-frac`
41×	`distribute-rgt-in` `distribute-lft-in`
28×	`associate-l`
17×	`sqrt-prod`
11×	`add-exp-log` `add-cbrt-cube` `difference-of-squares`
9×	`associate-r`
8×	`pow1` `add-log-exp`
7×	`div-inv`
6×	`fma-neg` `distribute-lft-out--`
4×	`expm1-log1p-u` `sub-neg` `log1p-expm1-u` `unswap-sqr`
3×	`flip3--` `prod-exp` `flip--` `cbrt-unprod`
2×	`diff-log` `associate-r/` `pow-prod-down` `-commutative`
1×	`cbrt-undiv` `div-exp` `associate-*l/` `diff-cos`

Counts

4 → 221

Calls

4 calls:

11.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
15.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms	(- 3.0 (sqrt 5.0))
7.0ms	(- (cos x) (cos y))

series235.0ms

Counts

4 → 10

Calls

4 calls:

88.0ms	(* (/ (- (sqrt 5.0) 1.0) 2.0) (cos x))
90.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
57.0ms	(- (cos x) (cos y))

simplify115.0ms

Algorithm

egg-herbie

Counts

231 → 231

Iterations

Useful iterations: 2 (86.0ms)

Iter	Nodes	Cost
0	1116	3998
1	4264	2949
2	5001	2942

prune754.0ms

Filtered

231 candidates to 111 candidates (48.1%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	225	6	231
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	226	12	238

Merged error: 0.0b

Counts

238 → 12

regimes215.0ms

Accuracy

0% (0.4b remaining)

Error of 0.5b against oracle of 0.1b and baseline of 0.5b

bsearch0.0ms

simplify1.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	41
1	43	41

end0.0ms

sample5.9s

Algorithm

intervals

Results

3.3s	2746×	body	1280	valid
1.4s	1786×	body	640	valid
434.0ms	803×	body	320	valid
379.0ms	2291×	body	80	valid
136.0ms	374×	body	160	valid

Details

sample200.0ms

simplify62.0ms

prune18.0ms

localize31.0ms

rewrite55.0ms

series251.0ms

simplify126.0ms

prune794.0ms

localize40.0ms

rewrite65.0ms

series239.0ms

simplify190.0ms

prune982.0ms

localize35.0ms

rewrite26.0ms

series162.0ms

simplify137.0ms

prune643.0ms

localize32.0ms

rewrite50.0ms

series235.0ms

simplify115.0ms

prune754.0ms

regimes215.0ms

bsearch0.0ms

simplify1.0ms

end0.0ms

sample5.9s

Profiling