Details

analyze99.0ms (5.1%)

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)

sample810.0ms (41.7%)

Results

779.0ms	8256×	body	128	valid
0.0ms	1×	body	128	invalid

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify7.0ms (0.3%)

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

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)

localize6.0ms (0.3%)

Local error

Found 2 expressions with local error:

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

series12.0ms (0.6%)

Counts

2 → 36

Calls

2 calls:

9.0ms	(+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y))
3.0ms	(+.f64 (.f64 x 2) (.f64 x x))

rewrite66.0ms (3.4%)

Algorithm

2×	batch-egg-rewrite

Rules

157× egg-rr

Counts

2 → 157

Calls

2 calls:

63.0ms	((+.f64 (.f64 x 2) (.f64 x x)) (+.f64 (+.f64 (.f64 x 2) (.f64 x x)) (*.f64 y y)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

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

simplify132.0ms (6.8%)

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

prune89.0ms (4.6%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

Counts

170 → 2

Alt Table

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

Compiler

Compiled 2596 to 1168 computations (55% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series5.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

5.0ms

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

rewrite75.0ms (3.9%)

Algorithm

2×	batch-egg-rewrite

Rules

36× egg-rr

Counts

1 → 36

Calls

2 calls:

74.0ms	((fma.f64 x 2 (*.f64 y y)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	119	8
2	1238	8
3	4932	8
4	5180	8
0	0	0
1	0	0

simplify145.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
573×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
434×	`unswap-sqr_binary64`

Counts

60 → 41

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	7	204
1	14	168
2	23	168
3	34	168
4	61	168
5	126	168
6	342	168
7	767	168
8	779	168
9	927	168
10	1097	168
11	1280	168
12	1509	168
13	1794	168
14	2213	168
15	2778	168
16	3464	168
17	3682	168
18	3926	168
19	4008	168
20	4041	168
21	4062	168
22	4988	168
23	4747	168

prune25.0ms (1.3%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	41	0	41
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	41	2	43

Error

Counts

43 → 2

Alt Table

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

Compiler

Compiled 640 to 348 computations (45.6% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series2.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

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

rewrite112.0ms (5.8%)

Algorithm

2×	batch-egg-rewrite

Rules

48× egg-rr

Counts

1 → 48

Calls

2 calls:

111.0ms	((*.f64 x (+.f64 x 2)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	114	7
2	1388	7
3	4943	7
4	4995	7
5	4926	7
0	0	0
1	0	0

simplify153.0ms (7.9%)

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

60 → 53

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.5%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	53	0	53
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	53	2	55

Error

Counts

55 → 2

Alt Table

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

Compiler

Compiled 709 to 394 computations (44.4% saved)

regimes117.0ms (6.1%)

Accuracy

Total 0.0b remaining (97.4%)

Threshold costs 0.0b (97.4%)

Counts

23 → 1

Compiler

Compiled 1402 to 909 computations (35.2% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	12
1	7	12

end42.0ms (2.1%)

Compiler: Compiled 43 to 24 computations (44.2% saved)

Details

analyze99.0ms (5.1%)

sample810.0ms (41.7%)

simplify7.0ms (0.3%)

prune3.0ms (0.2%)

localize6.0ms (0.3%)

series12.0ms (0.6%)

rewrite66.0ms (3.4%)

simplify132.0ms (6.8%)

prune89.0ms (4.6%)

localize5.0ms (0.3%)

series5.0ms (0.3%)

rewrite75.0ms (3.9%)

simplify145.0ms (7.5%)

prune25.0ms (1.3%)

localize5.0ms (0.2%)

series2.0ms (0.1%)

rewrite112.0ms (5.8%)

simplify153.0ms (7.9%)

prune29.0ms (1.5%)

regimes117.0ms (6.1%)

simplify2.0ms (0.1%)

end42.0ms (2.1%)

Profiling