Details

analyze186.0ms (1.7%)

Algorithm

1×

Search

True	Other	False	Iter
0%	28.1%	71.9%	0
0%	28.1%	71.9%	1
0%	28.1%	71.9%	2
0%	28.1%	71.9%	3
3.5%	24.6%	71.9%	4
5.3%	22.8%	71.9%	5
10.5%	17.5%	71.9%	6
14%	14%	71.9%	7
19.1%	9%	71.9%	8
24.6%	3.5%	71.9%	9
25.1%	3%	71.9%	10
25.8%	2.3%	71.9%	11
26.3%	1.8%	71.9%	12
26.6%	1.5%	71.9%	13
26.9%	1.2%	71.9%	14

Compiler

Compiled 43 to 28 computations (34.9% saved)

sample1.9s (16.8%)

Results

1.1s	6708×	body	128	valid
384.0ms	704×	body	1024	valid
220.0ms	483×	body	512	valid
82.0ms	302×	body	256	valid
37.0ms	59×	body	2048	valid

Compiler

Compiled 118 to 76 computations (35.6% saved)

simplify43.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

847×	`times-frac_binary64`
817×	`distribute-rgt-in_binary64`
748×	`distribute-lft-in_binary64`
537×	`div-sub_binary64`
535×	`fma-neg_binary64`

Counts

1 → 2

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	16	43
1	34	39
2	110	37
3	435	37
4	1672	37
5	2494	37
6	3358	37
7	5392	37

prune5.0ms (0%)

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

15.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	15.9b	(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1) 2)
	20.5b	(/.f64 (+.f64 (/.f64 (/.f64 (.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) 2)

Status

Error

Program

▶

15.9b

(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1) 2)

20.5b

(/.f64 (+.f64 (/.f64 (/.f64 (*.f64 (+.f64 alpha beta) (-.f64 beta alpha)) (+.f64 (+.f64 alpha beta) (*.f64 2 i))) (+.f64 (+.f64 (+.f64 alpha beta) (*.f64 2 i)) 2)) 1) 2)

Compiler

Compiled 180 to 106 computations (41.1% saved)

localize12.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))
✓	10.2b	(fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)
✓	15.0b	(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))

series433.0ms (3.9%)

Counts

3 → 108

Calls

3 calls:

277.0ms

(fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)

136.0ms

(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))

19.0ms

(*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))

rewrite81.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

270×	`expm1-udef_binary64`
270×	`log1p-udef_binary64`
151×	`add-sqr-sqrt_binary64`
144×	`log1p-expm1-u_binary64`
144×	`expm1-log1p-u_binary64`

Counts

3 → 98

Calls

3 calls:

78.0ms

(*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))

78.0ms

(fma.f64 (+.f64 alpha beta) (/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta))))) 1)

78.0ms

(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	82
1	296	82
2	4200	82
3	4952	82
0	0	0
1	0	0

simplify200.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

555×	`+-commutative_binary64`
488×	`fma-def_binary64`
486×	`associate-+r+_binary64`
378×	`*-commutative_binary64`
291×	`associate-*r/_binary64`

Counts

206 → 223

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1298	17686
1	5193	17686

prune783.0ms (7%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	219	4	223
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	221	4	225

Error

0.0b

Counts

225 → 4

Alt Table

Status	Error	Program
	15.9b	(/.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))))) 2)
	51.9b	(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
	54.2b	(/.f64 (-.f64 (fma.f64 2 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 3)) (+.f64 (/.f64 2 alpha) (fma.f64 32 (/.f64 (pow.f64 i 3) (pow.f64 alpha 3)) (fma.f64 4 (/.f64 i alpha) (fma.f64 2 (/.f64 beta alpha) (fma.f64 20 (/.f64 (.f64 i (.f64 beta beta)) (pow.f64 alpha 3)) (fma.f64 16 (/.f64 beta (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 beta (.f64 i i)) (pow.f64 alpha 3)) (fma.f64 32 (/.f64 i (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 i i) (pow.f64 alpha 3)) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 i beta) (pow.f64 alpha 3)) (.f64 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)) 10))))))))))))) (fma.f64 6 (/.f64 beta (.f64 alpha alpha)) (fma.f64 12 (/.f64 i (.f64 alpha alpha)) (+.f64 (/.f64 4 (.f64 alpha alpha)) (fma.f64 12 (/.f64 (.f64 i i) (.f64 alpha alpha)) (fma.f64 12 (/.f64 (.f64 i beta) (.f64 alpha alpha)) (.f64 2 (/.f64 (.f64 beta beta) (.f64 alpha alpha))))))))) 2)
