Details

analyze3.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
0%	56.2%	43.8%	2
42.1%	14%	43.8%	3
42.1%	14%	43.8%	4
52.7%	3.5%	43.8%	5
56.2%	0%	43.8%	6

Compiler

Compiled 44 to 29 computations (34.1% saved)

sample1.4s (17.3%)

Symmetry

(sort alpha beta)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 125 to 82 computations (34.4% saved)

simplify214.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

1227×	`associate-/l*_binary64`
689×	`distribute-rgt-in_binary64`
661×	`distribute-lft-in_binary64`
481×	`associate-/l/_binary64`
450×	`associate-l_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	40
1	36	38
2	114	38
3	468	37
4	2359	37
5	2330	37
6	2458	37
7	2717	37
8	3067	37
9	3038	37
10	3136	37
11	3263	37
12	3406	37
13	3706	37
14	4273	37
15	4084	37
16	4107	37
17	4114	37
18	4121	37
19	4128	37
20	4135	37
21	4142	37
22	4149	37
23	4156	37
24	5226	37

prune5.0ms (0.1%)

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

0.9b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	1.6b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	4.1b	(/.f64 (/.f64 (/.f64 (+.f64 (+.f64 (+.f64 alpha beta) (.f64 beta alpha)) 1) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 alpha beta) (.f64 2 1))) (+.f64 (+.f64 (+.f64 alpha beta) (.f64 2 1)) 1))

Status

Error

Program

▶

1.6b

(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))

4.1b

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

Compiler

Compiled 190 to 123 computations (35.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))
✓	0.1b	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
✓	0.1b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
✓	19.1b	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

series264.0ms (3.4%)

Counts

4 → 96

Calls

4 calls:

138.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
68.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
50.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
7.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

rewrite92.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

233×	`prod-diff_binary64`
198×	`add-sqr-sqrt_binary64`
194×	`log1p-expm1-u_binary64`
194×	`expm1-log1p-u_binary64`
190×	`add-log-exp_binary64`

Counts

4 → 116

Calls

4 calls:

84.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))
84.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
84.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
84.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	79
1	394	79
2	4840	79
3	5273	79
0	0	0
1	0	0

simplify154.0ms (2%)

Algorithm

1×	egg-herbie

Rules

824×	`times-frac_binary64`
352×	`+-commutative_binary64`
290×	`associate-+r+_binary64`
263×	`fma-def_binary64`
209×	`*-commutative_binary64`

Counts

212 → 223

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	856	9844
1	3106	9844
2	4969	9844

prune466.0ms (5.9%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	217	6	223
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	219	6	225

Error

0.0b

Counts

225 → 6

Alt Table

Status	Error	Program
	0.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 beta 1)) 2) (+.f64 (+.f64 beta alpha) 2)) (/.f64 (cbrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 alpha (+.f64 beta 3)))
	1.6b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 (.f64 alpha alpha) (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (*.f64 alpha 4)))))))) (+.f64 alpha (+.f64 beta 3)))
	30.9b	(-.f64 (+.f64 (/.f64 alpha (.f64 beta beta)) (/.f64 1 (.f64 beta beta))) (fma.f64 9 (/.f64 alpha (pow.f64 beta 3)) (fma.f64 3 (/.f64 (*.f64 alpha alpha) (pow.f64 beta 3)) (/.f64 6 (pow.f64 beta 3)))))
	2.2b	(*.f64 (/.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
▶	0.1b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 alpha (+.f64 beta 3)))
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 15453 to 11119 computations (28% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))
✓	0.0b	(/.f64 1 (+.f64 (+.f64 beta alpha) 2))
✓	0.1b	(.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2))))
✓	0.1b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 alpha (+.f64 beta 3)))

series269.0ms (3.4%)

Counts

4 → 96

Calls

4 calls:

140.0ms	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 alpha (+.f64 beta 3)))
67.0ms	(.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2))))
48.0ms	(*.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))
14.0ms	(/.f64 1 (+.f64 (+.f64 beta alpha) 2))

rewrite85.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

207×	`add-sqr-sqrt_binary64`
201×	`log1p-expm1-u_binary64`
201×	`expm1-log1p-u_binary64`
197×	`add-log-exp_binary64`
196×	`add-exp-log_binary64`

Counts

4 → 122

Calls

4 calls:

83.0ms	(*.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))
83.0ms	(/.f64 1 (+.f64 (+.f64 beta alpha) 2))
83.0ms	(.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2))))
83.0ms	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 alpha (+.f64 beta 3)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	97
1	415	79
2	4949	79
3	5268	79
0	0	0
1	0	0

simplify141.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

836×	`times-frac_binary64`
365×	`+-commutative_binary64`
293×	`associate-+r+_binary64`
271×	`fma-def_binary64`
217×	`*-commutative_binary64`

Counts

218 → 231

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	895	10260
1	3253	10260
2	5053	10260

prune446.0ms (5.7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	230	1	231
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	231	6	237

Error

0.0b

Counts

237 → 6

Alt Table

Status	Error	Program
	0.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (pow.f64 (cbrt.f64 (+.f64 beta 1)) 2) (+.f64 (+.f64 beta alpha) 2)) (/.f64 (cbrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 alpha (+.f64 beta 3)))
	1.6b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 (.f64 alpha alpha) (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (*.f64 alpha 4)))))))) (+.f64 alpha (+.f64 beta 3)))
▶	0.2b	(.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (+.f64 (+.f64 alpha beta) 2))) 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3))))
	2.2b	(*.f64 (/.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
✓	0.1b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 alpha (+.f64 beta 3)))
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 16198 to 11642 computations (28.1% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3)))
✓	0.0b	(/.f64 1 (+.f64 (+.f64 alpha beta) 2))
✓	0.1b	(*.f64 (+.f64 alpha 1) (/.f64 1 (+.f64 (+.f64 alpha beta) 2)))
✓	0.1b	(.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (+.f64 (+.f64 alpha beta) 2))) 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3))))

series234.0ms (3%)

Counts

4 → 96

Calls

4 calls:

139.0ms	(.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (+.f64 (+.f64 alpha beta) 2))) 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3))))
60.0ms	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3)))
21.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (+.f64 (+.f64 alpha beta) 2)))
14.0ms	(/.f64 1 (+.f64 (+.f64 alpha beta) 2))

rewrite90.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

209×	`add-sqr-sqrt_binary64`
204×	`log1p-expm1-u_binary64`
204×	`expm1-log1p-u_binary64`
199×	`add-log-exp_binary64`
198×	`add-exp-log_binary64`

Counts

4 → 149

Calls

4 calls:

86.0ms	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3)))
86.0ms	(/.f64 1 (+.f64 (+.f64 alpha beta) 2))
86.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (+.f64 (+.f64 alpha beta) 2)))
86.0ms	(.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (+.f64 (+.f64 alpha beta) 2))) 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	82
1	425	76
2	4939	76
3	5132	76
0	0	0
1	0	0

simplify132.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

817×	`fma-def_binary64`
761×	`associate-/l*_binary64`
299×	`+-commutative_binary64`
231×	`associate-+r+_binary64`
193×	`*-commutative_binary64`

Counts

245 → 257

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	801	9301
1	2977	9271
2	5501	9271

prune483.0ms (6.2%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	255	2	257
Fresh	1	3	4
Picked	0	1	1
Done	1	0	1
Total	257	6	263

Error

0.0b

Counts

263 → 6

Alt Table

Status	Error	Program
▶	0.1b	(/.f64 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))))
	2.2b	(*.f64 (/.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	0.5b	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (*.f64 (/.f64 1 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3))))
✓	0.2b	(.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (+.f64 (+.f64 alpha beta) 2))) 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3))))
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	1.6b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 (.f64 alpha alpha) (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (*.f64 alpha 4)))))))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 16602 to 11919 computations (28.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))
✓	0.0b	(/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))
✓	0.0b	(/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2))
✓	0.1b	(/.f64 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))))

series194.0ms (2.5%)

Counts

4 → 96

Calls

4 calls:

138.0ms	(/.f64 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))))
20.0ms	(/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))
20.0ms	(/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2))
15.0ms	(/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))

rewrite84.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

235×	`prod-diff_binary64`
201×	`add-sqr-sqrt_binary64`
196×	`log1p-expm1-u_binary64`
196×	`expm1-log1p-u_binary64`
192×	`add-log-exp_binary64`

Counts

4 → 123

Calls

4 calls:

80.0ms	(/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))
80.0ms	(/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))
80.0ms	(/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2))
80.0ms	(/.f64 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	85
1	398	85
2	4898	85
3	5325	85
0	0	0
1	0	0

simplify113.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

767×	`times-frac_binary64`
636×	`fma-def_binary64`
588×	`associate-/l*_binary64`
255×	`+-commutative_binary64`
202×	`associate-+r+_binary64`

Counts

219 → 229

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	667	7987
1	2403	7937
2	5445	7937

prune392.0ms (5%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	228	1	229
Fresh	0	4	4
Picked	1	0	1
Done	0	1	1
Total	229	6	235

Error

Counts

235 → 6

Alt Table

Status	Error	Program
	0.5b	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (*.f64 (/.f64 1 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3))))
✓	0.2b	(.f64 (/.f64 (.f64 (+.f64 alpha 1) (/.f64 1 (+.f64 (+.f64 alpha beta) 2))) 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3))))
	2.2b	(*.f64 (/.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (+.f64 1 alpha) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	0.2b	(pow.f64 (sqrt.f64 (/.f64 (/.f64 (+.f64 alpha 1) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (+.f64 alpha (+.f64 beta 3)) (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))))) 2)
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	1.6b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 (.f64 alpha alpha) (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (*.f64 alpha 4)))))))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 13627 to 9449 computations (30.7% saved)

regimes2.0s (25.9%)

Accuracy

Total 0.1b remaining (79%)

Threshold costs 0.1b (79%)

Counts

354 → 1

Compiler

Compiled 41363 to 30494 computations (26.3% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

6×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	41
1	26	41
2	25	41

end547.0ms (7%)

Compiler: Compiled 297 to 208 computations (30% saved)

Details

analyze3.0ms (0%)

sample1.4s (17.3%)

simplify214.0ms (2.7%)

prune5.0ms (0.1%)

localize12.0ms (0.1%)

series264.0ms (3.4%)

rewrite92.0ms (1.2%)

simplify154.0ms (2%)

prune466.0ms (5.9%)

localize13.0ms (0.2%)

series269.0ms (3.4%)

rewrite85.0ms (1.1%)

simplify141.0ms (1.8%)

prune446.0ms (5.7%)

localize13.0ms (0.2%)

series234.0ms (3%)

rewrite90.0ms (1.1%)

simplify132.0ms (1.7%)

prune483.0ms (6.2%)

localize11.0ms (0.1%)

series194.0ms (2.5%)

rewrite84.0ms (1.1%)

simplify113.0ms (1.4%)

prune392.0ms (5%)

regimes2.0s (25.9%)

simplify4.0ms (0%)

end547.0ms (7%)

Profiling