Details

analyze170.0ms (8.5%)

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
25%	56.2%	18.8%	6
37.5%	40.6%	22%	7
46.8%	29.7%	23.5%	8
54.6%	21.1%	24.3%	9
60.1%	15.2%	24.7%	10
64.4%	10.7%	24.9%	11
67.3%	7.7%	25%	12
69.6%	5.4%	25%	13
71.1%	3.9%	25%	14

Compiler

Compiled 10 to 6 computations (40% saved)

sample1.4s (70.4%)

Results

1.3s	8256×	body	128	valid
1.0ms	9×	body	128	invalid

Compiler

Compiled 29 to 17 computations (41.4% saved)

simplify15.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

4×	`fma-def_binary64`
2×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`associate-+r+_binary64`
1×	`associate-+l+_binary64`

Counts

1 → 2

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	11	8
2	15	8
3	17	8
4	18	8
5	18	8

prune5.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	(+.f64 y (fma.f64 x x y))

Compiler

Compiled 31 to 15 computations (51.6% saved)

localize9.0ms (0.4%)

Local error

Found 1 expressions with local error:

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

series10.0ms (0.5%)

Counts

1 → 24

Calls

1 calls:

10.0ms

(+.f64 y (fma.f64 x x y))

rewrite138.0ms (6.9%)

Algorithm

2×	batch-egg-rewrite

Rules

577×	`log1p-expm1-u_binary64`
577×	`expm1-log1p-u_binary64`
539×	`prod-diff_binary64`
390×	`fma-udef_binary64`
207×	`fma-def_binary64`

Counts

1 → 45

Calls

1 calls:

135.0ms

(+.f64 y (fma.f64 x x y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	5	8
1	109	8
2	1427	8
3	4934	8
4	4875	8
5	4979	8
0	0	0
1	0	0

simplify149.0ms (7.5%)

Algorithm

1×	egg-herbie

Rules

1108×	`sqr-pow_binary64`
617×	`cube-prod_binary64`
573×	`fabs-mul_binary64`
536×	`pow-sqr_binary64`
434×	`unswap-sqr_binary64`

Counts

69 → 50

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	168
1	15	168
2	23	168
3	34	168
4	61	168
5	126	168
6	342	168
7	767	168
8	779	168
9	927	168
10	1097	168
11	1280	168
12	1509	168
13	1794	168
14	2213	168
15	2778	168
16	3464	168
17	3682	168
18	3926	168
19	4008	168
20	4041	168
21	4062	168
22	4988	168
23	4747	168

prune19.0ms (1%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	49	1	50
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	50	1	51

Error

Counts

51 → 1

Alt Table

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

Compiler

Compiled 632 to 187 computations (70.4% 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 2 y))

Compiler

Compiled 8 to 5 computations (37.5% saved)

regimes39.0ms (2%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Counts

7 → 1

Compiler

Compiled 265 to 170 computations (35.8% saved)

simplify2.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

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

end30.0ms (1.5%)

Compiler: Compiled 24 to 15 computations (37.5% saved)

Details

analyze170.0ms (8.5%)

sample1.4s (70.4%)

simplify15.0ms (0.8%)

prune5.0ms (0.2%)

localize9.0ms (0.4%)

series10.0ms (0.5%)

rewrite138.0ms (6.9%)

simplify149.0ms (7.5%)

prune19.0ms (1%)

localize3.0ms (0.2%)

prune1.0ms (0%)

regimes39.0ms (2%)

simplify2.0ms (0.1%)

end30.0ms (1.5%)

Profiling