▶	10.1b	(/.f64 (fma.f64 (+.f64 alpha beta) (*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))) 1) 2)

Compiler

Compiled 25066 to 16233 computations (35.2% saved)

localize205.0ms (1.8%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha)))
✓	0.1b	(*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))
✓	0.2b	(/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))
✓	10.2b	(fma.f64 (+.f64 alpha beta) (*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))) 1)

series555.0ms (5%)

Counts

4 → 144

Calls

4 calls:

299.0ms	(fma.f64 (+.f64 alpha beta) (*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))) 1)
172.0ms	(*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))
44.0ms	(/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha)))
40.0ms	(/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))

rewrite97.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

301×	`log1p-udef_binary64`
170×	`add-sqr-sqrt_binary64`
162×	`log1p-expm1-u_binary64`
162×	`expm1-log1p-u_binary64`
159×	`add-log-exp_binary64`

Counts

4 → 141

Calls

4 calls:

92.0ms	(/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha)))
92.0ms	(*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))
92.0ms	(/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))
92.0ms	(fma.f64 (+.f64 alpha beta) (*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))) 1)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	89
1	332	89
2	4758	89
3	5198	89
0	0	0
1	0	0

simplify237.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

558×	`fma-def_binary64`
543×	`associate-+r+_binary64`
364×	`associate-*r/_binary64`
171×	`associate-/l*_binary64`
147×	`associate-/r*_binary64`

Counts

285 → 313

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1542	21193
1	5062	21193

prune673.0ms (6%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	313	0	313
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	313	4	317

Error

0.0b

Counts

317 → 4

Alt Table

Status	Error	Program
▶	15.9b	(/.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))))) 2)
	51.9b	(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
	54.2b	(/.f64 (-.f64 (fma.f64 2 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 3)) (+.f64 (/.f64 2 alpha) (fma.f64 32 (/.f64 (pow.f64 i 3) (pow.f64 alpha 3)) (fma.f64 4 (/.f64 i alpha) (fma.f64 2 (/.f64 beta alpha) (fma.f64 20 (/.f64 (.f64 i (.f64 beta beta)) (pow.f64 alpha 3)) (fma.f64 16 (/.f64 beta (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 beta (.f64 i i)) (pow.f64 alpha 3)) (fma.f64 32 (/.f64 i (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 i i) (pow.f64 alpha 3)) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 i beta) (pow.f64 alpha 3)) (.f64 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)) 10))))))))))))) (fma.f64 6 (/.f64 beta (.f64 alpha alpha)) (fma.f64 12 (/.f64 i (.f64 alpha alpha)) (+.f64 (/.f64 4 (.f64 alpha alpha)) (fma.f64 12 (/.f64 (.f64 i i) (.f64 alpha alpha)) (fma.f64 12 (/.f64 (.f64 i beta) (.f64 alpha alpha)) (.f64 2 (/.f64 (.f64 beta beta) (.f64 alpha alpha))))))))) 2)
✓	10.1b	(/.f64 (fma.f64 (+.f64 alpha beta) (*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))) 1) 2)

Compiler

Compiled 30820 to 19736 computations (36% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(exp.f64 (log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))))))
✓	1.9b	(.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))))
✓	2.4b	(log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))))
✓	15.0b	(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))

series1.8s (15.8%)

Counts

4 → 144

Calls

4 calls:

828.0ms	(log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))))
650.0ms	(exp.f64 (log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))))))
147.0ms	(.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))))
141.0ms	(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))

rewrite99.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

290×	`log1p-udef_binary64`
161×	`add-sqr-sqrt_binary64`
154×	`expm1-log1p-u_binary64`
153×	`log1p-expm1-u_binary64`
150×	`add-log-exp_binary64`

