Details

analyze5.0ms (0.4%)

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)

sample876.0ms (59.6%)

Results

812.0ms	8256×	body	128	valid
0.0ms	2×	body	128	invalid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify42.0ms (2.9%)

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

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

Local error

Found 1 expressions with local error:

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

series3.0ms (0.2%)

Counts

1 → 4

Calls

1 calls:

3.0ms

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

rewrite82.0ms (5.6%)

Algorithm

2×	batch-egg-rewrite

Rules

49× egg-rr

Counts

1 → 49

Calls

2 calls:

81.0ms	((exp.f64 (fma.f64 x x -1)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

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

simplify73.0ms (5%)

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

53 → 56

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

prune32.0ms (2.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

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

Error

Counts

57 → 2

Alt Table

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

Compiler

Compiled 738 to 539 computations (27% 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.3%)

Counts

1 → 12

Calls

1 calls:

4.0ms

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

rewrite84.0ms (5.7%)

Algorithm

2×	batch-egg-rewrite

Rules

21× egg-rr

Counts

1 → 21

Calls

2 calls:

82.0ms	((*.f64 (exp.f64 -1) (fma.f64 x x 1)))
1.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

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

simplify162.0ms (11.1%)

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

33 → 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

prune15.0ms (1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

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

Error

Counts

28 → 2

Alt Table

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

Compiler

Compiled 262 to 204 computations (22.1% saved)

regimes38.0ms (2.6%)

Accuracy

Total 0.0b remaining (14.3%)

Threshold costs 0.0b (14.3%)

Counts

4 → 1

Compiler

Compiled 273 to 201 computations (26.4% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	7
1	5	7

end39.0ms (2.7%)

Compiler: Compiled 26 to 18 computations (30.8% saved)

Details

analyze5.0ms (0.4%)

sample876.0ms (59.6%)

simplify42.0ms (2.9%)

prune3.0ms (0.2%)

localize4.0ms (0.3%)

series3.0ms (0.2%)

rewrite82.0ms (5.6%)

simplify73.0ms (5%)

prune32.0ms (2.2%)

localize5.0ms (0.3%)

series4.0ms (0.3%)

rewrite84.0ms (5.7%)

simplify162.0ms (11.1%)

prune15.0ms (1%)

regimes38.0ms (2.6%)

simplify2.0ms (0.1%)

end39.0ms (2.7%)

Profiling