Details

analyze89.0ms (7%)

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
50%	50%	0.1%	5
50%	50%	0.1%	6
71.8%	28.1%	0.1%	7
73.4%	25%	1.7%	8
80.4%	16.4%	3.2%	9
80.8%	14%	5.2%	10
84.1%	8.8%	7.1%	11
84.2%	7.4%	8.4%	12
85.8%	4.5%	9.7%	13
85.8%	3.8%	10.4%	14

Compiler

Compiled 10 to 6 computations (40% saved)

sample890.0ms (70.4%)

Results

836.0ms	8256×	body	128	valid
20.0ms	210×	body	128	invalid

Compiler

Compiled 29 to 17 computations (41.4% saved)

simplify8.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

2×	`associate-/r*_binary64`
1×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`count-2_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	9	10
2	12	10
3	14	10
4	14	10

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Error

0.0b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 27 to 15 computations (44.4% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.4%)

Counts

1 → 24

Calls

1 calls:

6.0ms

(/.f64 (+.f64 x y) (+.f64 y y))

rewrite56.0ms (4.5%)

Algorithm

2×	batch-egg-rewrite

Rules

752×	`log1p-expm1-u_binary64`
752×	`expm1-log1p-u_binary64`
663×	`prod-diff_binary64`
76×	`add-sqr-sqrt_binary64`
71×	`add-log-exp_binary64`

Counts

1 → 35

Calls

1 calls:

56.0ms

(/.f64 (+.f64 x y) (+.f64 y y))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	10
1	142	10
2	1901	10
3	5790	10
0	0	0
1	0	0

simplify16.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

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

Counts

59 → 40

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	12	168
2	19	168
3	27	168
4	31	168
5	32	168
6	29	168

prune15.0ms (1.2%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	39	1	40
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	39	2	41

Error

Counts

41 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (+.f64 y y))
▶	0.0b	(fma.f64 1/2 (/.f64 x y) 1/2)

Compiler

Compiled 450 to 140 computations (68.9% saved)

localize4.0ms (0.3%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 1/2 (/.f64 x y) 1/2)

series7.0ms (0.6%)

Counts

1 → 24

Calls

1 calls:

7.0ms

(fma.f64 1/2 (/.f64 x y) 1/2)

rewrite71.0ms (5.6%)

Algorithm

2×	batch-egg-rewrite

Rules

601×	`log1p-expm1-u_binary64`
601×	`expm1-log1p-u_binary64`
296×	`log-prod_binary64`
116×	`expm1-udef_binary64`
116×	`log1p-udef_binary64`

Counts

1 → 26

Calls

1 calls:

70.0ms

(fma.f64 1/2 (/.f64 x y) 1/2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	8
1	126	8
2	1540	8
3	4953	8
4	5092	8
0	0	0
1	0	0

simplify15.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

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

Counts

50 → 29

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	8	168
1	12	168
2	19	168
3	27	168
4	31	168
5	32	168
6	29	168

prune14.0ms (1.1%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	29	0	29
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	29	2	31

Error

Counts

31 → 2

Alt Table

Status	Error	Program
✓	0.0b	(/.f64 (+.f64 x y) (+.f64 y y))
✓	0.0b	(fma.f64 1/2 (/.f64 x y) 1/2)

Compiler

Compiled 339 to 217 computations (36% saved)

regimes24.0ms (1.9%)

Accuracy

Total 0.0b remaining (98.5%)

Threshold costs 0.0b (98.5%)

Counts

5 → 1

Compiler

Compiled 168 to 114 computations (32.1% saved)

simplify3.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

1×	`+-commutative_binary64`
1×	`*-commutative_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	10
1	9	10
2	9	10

end40.0ms (3.2%)

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

Details

analyze89.0ms (7%)

sample890.0ms (70.4%)

simplify8.0ms (0.6%)

prune1.0ms (0.1%)

localize4.0ms (0.3%)

series6.0ms (0.4%)

rewrite56.0ms (4.5%)

simplify16.0ms (1.3%)

prune15.0ms (1.2%)

localize4.0ms (0.3%)

series7.0ms (0.6%)

rewrite71.0ms (5.6%)

simplify15.0ms (1.2%)

prune14.0ms (1.1%)

regimes24.0ms (1.9%)

simplify3.0ms (0.3%)

end40.0ms (3.2%)

Profiling