Details

analyze127.0ms (7.4%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
25%	74.9%	0.1%	5
25%	74.9%	0.1%	6
56.2%	43.7%	0.1%	7
56.2%	43.7%	0.1%	8
76.5%	23.4%	0.1%	9
76.5%	23.4%	0.1%	10
87.8%	12.1%	0.1%	11
87.8%	12.1%	0.1%	12
93.8%	6.1%	0.1%	13
93.8%	6.1%	0.1%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample988.0ms (57.9%)

Results

876.0ms

8256×

body

128

valid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify58.0ms (3.4%)

Algorithm

1×	egg-herbie

Rules

959×	`fma-neg_binary64`
595×	`times-frac_binary64`
494×	`neg-mul-1_binary64`
491×	`neg-sub0_binary64`
301×	`associate-/l*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	13
1	19	13
2	52	10
3	113	10
4	203	10
5	436	10
6	758	10
7	2592	10
8	4299	10
9	5002	10

prune4.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

0.0b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))
	16.2b	(/.f64 (-.f64 x y) (.f64 (.f64 x 2) y))

Compiler

Compiled 58 to 40 computations (31% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

series7.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

7.0ms

(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

rewrite111.0ms (6.5%)

Algorithm

2×	batch-egg-rewrite

Rules

894×	`prod-diff_binary64`
310×	`fma-def_binary64`
198×	`fma-neg_binary64`
167×	`expm1-udef_binary64`
167×	`log1p-udef_binary64`

Counts

1 → 66

Calls

1 calls:

110.0ms

(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	187	10
2	2488	10
3	4876	10
4	5021	10
0	0	0
1	0	0

simplify28.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

141×	`fma-def_binary64`
102×	`fma-neg_binary64`
47×	`cancel-sign-sub-inv_binary64`
25×	`sub-neg_binary64`
21×	`distribute-rgt-neg-in_binary64`

Counts

90 → 70

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	204
1	27	204
2	41	204
3	59	204
4	83	204
5	118	204
6	184	204
7	233	204
8	280	204
9	288	204
10	306	204
11	312	204
12	284	204

prune37.0ms (2.1%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	69	1	70
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	70	2	72

Error

Counts

72 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))
▶	7.9b	(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 y -1/2)) y) x)

Compiler

Compiled 974 to 670 computations (31.2% saved)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (fma.f64 1/2 x (*.f64 y -1/2)) y)
✓	7.4b	(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 y -1/2)) y) x)

series15.0ms (0.9%)

Counts

2 → 48

Calls

2 calls:

9.0ms	(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 y -1/2)) y) x)
7.0ms	(/.f64 (fma.f64 1/2 x (*.f64 y -1/2)) y)

rewrite89.0ms (5.2%)

Algorithm

2×	batch-egg-rewrite

Rules

487×	`log-prod_binary64`
319×	`prod-diff_binary64`
175×	`pow1/3_binary64`
172×	`expm1-udef_binary64`
172×	`log1p-udef_binary64`

Counts

2 → 85

Calls

2 calls:

87.0ms	(/.f64 (fma.f64 1/2 x (*.f64 y -1/2)) y)
87.0ms	(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 y -1/2)) y) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	194	25
2	2465	25
3	4972	25
4	5367	25
0	0	0
1	0	0

simplify113.0ms (6.6%)

Algorithm

1×	egg-herbie

Rules

1179×	`fma-neg_binary64`
831×	`fma-def_binary64`
466×	`div-sub_binary64`
248×	`associate-/l*_binary64`
207×	`associate-/r/_binary64`

Counts

133 → 94

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	372
1	35	372
2	52	372
3	73	372
4	104	372
5	155	372
6	241	372
7	329	372
8	486	372
9	601	372
10	772	372
11	1200	372
12	1363	372
13	1582	372
14	1649	372
15	1673	372
16	1689	372
17	1265	372
18	1265	372
19	1132	372

prune49.0ms (2.9%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	94	0	94
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	94	2	96

Error

Counts

96 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (/.f64 1/2 y) (/.f64 -1/2 x))
✓	7.9b	(/.f64 (/.f64 (fma.f64 1/2 x (*.f64 y -1/2)) y) x)

Compiler

Compiled 1519 to 1029 computations (32.3% saved)

regimes30.0ms (1.7%)

Accuracy

Total 0.0b remaining (54.5%)

Threshold costs 0.0b (54.5%)

Counts

8 → 1

Compiler

Compiled 286 to 208 computations (27.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	9	10
2	9	10

end39.0ms (2.3%)

Compiler: Compiled 39 to 29 computations (25.6% saved)

Iter	Nodes	Cost
0	13	204
1	27	204
2	41	204
3	59	204
4	83	204
5	118	204
6	184	204
7	233	204
8	280	204
9	288	204
10	306	204
11	312	204
12	284	204

Iter	Nodes	Cost
0	13	204
1	27	204
2	41	204
3	59	204
4	83	204
5	118	204
6	184	204
7	233	204
8	280	204
9	288	204
10	306	204
11	312	204
12	284	204

Details

analyze127.0ms (7.4%)

sample988.0ms (57.9%)

simplify58.0ms (3.4%)

prune4.0ms (0.2%)

localize5.0ms (0.3%)

series7.0ms (0.4%)

rewrite111.0ms (6.5%)

simplify28.0ms (1.6%)

prune37.0ms (2.1%)

localize6.0ms (0.3%)

series15.0ms (0.9%)

rewrite89.0ms (5.2%)

simplify113.0ms (6.6%)

prune49.0ms (2.9%)

regimes30.0ms (1.7%)

simplify2.0ms (0.1%)

end39.0ms (2.3%)

Profiling

Iter	Nodes	Cost
0	13	204
1	27	204
2	41	204
3	59	204
4	83	204
5	118	204
6	184	204
7	233	204
8	280	204
9	288	204
10	306	204
11	312	204
12	284	204