Details

analyze115.0ms (6.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%	62.4%	12.6%	6
25%	40.6%	34.4%	7
31.2%	25%	43.8%	8
39%	17.2%	43.8%	9
42.9%	13.3%	43.8%	10
47.2%	9%	43.8%	11
49.4%	6.8%	43.8%	12
51.6%	4.6%	43.8%	13
52.7%	3.5%	43.8%	14

Compiler

Compiled 14 to 9 computations (35.7% saved)

sample1.0s (56.9%)

Results

986.0ms	8256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify7.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

14×	`fma-def_binary64`
6×	`+-commutative_binary64`
3×	`associate-+r+_binary64`
3×	`associate-+l+_binary64`
2×	`*-commutative_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	13
1	17	11
2	32	11
3	38	11
4	38	11

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 (.f64 x 2) (.f64 x x)) (*.f64 y y))
▶	0.0b	(fma.f64 x (+.f64 x 2) (*.f64 y y))

Compiler

Compiled 67 to 39 computations (41.8% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 x (+.f64 x 2) (*.f64 y y))

series6.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

6.0ms

(fma.f64 x (+.f64 x 2) (*.f64 y y))

rewrite97.0ms (5.4%)

Algorithm

2×	batch-egg-rewrite

Rules

689×	`log1p-expm1-u_binary64`
689×	`expm1-log1p-u_binary64`
176×	`prod-diff_binary64`
150×	`fma-udef_binary64`
133×	`expm1-udef_binary64`

Counts

1 → 23

Calls

1 calls:

96.0ms

(fma.f64 x (+.f64 x 2) (*.f64 y y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	150	11
2	1741	11
3	4983	11
4	4914	11
5	4914	11
0	0	0
1	0	0

simplify128.0ms (7.2%)

Algorithm

1×	egg-herbie

Rules

830×	`sqr-pow_binary64`
640×	`fabs-mul_binary64`
628×	`cube-prod_binary64`
511×	`fma-def_binary64`
426×	`associate-l_binary64`

Counts

47 → 33

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	300
1	24	214
2	47	214
3	77	214
4	157	214
5	349	214
6	980	214
7	1338	214
8	1540	214
9	1761	214
10	2033	214
11	2354	214
12	2786	214
13	3252	214
14	4007	214
15	4298	214
16	4641	214
17	4994	214
18	4817	214

prune24.0ms (1.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	32	1	33
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	33	2	35

Error

Counts

35 → 2

Alt Table

Status	Error	Program
	0.0b	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
▶	0.0b	(fma.f64 y y (*.f64 x (+.f64 2 x)))

Compiler

Compiled 420 to 235 computations (44% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 x (+.f64 2 x))

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

(*.f64 x (+.f64 2 x))

rewrite46.0ms (2.6%)

Algorithm

2×	batch-egg-rewrite

Rules

564×	`log1p-expm1-u_binary64`
564×	`expm1-log1p-u_binary64`
247×	`log-prod_binary64`
144×	`pow2_binary64`
131×	`prod-diff_binary64`

Counts

1 → 47

Calls

1 calls:

45.0ms

(*.f64 x (+.f64 2 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	114	7
2	1401	7
3	4927	7
0	0	0
1	0	0

simplify149.0ms (8.3%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
573×	`fabs-mul_binary64`
560×	`cube-prod_binary64`
536×	`pow-sqr_binary64`
481×	`fma-def_binary64`

Counts

59 → 52

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	102
1	13	75
2	26	75
3	44	75
4	89	75
5	212	75
6	613	75
7	1209	75
8	1318	75
9	1472	75
10	1642	75
11	1822	75
12	2042	75
13	2325	75
14	2747	75
15	3319	75
16	4013	75
17	4232	75
18	4476	75
19	4558	75
20	4591	75
21	4612	75
22	5181	75

prune29.0ms (1.6%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	51	1	52
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	53	1	54

Error

Counts

54 → 1

Alt Table

Status	Error	Program
▶	0b	(fma.f64 y y (fma.f64 x x (*.f64 x 2)))

Compiler

Compiled 696 to 384 computations (44.8% saved)

localize5.0ms (0.3%)

prune1.0ms (0%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Error

Counts

1 → 1

Alt Table

Status	Error	Program
✓	0b	(fma.f64 y y (fma.f64 x x (*.f64 x 2)))

Compiler

Compiled 11 to 6 computations (45.5% saved)

regimes108.0ms (6%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Counts

17 → 1

Compiler

Compiled 940 to 612 computations (34.9% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	8	12
2	8	12

end37.0ms (2.1%)

Compiler: Compiled 33 to 18 computations (45.5% saved)

Details

analyze115.0ms (6.4%)

sample1.0s (56.9%)

simplify7.0ms (0.4%)

prune4.0ms (0.2%)

localize5.0ms (0.3%)

series6.0ms (0.4%)

rewrite97.0ms (5.4%)

simplify128.0ms (7.2%)

prune24.0ms (1.3%)

localize5.0ms (0.3%)

series2.0ms (0.1%)

rewrite46.0ms (2.6%)

simplify149.0ms (8.3%)

prune29.0ms (1.6%)

localize5.0ms (0.3%)

prune1.0ms (0%)

regimes108.0ms (6%)

simplify3.0ms (0.1%)

end37.0ms (2.1%)

Profiling