Details

sample217.0ms

Algorithm

intervals

Results

119.0ms	95×	body	1280	valid
43.0ms	48×	body	640	valid
17.0ms	30×	body	320	valid
14.0ms	73×	body	80	valid
4.0ms	10×	body	160	valid

simplify79.0ms

Algorithm

egg-herbie

Counts

1 → 1

Iterations

Useful iterations: 1 (4.0ms)

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

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

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

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

27.0ms	(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
25.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
5.0ms	(- 3.0 (sqrt 5.0))
5.0ms	(- (cos x) (cos y))

series274.0ms

Counts

4 → 10

Calls

4 calls:

94.0ms	(* (- (sin y) (/ (sin x) 16.0)) (- (cos x) (cos y)))
89.0ms	(* (sqrt 2.0) (- (sin x) (/ (sin y) 16.0)))
0.0ms	(- 3.0 (sqrt 5.0))
91.0ms	(- (cos x) (cos y))

simplify125.0ms

Algorithm

egg-herbie

Counts

244 → 244

Iterations

Useful iterations: 2 (88.0ms)

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

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

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

rewrite66.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))
15.0ms	(- (pow (cos x) 3) (pow (cos y) 3))

series226.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify241.0ms

Algorithm

egg-herbie

Counts

368 → 368

Iterations

Useful iterations: 1 (30.0ms)

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

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

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

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

series158.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify146.0ms

Algorithm

egg-herbie

Counts

135 → 135

Iterations

Useful iterations: 3 (131.0ms)

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

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

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

rewrite49.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))
5.0ms	(- (cos x) (cos y))

series234.0ms

Counts

4 → 10

Calls

4 calls:

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

simplify123.0ms

Algorithm

egg-herbie

Counts

231 → 231

Iterations

Useful iterations: 2 (88.0ms)

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

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

regimes219.0ms

Accuracy

0% (0.4b remaining)

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

bsearch0.0ms

simplify2.0ms

Algorithm

egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	41
1	43	41

end0.0ms

sample6.4s

Algorithm

intervals

Results

3.6s	2746×	body	1280	valid
1.5s	1786×	body	640	valid
502.0ms	803×	body	320	valid
418.0ms	2291×	body	80	valid
151.0ms	374×	body	160	valid

Details

sample217.0ms

simplify79.0ms

prune31.0ms

localize56.0ms

rewrite87.0ms

series274.0ms

simplify125.0ms

prune856.0ms

localize274.0ms

rewrite66.0ms

series226.0ms

simplify241.0ms

prune971.0ms

localize38.0ms

rewrite27.0ms

series158.0ms

simplify146.0ms

prune631.0ms

localize40.0ms

rewrite49.0ms

series234.0ms

simplify123.0ms

prune785.0ms

regimes219.0ms

bsearch0.0ms

simplify2.0ms

end0.0ms

sample6.4s

Profiling