Details

analyze99.0ms (4.9%)

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%	50%	25.1%	6
25%	31.2%	43.8%	7
25%	21.9%	53.2%	8
25%	14%	61%	9
28.1%	10.9%	61%	10
31.6%	7.4%	61%	11
33.4%	5.7%	61%	12
35.2%	3.8%	61%	13
36.1%	2.9%	61%	14

Compiler

Compiled 20 to 13 computations (35% saved)

sample1.0s (49.4%)

Results

933.0ms	8256×	body	128	valid
1.0ms	6×	body	128	invalid

Compiler

Compiled 59 to 38 computations (35.6% saved)

simplify43.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

770×	`unswap-sqr_binary64`
631×	`associate-l_binary64`
623×	`fma-def_binary64`
311×	`fma-neg_binary64`
283×	`sub-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	13	23
1	30	21
2	60	21
3	159	21
4	518	17
5	1687	17
6	3597	17
7	5026	17

prune4.0ms (0.2%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

Counts

3 → 2

Alt Table

Status	Error	Program
▶	0.0b	(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
	0.2b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (.f64 b b))) 1)

Compiler

Compiled 97 to 64 computations (34% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
✓	0.0b	(pow.f64 (hypot.f64 a b) 4)

series55.0ms (2.7%)

Counts

2 → 48

Calls

2 calls:

29.0ms	(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
26.0ms	(pow.f64 (hypot.f64 a b) 4)

rewrite55.0ms (2.7%)

Algorithm

2×	batch-egg-rewrite

Rules

626×	`prod-diff_binary64`
447×	`log-prod_binary64`
243×	`fma-def_binary64`
181×	`expm1-udef_binary64`
181×	`log1p-udef_binary64`

Counts

2 → 79

Calls

2 calls:

53.0ms	(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
53.0ms	(pow.f64 (hypot.f64 a b) 4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	24
1	212	24
2	2417	24
3	5319	24
0	0	0
1	0	0

simplify78.0ms (3.8%)

Algorithm

1×	egg-herbie

Rules

944×	`fma-def_binary64`
730×	`fma-neg_binary64`
348×	`unswap-sqr_binary64`
339×	`sub-neg_binary64`
330×	`associate-l_binary64`

Counts

127 → 98

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	26	983
1	72	939
2	208	849
3	633	823
4	1838	823
5	4657	823
6	4892	823
7	5191	823

prune70.0ms (3.4%)

Pruning

2 alts after pruning (1 fresh and 1 done)

	Pruned	Kept	Total
New	98	0	98
Fresh	0	1	1
Picked	0	1	1
Done	0	0	0
Total	98	2	100

Error

Counts

100 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
▶	0.2b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (.f64 b b))) 1)

Compiler

Compiled 1921 to 1232 computations (35.9% saved)

localize9.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(+.f64 (.f64 a a) (.f64 b b))
✓	0.0b	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (.f64 b b)))
✓	0.0b	(.f64 4 (.f64 b b))
✓	0.3b	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)

series49.0ms (2.4%)

Counts

4 → 84

Calls

4 calls:

21.0ms	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (.f64 b b)))
19.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)
6.0ms	(+.f64 (.f64 a a) (.f64 b b))
2.0ms	(.f64 4 (.f64 b b))

rewrite73.0ms (3.6%)

Algorithm

2×	batch-egg-rewrite

Rules

514×	`log-prod_binary64`
459×	`fma-def_binary64`
214×	`fma-neg_binary64`
197×	`expm1-udef_binary64`
197×	`log1p-udef_binary64`

Counts

4 → 169

Calls

4 calls:

69.0ms	(+.f64 (.f64 a a) (.f64 b b))
69.0ms	(+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (.f64 b b)))
69.0ms	(.f64 4 (.f64 b b))
69.0ms	(pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	46
1	242	40
2	2781	40
3	5325	40
0	0	0
1	0	0

simplify102.0ms (5%)

Algorithm

1×	egg-herbie

Rules

648×	`distribute-rgt-in_binary64`
590×	`distribute-lft-in_binary64`
416×	`fma-def_binary64`
383×	`*-commutative_binary64`
348×	`unswap-sqr_binary64`

Counts

253 → 192

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	21	1223
1	54	1143
2	152	1055
3	417	1031
4	1185	1031
5	1613	1031
6	1751	1031
7	1926	1031
8	2390	1031
9	3239	1031
10	4927	1031

prune135.0ms (6.7%)

Pruning

2 alts after pruning (0 fresh and 2 done)

	Pruned	Kept	Total
New	192	0	192
Fresh	0	0	0
Picked	0	1	1
Done	0	1	1
Total	192	2	194

Error

Counts

194 → 2

Alt Table

Status	Error	Program
✓	0.0b	(+.f64 (pow.f64 (hypot.f64 a b) 4) (fma.f64 b (*.f64 b 4) -1))
✓	0.2b	(-.f64 (+.f64 (pow.f64 (+.f64 (.f64 a a) (.f64 b b)) 2) (.f64 4 (.f64 b b))) 1)

Compiler

Compiled 4252 to 2561 computations (39.8% saved)

regimes192.0ms (9.4%)

Accuracy

Total 0.0b remaining (54.3%)

Threshold costs 0.0b (54.3%)

Counts

35 → 1

Compiler

Compiled 3651 to 2680 computations (26.6% saved)

simplify5.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	17
1	12	17
2	12	17

end53.0ms (2.6%)

Compiler: Compiled 61 to 42 computations (31.1% saved)

Details

analyze99.0ms (4.9%)

sample1.0s (49.4%)

simplify43.0ms (2.1%)

prune4.0ms (0.2%)

localize7.0ms (0.3%)

series55.0ms (2.7%)

rewrite55.0ms (2.7%)

simplify78.0ms (3.8%)

prune70.0ms (3.4%)

localize9.0ms (0.4%)

series49.0ms (2.4%)

rewrite73.0ms (3.6%)

simplify102.0ms (5%)

prune135.0ms (6.7%)

regimes192.0ms (9.4%)

simplify5.0ms (0.2%)

end53.0ms (2.6%)

Profiling