Details

analyze4.0ms (0.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
50%	50%	0%	3
50%	25%	25%	4
62.5%	12.5%	25%	5
68.7%	6.2%	25%	6
71.8%	3.1%	25%	7
73.4%	1.6%	25%	8
74.2%	0.8%	25%	9
74.6%	0.4%	25%	10
74.8%	0.2%	25%	11
74.9%	0.1%	25%	12
74.9%	0%	25%	13
74.9%	0%	25%	14

Compiler

Compiled 11 to 9 computations (18.2% saved)

sample1.4s (77%)

Results

645.0ms	2742×	body	1024	valid
256.0ms	3136×	body	128	valid
248.0ms	1376×	body	512	valid
97.0ms	738×	body	256	valid
81.0ms	264×	body	2048	valid

Compiler

Compiled 32 to 26 computations (18.8% saved)

simplify54.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

891×	`fma-neg_binary64`
858×	`fma-def_binary64`
581×	`distribute-neg-in_binary64`
577×	`distribute-rgt-in_binary64`
530×	`associate--r-_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	6	11
1	22	10
2	48	7
3	110	7
4	443	7
5	1343	7
6	3345	7
7	4705	7
8	4963	7

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 x (+.f64 x 2))
	38.8b	(-.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1)

Compiler

Compiled 47 to 35 computations (25.5% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

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

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

2.0ms

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

rewrite99.0ms (5.4%)

Algorithm

2×	batch-egg-rewrite

Rules

556×	`log1p-expm1-u_binary64`
556×	`expm1-log1p-u_binary64`
246×	`log-prod_binary64`
144×	`pow2_binary64`
121×	`fma-def_binary64`

Counts

1 → 48

Calls

1 calls:

98.0ms

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

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

simplify150.0ms (8.2%)

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

prune27.0ms (1.4%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

Counts

55 → 1

Alt Table

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

Compiler

Compiled 542 to 336 computations (38% saved)

localize3.0ms (0.2%)

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 x x (*.f64 x 2))

Compiler

Compiled 7 to 4 computations (42.9% saved)

regimes45.0ms (2.4%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

14 → 1

Compiler

Compiled 452 to 332 computations (26.5% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	6	8
2	6	8

end29.0ms (1.6%)

Compiler: Compiled 21 to 12 computations (42.9% saved)

Details

analyze4.0ms (0.2%)

sample1.4s (77%)

simplify54.0ms (2.9%)

prune4.0ms (0.2%)

localize3.0ms (0.2%)

series3.0ms (0.1%)

rewrite99.0ms (5.4%)

simplify150.0ms (8.2%)

prune27.0ms (1.4%)

localize3.0ms (0.2%)

prune1.0ms (0%)

regimes45.0ms (2.4%)

simplify2.0ms (0.1%)

end29.0ms (1.6%)

Profiling