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
50%	12.5%	37.5%	5
50%	6.2%	43.8%	6
50%	3.1%	46.9%	7
50%	1.6%	48.5%	8
50%	0.8%	49.2%	9
50%	0.4%	49.6%	10
50.2%	0.2%	49.6%	11
50.2%	0.1%	49.7%	12
50.2%	0%	49.8%	13
50.2%	0%	49.8%	14

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.1s (57.1%)

Results

992.0ms	8256×	body	128	valid
0.0ms	3×	body	128	invalid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify42.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

668×	`div-sub_binary64`
499×	`fma-def_binary64`
417×	`times-frac_binary64`
411×	`associate-/l*_binary64`
366×	`associate-/r*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	19	9
2	45	9
3	89	7
4	191	7
5	438	7
6	1294	7
7	3635	7
8	5317	7

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	(exp.f64 (fma.f64 x x -1))

Compiler

Compiled 25 to 17 computations (32% saved)

localize4.0ms (0.2%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(exp.f64 (fma.f64 x x -1))

series2.0ms (0.1%)

Counts

1 → 4

Calls

1 calls:

2.0ms

(exp.f64 (fma.f64 x x -1))

rewrite77.0ms (4.2%)

Algorithm

1×	batch-egg-rewrite

Rules

646×	`log1p-udef_binary64`
361×	`log1p-expm1-u_binary64`
361×	`expm1-log1p-u_binary64`
327×	`add-log-exp_binary64`
317×	`pow1_binary64`

Counts

1 → 50

Calls

1 calls:

76.0ms

(exp.f64 (fma.f64 x x -1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	90	7
2	946	7
3	4700	7
4	5737	7

simplify70.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

724×	`distribute-lft-out_binary64`
546×	`associate-+l+_binary64`
480×	`*-commutative_binary64`
472×	`distribute-rgt-in_binary64`
380×	`fma-def_binary64`

Counts

54 → 57

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	81
1	55	79
2	130	63
3	383	56
4	1301	56
5	2119	56
6	2598	56
7	2906	56
8	3888	56
9	5066	56

prune44.0ms (2.4%)

Pruning

3 alts after pruning (2 fresh and 1 done)

	Pruned	Kept	Total
New	55	2	57
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	55	3	58

Error

Counts

58 → 3

Alt Table

Status	Error	Program
✓	0.0b	(exp.f64 (fma.f64 x x -1))
	0.6b	(*.f64 (exp.f64 -1) (fma.f64 x x 1))
▶	0.0b	(pow.f64 (E.f64) (fma.f64 x x -1))

Compiler

Compiled 768 to 563 computations (26.7% saved)

localize6.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(pow.f64 (E.f64) (fma.f64 x x -1))

series3.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

3.0ms

(pow.f64 (E.f64) (fma.f64 x x -1))

rewrite79.0ms (4.3%)

Algorithm

1×	batch-egg-rewrite

Rules

867×	`log1p-udef_binary64`
467×	`log1p-expm1-u_binary64`
467×	`expm1-log1p-u_binary64`
383×	`unpow-prod-down_binary64`
223×	`log-prod_binary64`

Counts

1 → 40

Calls

1 calls:

78.0ms

(pow.f64 (E.f64) (fma.f64 x x -1))

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	119	7
2	1211	7
3	4832	7
4	6266	7

simplify71.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

726×	`distribute-lft-out_binary64`
490×	`*-commutative_binary64`
385×	`fma-def_binary64`
355×	`distribute-rgt-out_binary64`
350×	`associate-l_binary64`

Counts

52 → 47

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	24	137
1	58	135
2	139	119
3	406	112
4	1369	112
5	2333	112
6	3367	112
7	4551	112
8	4913	112

prune32.0ms (1.7%)

Pruning

3 alts after pruning (1 fresh and 2 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	1	1
Picked	0	1	1
Done	0	1	1
Total	47	3	50

Error

Counts

50 → 3

Alt Table

Status	Error	Program
✓	0.0b	(exp.f64 (fma.f64 x x -1))
▶	0.6b	(*.f64 (exp.f64 -1) (fma.f64 x x 1))
✓	0.0b	(pow.f64 (E.f64) (fma.f64 x x -1))

Compiler

Compiled 665 to 499 computations (25% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (exp.f64 -1) (fma.f64 x x 1))

series4.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

4.0ms

(*.f64 (exp.f64 -1) (fma.f64 x x 1))

rewrite76.0ms (4.1%)

Algorithm

1×	batch-egg-rewrite

Rules

897×	`log1p-udef_binary64`
473×	`log1p-expm1-u_binary64`
473×	`expm1-log1p-u_binary64`
324×	`unpow-prod-down_binary64`
244×	`log-prod_binary64`

Counts

1 → 22

Calls

1 calls:

75.0ms

(*.f64 (exp.f64 -1) (fma.f64 x x 1))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	123	10
2	1251	10
3	4909	10
4	6375	10

simplify159.0ms (8.6%)

Algorithm

1×	egg-herbie

Rules

1127×	`sqr-pow_binary64`
577×	`fabs-mul_binary64`
568×	`cube-prod_binary64`
541×	`pow-sqr_binary64`
474×	`associate-l_binary64`

Counts

34 → 26

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	8	147
1	15	129
2	29	111
3	53	111
4	110	111
5	247	111
6	792	111
7	1213	111
8	1344	111
9	1502	111
10	1682	111
11	1856	111
12	2073	111
13	2234	111
14	2653	111
15	3218	111
16	3904	111
17	4122	111
18	4366	111
19	4448	111
20	4481	111
21	4502	111
22	5068	111

prune16.0ms (0.9%)

Pruning

3 alts after pruning (0 fresh and 3 done)

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

Error

Counts

29 → 3

Alt Table

Status	Error	Program
✓	0.0b	(exp.f64 (fma.f64 x x -1))
✓	0.6b	(*.f64 (exp.f64 -1) (fma.f64 x x 1))
✓	0.0b	(pow.f64 (E.f64) (fma.f64 x x -1))

Compiler

Compiled 269 to 209 computations (22.3% saved)

regimes46.0ms (2.5%)

Accuracy

Total 0.0b remaining (53.6%)

Threshold costs 0.0b (53.6%)

Counts

6 → 1

Compiler

Compiled 358 to 271 computations (24.3% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`1-exp_binary64`
1×	`e-exp-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	9
1	8	9
2	10	9
3	9	9

end48.0ms (2.6%)

Compiler: Compiled 35 to 25 computations (28.6% saved)

Details

analyze4.0ms (0.2%)

sample1.1s (57.1%)

simplify42.0ms (2.3%)

prune3.0ms (0.1%)

localize4.0ms (0.2%)

series2.0ms (0.1%)

rewrite77.0ms (4.2%)

simplify70.0ms (3.8%)

prune44.0ms (2.4%)

localize6.0ms (0.3%)

series3.0ms (0.2%)

rewrite79.0ms (4.3%)

simplify71.0ms (3.8%)

prune32.0ms (1.7%)

localize5.0ms (0.3%)

series4.0ms (0.2%)

rewrite76.0ms (4.1%)

simplify159.0ms (8.6%)

prune16.0ms (0.9%)

regimes46.0ms (2.5%)

simplify2.0ms (0.1%)

end48.0ms (2.6%)

Profiling