Details

analyze162.0ms (1.3%)

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)

sample2.3s (18.5%)

Results

1.4s	6700×	body	128	valid
465.0ms	682×	body	1024	valid
247.0ms	495×	body	512	valid
93.0ms	324×	body	256	valid
62.0ms	55×	body	2048	valid

Compiler

Compiled 118 to 76 computations (35.6% saved)

simplify53.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

prune4.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.6b

Counts

3 → 2

Alt Table

Status	Error	Program
	19.7b	(/.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)
▶	15.6b	(/.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)

Status

Error

Program

19.7b

(/.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)

▶

15.6b

(/.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)

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))))
✓	9.6b	(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)
✓	16.2b	(/.f64 (-.f64 beta alpha) (*.f64 (fma.f64 2 i (+.f64 alpha beta)) (+.f64 2 (fma.f64 2 i (+.f64 alpha beta)))))

series957.0ms (7.7%)

Counts

3 → 108

Calls

3 calls:

649.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)

287.0ms

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

20.0ms

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

rewrite284.0ms (2.3%)

Algorithm

3×	egg-rewrite

Rules

89×	`egg`
59×	`egg`
23×	`egg`

Counts

3 → 171

Calls

3 calls:

117.0ms

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

85.0ms

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

77.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)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	27
1	262	27
2	3859	27
3	5290	27
0	13	34
1	296	34
2	4200	34
3	4952	34
0	9	21
1	203	21
2	2615	21
3	4795	21
4	4738	21
5	4941	21

simplify203.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

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

Counts

279 → 295

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1298	17686
1	5193	17686

prune1.6s (12.7%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	290	5	295
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	292	5	297

Error

0.2b

Counts

297 → 5

Alt Table

Status	Error	Program
	56.3b	(/.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)
	9.9b	(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (pow.f64 (cbrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))) 2)) (cbrt.f64 (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))) 1) 2)
▶	9.7b	(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))) 1) 2)
	54.9b	(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (fma.f64 2 (/.f64 beta alpha) (.f64 4 (/.f64 i 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)) (fma.f64 6 (/.f64 beta (.f64 alpha alpha)) (fma.f64 12 (/.f64 i (.f64 alpha alpha)) (.f64 2 (/.f64 (.f64 beta beta) (*.f64 alpha alpha))))))))) 2)
	52.4b	(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)

Compiler

Compiled 28380 to 17914 computations (36.9% saved)

localize13.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series1.2s (10%)

Counts

3 → 108

Calls

3 calls:

877.0ms

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

315.0ms

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

46.0ms

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

rewrite296.0ms (2.4%)

Algorithm

3×	egg-rewrite

Rules

198×	`egg`
69×	`egg`
25×	`egg`

Counts

3 → 292

Calls

3 calls:

111.0ms

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

87.0ms

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

86.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	306	34
2	4481	34
3	5278	34
0	11	27
1	262	27
2	3891	27
3	5668	27
0	9	14
1	204	14
2	2810	14
3	5031	14

simplify434.0ms (3.5%)

Algorithm

1×	egg-herbie

Rules

562×	`+-commutative_binary64`
488×	`fma-def_binary64`
476×	`associate-+r+_binary64`
403×	`*-commutative_binary64`
321×	`associate-*r/_binary64`

Counts

400 → 423

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1375	18510
1	5498	18510

prune1.3s (10.2%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	422	1	423
Fresh	1	3	4
Picked	1	0	1
Done	0	0	0
Total	424	4	428

Error

0.2b

Counts

428 → 4

Alt Table

Status	Error	Program
	56.3b	(/.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)
	54.9b	(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (fma.f64 2 (/.f64 beta alpha) (.f64 4 (/.f64 i 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)) (fma.f64 6 (/.f64 beta (.f64 alpha alpha)) (fma.f64 12 (/.f64 i (.f64 alpha alpha)) (.f64 2 (/.f64 (.f64 beta beta) (*.f64 alpha alpha))))))))) 2)
	52.4b	(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
▶	9.7b	(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))))) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))) 1) 2)

Compiler

Compiled 41537 to 24850 computations (40.2% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))))) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha))))
	0.0b	(/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha)))
✓	2.0b	(log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha)))))
✓	9.6b	(fma.f64 (+.f64 alpha beta) (/.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))))) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))) 1)

series855.0ms (6.9%)

Counts

3 → 108

Calls

3 calls:

500.0ms

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

307.0ms

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

47.0ms

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

rewrite294.0ms (2.4%)

Algorithm

3×	egg-rewrite

Rules