Counts

4 → 141

Calls

4 calls:

95.0ms	(exp.f64 (log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))))))
94.0ms	(.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))))
94.0ms	(log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))))
94.0ms	(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	132
1	315	131
2	4499	131
3	4932	131
0	0	0
1	0	0

simplify597.0ms (5.3%)

Algorithm

1×	egg-herbie

Rules

1319×	`fma-def_binary64`
513×	`times-frac_binary64`
13×	`cube-mult_binary64`
13×	`unpow2_binary64`
13×	`unpow3_binary64`

Counts

285 → 342

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3375	67767
1	5597	67767

prune1.7s (15.4%)

Pruning

4 alts after pruning (2 fresh and 2 done)

	Pruned	Kept	Total
New	342	0	342
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	342	4	346

Error

0.0b

Counts

346 → 4

Alt Table

Status	Error	Program
✓	15.9b	(/.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))))) 2)
▶	51.9b	(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
	54.2b	(/.f64 (-.f64 (fma.f64 2 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 3)) (+.f64 (/.f64 2 alpha) (fma.f64 32 (/.f64 (pow.f64 i 3) (pow.f64 alpha 3)) (fma.f64 4 (/.f64 i alpha) (fma.f64 2 (/.f64 beta alpha) (fma.f64 20 (/.f64 (.f64 i (.f64 beta beta)) (pow.f64 alpha 3)) (fma.f64 16 (/.f64 beta (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 beta (.f64 i i)) (pow.f64 alpha 3)) (fma.f64 32 (/.f64 i (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 i i) (pow.f64 alpha 3)) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 i beta) (pow.f64 alpha 3)) (.f64 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)) 10))))))))))))) (fma.f64 6 (/.f64 beta (.f64 alpha alpha)) (fma.f64 12 (/.f64 i (.f64 alpha alpha)) (+.f64 (/.f64 4 (.f64 alpha alpha)) (fma.f64 12 (/.f64 (.f64 i i) (.f64 alpha alpha)) (fma.f64 12 (/.f64 (.f64 i beta) (.f64 alpha alpha)) (.f64 2 (/.f64 (.f64 beta beta) (.f64 alpha alpha))))))))) 2)
✓	10.1b	(/.f64 (fma.f64 (+.f64 alpha beta) (*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))) 1) 2)

Compiler

Compiled 96194 to 66392 computations (31% saved)

localize7.0ms (0.1%)

Local error

Found 1 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha)

series14.0ms (0.1%)

Counts

1 → 36

Calls

1 calls:

14.0ms

(/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha)

rewrite80.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

490×	`log-prod_binary64`
286×	`prod-diff_binary64`
193×	`expm1-udef_binary64`
193×	`log1p-udef_binary64`
164×	`log-pow_binary64`

Counts

1 → 37

Calls

1 calls:

79.0ms

