Details

analyze4.0ms (0.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
0%	100%	0%	1
0%	100%	0%	2
25%	75%	0%	3
62.5%	25%	12.5%	4
68.7%	12.5%	18.8%	5
71.8%	6.2%	21.9%	6
73.4%	3.1%	23.5%	7
74.2%	1.6%	24.3%	8
74.6%	0.8%	24.6%	9
75%	0.4%	24.6%	10
75.1%	0.2%	24.7%	11
75.1%	0.1%	24.8%	12
75.1%	0%	24.8%	13
75.2%	0%	24.8%	14

Compiler

Compiled 8 to 6 computations (25% saved)

sample1.6s (58.8%)

Results

836.0ms	2680×	body	1024	valid
300.0ms	1413×	body	512	valid
255.0ms	3162×	body	128	valid
112.0ms	289×	body	2048	valid
101.0ms	712×	body	256	valid

Compiler

Compiled 23 to 17 computations (26.1% saved)

simplify15.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

95×	`fma-def_binary64`
80×	`fma-neg_binary64`
32×	`distribute-rgt-in_binary64`
27×	`cancel-sign-sub-inv_binary64`
26×	`distribute-lft-in_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	6
1	15	6
2	18	6
3	22	6
4	30	6
5	38	6
6	57	6
7	86	6
8	113	6
9	154	6
10	224	6
11	261	6
12	297	6
13	300	6
14	263	6

prune3.0ms (0.1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

0.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	0.0b	(/.f64 (expm1.f64 x) x)

Compiler

Compiled 21 to 13 computations (38.1% saved)

localize3.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (expm1.f64 x) x)

series3.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(/.f64 (expm1.f64 x) x)

rewrite85.0ms (3%)

Algorithm

1×	egg-rewrite

Rules

71× egg

Counts

1 → 71

Calls

1 calls:

84.0ms

(/.f64 (expm1.f64 x) x)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	82	6
2	1076	6
3	4800	6
4	6280	6

simplify174.0ms (6.2%)

Algorithm

1×	egg-herbie

Rules

538×	`unswap-sqr_binary64`
529×	`associate-l_binary64`
501×	`fma-neg_binary64`
484×	`fma-def_binary64`
348×	`associate-/l*_binary64`

Counts

83 → 81

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	26	91
1	67	89
2	140	86
3	327	79
4	748	76
5	2248	76
6	4569	76
7	4950	76
8	5000	76
9	4913	76

prune164.0ms (5.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	80	1	81
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	80	2	82

Error

Counts

82 → 2

Alt Table

Status	Error	Program
▶	22.4b	(fma.f64 x (fma.f64 x 1/6 1/2) 1)
✓	0.0b	(/.f64 (expm1.f64 x) x)

Compiler

Compiled 834 to 390 computations (53.2% saved)

localize4.0ms (0.1%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.1b	(fma.f64 x (fma.f64 x 1/6 1/2) 1)
✓	0.2b	(fma.f64 x 1/6 1/2)

series10.0ms (0.4%)

Counts

2 → 24

Calls

2 calls:

9.0ms	(fma.f64 x (fma.f64 x 1/6 1/2) 1)
2.0ms	(fma.f64 x 1/6 1/2)

rewrite80.0ms (2.9%)

Algorithm

2×	egg-rewrite

Rules

44×	`egg`
43×	`egg`

Counts

2 → 87

Calls

2 calls:

41.0ms	(fma.f64 x (fma.f64 x 1/6 1/2) 1)
37.0ms	(fma.f64 x 1/6 1/2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	5
1	102	5
2	1046	5
3	4846	5
0	7	9
1	136	9
2	1379	9
3	4885	9

simplify149.0ms (5.4%)

Algorithm

1×	egg-herbie

Rules

804×	`sqr-pow_binary64`
546×	`associate-l_binary64`
512×	`fma-def_binary64`
492×	`fabs-mul_binary64`
489×	`cube-prod_binary64`

Counts

111 → 99

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	14	200
1	30	180
2	46	156
3	82	144
4	159	144
5	367	144
6	1068	144
7	1790	144
8	1928	144
9	2084	144
10	2264	144
11	2445	144
12	2658	144
13	2847	144
14	3267	144
15	3832	144
16	4518	144
17	4736	144
18	4681	144

prune309.0ms (11.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	99	0	99
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	99	2	101

Error

Counts

101 → 2

Alt Table

Status	Error	Program
✓	22.4b	(fma.f64 x (fma.f64 x 1/6 1/2) 1)
✓	0.0b	(/.f64 (expm1.f64 x) x)

Compiler

Compiled 1262 to 998 computations (20.9% saved)

regimes28.0ms (1%)

Accuracy

Total 0.0b remaining (73.9%)

Threshold costs 0.0b (73.9%)

Counts

13 → 1

Compiler

Compiled 211 to 157 computations (25.6% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4	6
1	4	6

end116.0ms (4.2%)

Compiler: Compiled 23 to 15 computations (34.8% saved)

Iter	Nodes	Cost
0	6	6
1	15	6
2	18	6
3	22	6
4	30	6
5	38	6
6	57	6
7	86	6
8	113	6
9	154	6
10	224	6
11	261	6
12	297	6
13	300	6
14	263	6

Iter	Nodes	Cost
0	6	6
1	15	6
2	18	6
3	22	6
4	30	6
5	38	6
6	57	6
7	86	6
8	113	6
9	154	6
10	224	6
11	261	6
12	297	6
13	300	6
14	263	6

Details

analyze4.0ms (0.1%)

sample1.6s (58.8%)

simplify15.0ms (0.5%)

prune3.0ms (0.1%)

localize3.0ms (0.1%)

series3.0ms (0.1%)

rewrite85.0ms (3%)

simplify174.0ms (6.2%)

prune164.0ms (5.9%)

localize4.0ms (0.1%)

series10.0ms (0.4%)

rewrite80.0ms (2.9%)

simplify149.0ms (5.4%)

prune309.0ms (11.1%)

regimes28.0ms (1%)

simplify2.0ms (0.1%)

end116.0ms (4.2%)

Profiling

Iter	Nodes	Cost
0	6	6
1	15	6
2	18	6
3	22	6
4	30	6
5	38	6
6	57	6
7	86	6
8	113	6
9	154	6
10	224	6
11	261	6
12	297	6
13	300	6
14	263	6