202×	`egg`
61×	`egg`
25×	`egg`

Counts

3 → 288

Calls

3 calls:

110.0ms

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

89.0ms

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

83.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	34
1	320	34
2	4553	34
3	4987	34
0	11	14
1	220	14
2	2981	14
3	4964	14
0	13	27
1	276	27
2	3974	27
3	5750	27

simplify209.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

562×	`+-commutative_binary64`
488×	`fma-def_binary64`
476×	`associate-+r+_binary64`
403×	`*-commutative_binary64`
321×	`associate-*r/_binary64`

Counts

396 → 417

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1375	18510
1	5498	18510

prune1.1s (8.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	656	0	656
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	656	4	660

Error

0.2b

Counts

660 → 4

Alt Table

Status	Error	Program
	56.3b	(/.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)
	54.9b	(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (fma.f64 2 (/.f64 beta alpha) (.f64 4 (/.f64 i 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)) (fma.f64 6 (/.f64 beta (.f64 alpha alpha)) (fma.f64 12 (/.f64 i (.f64 alpha alpha)) (.f64 2 (/.f64 (.f64 beta beta) (*.f64 alpha alpha))))))))) 2)
▶	52.4b	(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
✓	9.7b	(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))))) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))) 1) 2)

Compiler

Compiled 59506 to 34499 computations (42% 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)

series19.0ms (0.2%)

Counts

1 → 36

Calls

1 calls:

19.0ms

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

rewrite89.0ms (0.7%)

Algorithm

1×	egg-rewrite

Rules

48× egg

Counts

1 → 48

Calls

1 calls:

88.0ms

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

Iterations

Useful iterations: 1 (0.0ms)

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

simplify49.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

84 → 57

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

prune42.0ms (0.3%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	56	1	57
Fresh	0	2	2
Picked	0	1	1
Done	0	1	1
Total	56	5	61

Error

0.2b

Counts

61 → 5

Alt Table

Status	Error	Program
	56.3b	(/.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)
	54.9b	(/.f64 (-.f64 (+.f64 (/.f64 2 alpha) (fma.f64 2 (/.f64 beta alpha) (.f64 4 (/.f64 i 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)) (fma.f64 6 (/.f64 beta (.f64 alpha alpha)) (fma.f64 12 (/.f64 i (.f64 alpha alpha)) (.f64 2 (/.f64 (.f64 beta beta) (*.f64 alpha alpha))))))))) 2)
✓	52.4b	(/.f64 (/.f64 (fma.f64 2 beta (+.f64 2 (*.f64 i 4))) alpha) 2)
✓	9.7b	(/.f64 (fma.f64 (+.f64 alpha beta) (/.f64 (log.f64 (exp.f64 (/.f64 (-.f64 beta alpha) (fma.f64 2 i (+.f64 beta alpha))))) (+.f64 2 (fma.f64 2 i (+.f64 beta alpha)))) 1) 2)
	52.6b	(/.f64 (/.f64 (/.f64 (fma.f64 2 beta (fma.f64 i 4 2)) (pow.f64 (cbrt.f64 alpha) 2)) (cbrt.f64 alpha)) 2)

Compiler

Compiled 1226 to 886 computations (27.7% saved)

regimes727.0ms (5.9%)

Accuracy

Total 1.1b remaining (93.2%)

Threshold costs 0b (0%)

Counts

78 → 2

Compiler

Compiled 16245 to 11320 computations (30.3% saved)

bsearch4.0ms (0%)

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

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
6×	`*-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	35	107
1	49	107
2	53	107
3	55	107
4	56	107
5	55	107

end189.0ms (1.5%)

Compiler: Compiled 439 to 267 computations (39.2% 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

analyze162.0ms (1.3%)

sample2.3s (18.5%)

simplify53.0ms (0.4%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series957.0ms (7.7%)

rewrite284.0ms (2.3%)

simplify203.0ms (1.6%)

prune1.6s (12.7%)

localize13.0ms (0.1%)

series1.2s (10%)

rewrite296.0ms (2.4%)

simplify434.0ms (3.5%)

prune1.3s (10.2%)

localize17.0ms (0.1%)

series855.0ms (6.9%)

rewrite294.0ms (2.4%)

simplify209.0ms (1.7%)

prune1.1s (8.8%)

localize7.0ms (0.1%)

series19.0ms (0.2%)

rewrite89.0ms (0.7%)

simplify49.0ms (0.4%)

prune42.0ms (0.3%)

regimes727.0ms (5.9%)

bsearch4.0ms (0%)

simplify5.0ms (0%)

end189.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