(/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	14
1	215	12
2	2618	12
3	4986	12
4	5143	12
0	0	0
1	0	0

simplify47.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

187×	`fma-def_binary64`
30×	`*-commutative_binary64`
22×	`distribute-rgt-in_binary64`
20×	`associate-/l*_binary64`
19×	`associate-/r/_binary64`

Counts

73 → 47

Iterations

Useful iterations: 13 (0.0ms)

Iter	Nodes	Cost
0	25	646
1	49	644
2	83	584
3	106	584
4	123	554
5	150	494
6	164	494
7	202	494
8	212	494
9	221	494
10	240	494
11	253	494
12	275	494
13	292	404
14	289	404
15	295	404
16	297	404
17	298	404
18	292	404

prune181.0ms (1.6%)

Pruning

4 alts after pruning (1 fresh and 3 done)

	Pruned	Kept	Total
New	47	0	47
Fresh	0	1	1
Picked	0	1	1
Done	0	2	2
Total	47	4	51

Error

0.0b

Counts

51 → 4

Alt Table

Status	Error	Program
✓	15.9b	(/.f64 (exp.f64 (log1p.f64 (.f64 (+.f64 beta alpha) (/.f64 (-.f64 beta alpha) (.f64 (fma.f64 2 i (+.f64 beta alpha)) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))))))) 2)
✓	51.9b	(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
	54.2b	(/.f64 (-.f64 (fma.f64 2 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 3)) (+.f64 (/.f64 2 alpha) (fma.f64 32 (/.f64 (pow.f64 i 3) (pow.f64 alpha 3)) (fma.f64 4 (/.f64 i alpha) (fma.f64 2 (/.f64 beta alpha) (fma.f64 20 (/.f64 (.f64 i (.f64 beta beta)) (pow.f64 alpha 3)) (fma.f64 16 (/.f64 beta (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 beta (.f64 i i)) (pow.f64 alpha 3)) (fma.f64 32 (/.f64 i (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 i i) (pow.f64 alpha 3)) (+.f64 (/.f64 8 (pow.f64 alpha 3)) (fma.f64 48 (/.f64 (.f64 i beta) (pow.f64 alpha 3)) (.f64 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)) 10))))))))))))) (fma.f64 6 (/.f64 beta (.f64 alpha alpha)) (fma.f64 12 (/.f64 i (.f64 alpha alpha)) (+.f64 (/.f64 4 (.f64 alpha alpha)) (fma.f64 12 (/.f64 (.f64 i i) (.f64 alpha alpha)) (fma.f64 12 (/.f64 (.f64 i beta) (.f64 alpha alpha)) (.f64 2 (/.f64 (.f64 beta beta) (.f64 alpha alpha))))))))) 2)
✓	10.1b	(/.f64 (fma.f64 (+.f64 alpha beta) (*.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (/.f64 1 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))) 1) 2)

Compiler

Compiled 1010 to 735 computations (27.2% saved)

regimes1.1s (10%)

Accuracy

Total 1.4b remaining (91.7%)

Threshold costs 0b (0%)

Counts

104 → 2

Compiler

Compiled 20626 to 14511 computations (29.6% saved)

bsearch4.0ms (0%)

Compiler: Compiled 28 to 16 computations (42.9% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
4×	`*-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	96
1	42	96
2	46	96
3	48	96
4	49	96
5	48	96

end165.0ms (1.5%)

Compiler: Compiled 368 to 223 computations (39.4% saved)

Iter	Nodes	Cost
0	25	646
1	49	644
2	83	584
3	106	584
4	123	554
5	150	494
6	164	494
7	202	494
8	212	494
9	221	494
10	240	494
11	253	494
12	275	494
13	292	404
14	289	404
15	295	404
16	297	404
17	298	404
18	292	404

Iter	Nodes	Cost
0	25	646
1	49	644
2	83	584
3	106	584
4	123	554
5	150	494
6	164	494
7	202	494
8	212	494
9	221	494
10	240	494
11	253	494
12	275	494
13	292	404
14	289	404
15	295	404
16	297	404
17	298	404
18	292	404

Details

analyze186.0ms (1.7%)

sample1.9s (16.8%)

simplify43.0ms (0.4%)

prune5.0ms (0%)

localize12.0ms (0.1%)

series433.0ms (3.9%)

rewrite81.0ms (0.7%)

simplify200.0ms (1.8%)

prune783.0ms (7%)

localize205.0ms (1.8%)

series555.0ms (5%)

rewrite97.0ms (0.9%)

simplify237.0ms (2.1%)

prune673.0ms (6%)

localize12.0ms (0.1%)

series1.8s (15.8%)

rewrite99.0ms (0.9%)

simplify597.0ms (5.3%)

prune1.7s (15.4%)

localize7.0ms (0.1%)

series14.0ms (0.1%)

rewrite80.0ms (0.7%)

simplify47.0ms (0.4%)

prune181.0ms (1.6%)

regimes1.1s (10%)

bsearch4.0ms (0%)

simplify4.0ms (0%)

end165.0ms (1.5%)

Profiling

Iter	Nodes	Cost
0	25	646
1	49	644
2	83	584
3	106	584
4	123	554
5	150	494
6	164	494
7	202	494
8	212	494
9	221	494
10	240	494
11	253	494
12	275	494
13	292	404
14	289	404
15	295	404
16	297	404
17	298	404
18	292	404