Details

analyze93.0ms (5.5%)

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)

sample881.0ms (52.3%)

Results

849.0ms	8256×	body	128	valid
0.0ms	5×	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

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

Counts

3 → 2

Alt Table

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

Compiler

Compiled 67 to 39 computations (41.8% saved)

localize6.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.3%)

Counts

1 → 24

Calls

1 calls:

6.0ms

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

rewrite95.0ms (5.6%)

Algorithm

1×	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 → 24

Calls

1 calls:

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

simplify129.0ms (7.7%)

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

48 → 34

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

prune20.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	34	0	34
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	34	2	36

Error

Counts

36 → 2

Alt Table

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

Compiler

Compiled 418 to 232 computations (44.5% saved)

localize8.0ms (0.5%)

Local error

Found 2 expressions with local error:

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

series9.0ms (0.5%)

Counts

2 → 36

Calls

2 calls:

7.0ms	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
2.0ms	(+.f64 (.f64 x 2) (.f64 x x))

rewrite69.0ms (4.1%)

Algorithm

1×	batch-egg-rewrite

Rules

577×	`fma-def_binary64`
467×	`log-prod_binary64`
280×	`fma-neg_binary64`
177×	`expm1-udef_binary64`
177×	`log1p-udef_binary64`

Counts

2 → 157

Calls

2 calls:

66.0ms	(+.f64 (.f64 x 2) (.f64 x x))
66.0ms	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	20
1	203	18
2	2575	18
3	5276	18

simplify144.0ms (8.5%)

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

193 → 168

Iterations

Useful iterations: 1 (0.0ms)

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

prune86.0ms (5.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	168	0	168
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	168	2	170

Error

Counts

170 → 2

Alt Table

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

Compiler

Compiled 2561 to 1156 computations (54.9% saved)

regimes85.0ms (5.1%)

Accuracy

Total -0.0b remaining (-2.6%)

Threshold costs -0.0b (-2.6%)

Counts

18 → 1

Compiler

Compiled 937 to 574 computations (38.7% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	7	12

end40.0ms (2.4%)

Compiler: Compiled 45 to 26 computations (42.2% saved)

Details

analyze93.0ms (5.5%)

sample881.0ms (52.3%)

simplify7.0ms (0.4%)

prune3.0ms (0.2%)

localize6.0ms (0.3%)

series6.0ms (0.3%)

rewrite95.0ms (5.6%)

simplify129.0ms (7.7%)

prune20.0ms (1.2%)

localize8.0ms (0.5%)

series9.0ms (0.5%)

rewrite69.0ms (4.1%)

simplify144.0ms (8.5%)

prune86.0ms (5.1%)

regimes85.0ms (5.1%)

simplify2.0ms (0.1%)

end40.0ms (2.4%)

Profiling