Details

analyze279.0ms (9.3%)

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
37.5%	50%	12.6%	6
43.7%	40.6%	15.7%	7
56.2%	23.4%	20.4%	8
57.8%	21.1%	21.2%	9
64%	12.5%	23.5%	10
64.8%	10.7%	24.5%	11
67.9%	6.4%	25.7%	12
68.3%	5.4%	26.3%	13
69.9%	3.3%	26.9%	14

Compiler

Compiled 12 to 8 computations (33.3% saved)

sample1.7s (57.6%)

Results

1.6s	8256×	body	128	valid
50.0ms	168×	body	128	invalid

Compiler

Compiled 35 to 23 computations (34.3% saved)

simplify15.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

17×	`fma-def_binary64`
16×	`*-commutative_binary64`
6×	`distribute-rgt-out_binary64`
5×	`associate-r_binary64`
5×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	10
1	20	10
2	39	10
3	54	10
4	56	10
5	56	10

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

Compiler

Compiled 58 to 37 computations (36.2% saved)

localize13.0ms (0.4%)

Local error

Found 2 expressions with local error:

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

series27.0ms (0.9%)

Counts

2 → 48

Calls

2 calls:

17.0ms	(.f64 2 (+.f64 (.f64 x x) (*.f64 x y)))
10.0ms	(+.f64 (.f64 x x) (.f64 x y))

rewrite86.0ms (2.9%)

Algorithm

2×	batch-egg-rewrite

Rules

864×	`log1p-expm1-u_binary64`
864×	`expm1-log1p-u_binary64`
89×	`add-sqr-sqrt_binary64`
84×	`add-log-exp_binary64`
83×	`add-cube-cbrt_binary64`

Counts

2 → 65

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	17
1	178	17
2	2183	17
3	5193	17
0	0	0
1	0	0

simplify176.0ms (5.8%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
661×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
611×	`cube-prod_binary64`
344×	`fma-def_binary64`

Counts

113 → 76

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	408
1	25	372
2	50	372
3	92	372
4	195	372
5	490	372
6	745	372
7	1037	372
8	1097	372
9	1209	372
10	1324	372
11	1489	372
12	1646	372
13	1870	372
14	2199	372
15	2594	372
16	3152	372
17	3836	372
18	4061	372
19	4326	372
20	4418	372
21	4452	372
22	4473	372
23	5156	372

prune38.0ms (1.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Pruned	Kept	Total
New	74	2	76
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	76	2	78

Error

Counts

78 → 2

Alt Table

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

Compiler

Compiled 1048 to 547 computations (47.8% saved)

localize5.0ms (0.2%)

Local error

Found 2 expressions with local error:

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

series14.0ms (0.5%)

Counts

2 → 48

Calls

2 calls:

9.0ms	(.f64 2 (fma.f64 x y (.f64 x x)))
5.0ms	(fma.f64 x y (*.f64 x x))

rewrite103.0ms (3.4%)

Algorithm

2×	batch-egg-rewrite

Rules

569×	`log1p-expm1-u_binary64`
569×	`expm1-log1p-u_binary64`
323×	`fma-def_binary64`
304×	`log-prod_binary64`
120×	`expm1-udef_binary64`

Counts

2 → 57

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	19
1	139	17
2	1495	17
3	4917	17
4	4970	17
5	5169	17
0	0	0
1	0	0

simplify172.0ms (5.7%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
661×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
611×	`cube-prod_binary64`
344×	`fma-def_binary64`

Counts

105 → 67

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	10	408
1	25	372
2	50	372
3	92	372
4	195	372
5	490	372
6	745	372
7	1037	372
8	1097	372
9	1209	372
10	1324	372
11	1489	372
12	1646	372
13	1870	372
14	2199	372
15	2594	372
16	3152	372
17	3836	372
18	4061	372
19	4326	372
20	4418	372
21	4452	372
22	4473	372
23	5156	372

prune26.0ms (0.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	67	0	67
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	67	2	69

Error

Counts

69 → 2

Alt Table

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

Compiler

Compiled 807 to 330 computations (59.1% saved)

localize4.0ms (0.1%)

Local error

Found 1 expressions with local error:

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

series8.0ms (0.3%)

Counts

1 → 24

Calls

1 calls:

8.0ms

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

rewrite47.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

792×	`log1p-expm1-u_binary64`
792×	`expm1-log1p-u_binary64`
538×	`prod-diff_binary64`
80×	`add-sqr-sqrt_binary64`
75×	`add-log-exp_binary64`

Counts

1 → 23

Calls

1 calls:

46.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	157	10
2	1985	10
3	5835	10
0	0	0
1	0	0

simplify157.0ms (5.2%)

Algorithm

1×	egg-herbie

Rules

1104×	`sqr-pow_binary64`
661×	`fabs-mul_binary64`
628×	`pow-sqr_binary64`
611×	`cube-prod_binary64`
343×	`fma-def_binary64`

Counts

47 → 28

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	9	276
1	23	222
2	47	222
3	91	222
4	195	222
5	490	222
6	745	222
7	1037	222
8	1097	222
9	1209	222
10	1324	222
11	1489	222
12	1646	222
13	1870	222
14	2199	222
15	2594	222
16	3152	222
17	3836	222
18	4061	222
19	4326	222
20	4418	222
21	4452	222
22	4473	222
23	5156	222

prune12.0ms (0.4%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	28	0	28
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	28	2	30

Error

Counts

30 → 2

Alt Table

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

Compiler

Compiled 308 to 190 computations (38.3% saved)

regimes41.0ms (1.4%)

Accuracy

Total 0.0b remaining (84.5%)

Threshold costs 0.0b (84.5%)

Counts

9 → 1

Compiler

Compiled 360 to 240 computations (33.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

end38.0ms (1.3%)

Compiler: Compiled 39 to 24 computations (38.5% saved)

Details

analyze279.0ms (9.3%)

sample1.7s (57.6%)

simplify15.0ms (0.5%)

prune7.0ms (0.2%)

localize13.0ms (0.4%)

series27.0ms (0.9%)

rewrite86.0ms (2.9%)

simplify176.0ms (5.8%)

prune38.0ms (1.3%)

localize5.0ms (0.2%)

series14.0ms (0.5%)

rewrite103.0ms (3.4%)

simplify172.0ms (5.7%)

prune26.0ms (0.9%)

localize4.0ms (0.1%)

series8.0ms (0.3%)

rewrite47.0ms (1.6%)

simplify157.0ms (5.2%)

prune12.0ms (0.4%)

regimes41.0ms (1.4%)

simplify2.0ms (0.1%)

end38.0ms (1.3%)

Profiling