Details

analyze460.0ms (19.6%)

Algorithm

1×

Search

True	Other	False	Iter
0%	50%	50%	0
0%	50%	50%	1
25%	25%	50%	2
25%	25%	50%	3
31.2%	18.7%	50%	4
31.2%	18.7%	50%	5
34.3%	15.6%	50%	6
34.3%	15.6%	50%	7
35.9%	14%	50%	8
35.9%	14%	50%	9
36.7%	13.3%	50%	10
36.7%	13.3%	50%	11
37.1%	12.9%	50%	12
37.1%	12.9%	50%	13
37.3%	12.7%	50%	14

Compiler

Compiled 20 to 14 computations (30% saved)

sample1.8s (75.6%)

Results

776.0ms	6214×	body	128	valid
355.0ms	577×	body	4096	valid
343.0ms	668×	body	2048	valid
192.0ms	452×	body	1024	valid
71.0ms	224×	body	512	valid
25.0ms	121×	body	256	valid

Compiler

Compiled 40 to 28 computations (30% saved)

preprocess32.0ms (1.4%)

Algorithm

2×	egg-herbie

Rules

316×	`fma-def_binary64`
164×	`fma-neg_binary64`
86×	`distribute-rgt-in_binary64`
48×	`distribute-lft-in_binary64`
48×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	30
1	33	30
2	51	30
3	88	30
4	135	30
5	185	30
6	305	30
7	478	30
8	682	30
9	833	30
10	1083	30
11	1243	30
12	1261	30
13	1265	30
0	2	2

Stop Event

1×	saturated
1×	saturated

Compiler

Compiled 17 to 12 computations (29.4% saved)

simplify23.0ms (1%)

Algorithm

1×	egg-herbie

Rules

201×	`fma-def_binary64`
142×	`fma-neg_binary64`
51×	`distribute-rgt-in_binary64`
43×	`cancel-sign-sub-inv_binary64`
27×	`sub-neg_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	53	15
4	80	15
5	109	15
6	180	15
7	286	15
8	410	15
9	493	15
10	610	15
11	682	15
12	705	15
13	744	15
14	793	15
15	856	15
16	892	15
17	901	15

Stop Event

1×

saturated

Counts

1 → 2

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

12.2b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	12.2b	(.f64 1/2 (sqrt.f64 (.f64 2 (-.f64 (hypot.f64 re im) re))))

Compiler

Compiled 51 to 37 computations (27.5% saved)

localize6.0ms (0.3%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(hypot.f64 re im)
✓	0.0b	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))
✓	0.5b	(-.f64 (hypot.f64 re im) re)

series48.0ms (2.1%)

Counts

3 → 56

Calls

18 calls:

7.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))	im	0
6.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))	im	inf
5.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))	im	-inf
5.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))	re	inf
3.0ms	(sqrt.f64 (*.f64 2 (-.f64 (hypot.f64 re im) re)))	re	-inf

rewrite0.0ms (0%)

Algorithm

1×	batch-egg-rewrite

Details

analyze460.0ms (19.6%)

sample1.8s (75.6%)

preprocess32.0ms (1.4%)

simplify23.0ms (1%)

prune3.0ms (0.1%)

localize6.0ms (0.3%)

series48.0ms (2.1%)

rewrite0.0ms (0%)

end0.0ms (0%)

Profiling

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	53	15
4	80	15
5	109	15
6	180	15
7	286	15
8	410	15
9	493	15
10	610	15
11	682	15
12	705	15
13	744	15
14	793	15
15	856	15
16	892	15
17	901	15

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	53	15
4	80	15
5	109	15
6	180	15
7	286	15
8	410	15
9	493	15
10	610	15
11	682	15
12	705	15
13	744	15
14	793	15
15	856	15
16	892	15
17	901	15

Iter	Nodes	Cost
0	13	15
1	20	15
2	33	15
3	53	15
4	80	15
5	109	15
6	180	15
7	286	15
8	410	15
9	493	15
10	610	15
11	682	15
12	705	15
13	744	15
14	793	15
15	856	15
16	892	15
17	901	15