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 (18.3%)

Symmetry

(sort alpha beta)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 125 to 82 computations (34.4% saved)

simplify213.0ms (2.8%)

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

1.1b

Counts

3 → 2

Alt Table

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

Status

Error

Program

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

▶

1.9b

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

Compiler

Compiled 190 to 123 computations (35.3% saved)

localize13.0ms (0.2%)

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)))
✓	18.1b	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))

series161.0ms (2.2%)

Counts

4 → 96

Calls

4 calls:

78.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)))
43.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
33.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))

rewrite83.0ms (1.1%)

Algorithm

1×	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:

80.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))
80.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
80.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)))
80.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

simplify134.0ms (1.8%)

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

prune484.0ms (6.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	214	9	223
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	216	9	225

Error

0.0b

Counts

225 → 9

Alt Table

Status	Error	Program
	1.9b	(pow.f64 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))) -1)
	30.7b	(/.f64 (/.f64 (+.f64 1 alpha) beta) (+.f64 alpha (+.f64 beta 3)))
	5.2b	(/.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) 2) (+.f64 alpha (+.f64 beta 3)))
	31.7b	(/.f64 (.f64 (+.f64 alpha 1) (-.f64 (/.f64 1 beta) (fma.f64 2 (/.f64 alpha (.f64 beta beta)) (/.f64 3 (*.f64 beta beta))))) (+.f64 alpha (+.f64 beta 3)))
	2.0b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (.f64 alpha 4))))))) (+.f64 alpha (+.f64 beta 3)))
	11.2b	(cbrt.f64 (pow.f64 (/.f64 (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha)) (+.f64 alpha (+.f64 beta 3))) 3))
	1.9b	(/.f64 (*.f64 (+.f64 alpha 1) (pow.f64 (/.f64 (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2) (+.f64 beta 1)) -1)) (+.f64 alpha (+.f64 beta 3)))
▶	1.5b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	28.7b	(/.f64 (+.f64 1 alpha) (*.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 3 alpha)))

Compiler

Compiled 15497 to 11163 computations (28% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series176.0ms (2.4%)

Counts

4 → 96

Calls

4 calls:

81.0ms	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
44.0ms	(.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2)))
33.0ms	(*.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))
18.0ms	(pow.f64 (+.f64 (+.f64 beta alpha) 2) -2)

rewrite75.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

355×	`prod-diff_binary64`
201×	`add-sqr-sqrt_binary64`
197×	`log1p-expm1-u_binary64`
197×	`expm1-log1p-u_binary64`
192×	`add-log-exp_binary64`

Counts

4 → 81

Calls

4 calls:

72.0ms	(pow.f64 (+.f64 (+.f64 beta alpha) 2) -2)
72.0ms	(.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2)))
72.0ms	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
72.0ms	(*.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	79
1	406	79
2	4791	79
3	5467	79

simplify146.0ms (2%)

Algorithm

1×	egg-herbie

Rules

852×	`times-frac_binary64`
362×	`+-commutative_binary64`
291×	`associate-+r+_binary64`
279×	`fma-def_binary64`
227×	`*-commutative_binary64`

Counts

177 → 198

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	904	10388
1	3299	10388
2	5178	10388

prune931.0ms (12.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	197	1	198
Fresh	2	6	8
Picked	0	1	1
Done	0	0	0
Total	199	8	207

Error

0.0b

Counts

207 → 8

Alt Table

Status	Error	Program
▶	1.9b	(pow.f64 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))) -1)
	30.7b	(/.f64 (/.f64 (+.f64 1 alpha) beta) (+.f64 alpha (+.f64 beta 3)))
	5.2b	(/.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) 2) (+.f64 alpha (+.f64 beta 3)))
	31.7b	(/.f64 (.f64 (+.f64 alpha 1) (-.f64 (/.f64 1 beta) (fma.f64 2 (/.f64 alpha (.f64 beta beta)) (/.f64 3 (*.f64 beta beta))))) (+.f64 alpha (+.f64 beta 3)))
	2.0b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (.f64 alpha 4))))))) (+.f64 alpha (+.f64 beta 3)))
	10.7b	(.f64 (/.f64 (.f64 (+.f64 1 alpha) (+.f64 beta 1)) 1) (/.f64 (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2) (+.f64 alpha (+.f64 beta 3))))
✓	1.5b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	28.7b	(/.f64 (+.f64 1 alpha) (*.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 3 alpha)))

Compiler

Compiled 15024 to 11002 computations (26.8% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha)))
✓	0.1b	(*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))
✓	0.5b	(pow.f64 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))) -1)
✓	18.1b	(/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2))

series450.0ms (6%)

Counts

4 → 96

Calls

4 calls:

283.0ms	(pow.f64 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))) -1)
81.0ms	(*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))
52.0ms	(/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha)))
33.0ms	(/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2))

rewrite82.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

213×	`add-sqr-sqrt_binary64`
209×	`log1p-expm1-u_binary64`
209×	`expm1-log1p-u_binary64`
203×	`add-log-exp_binary64`
202×	`add-exp-log_binary64`

Counts

4 → 111

Calls

4 calls:

79.0ms	(/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha)))
79.0ms	(*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))
79.0ms	(pow.f64 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))) -1)
79.0ms	(/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	103
1	434	103
2	4791	103
3	4994	103

simplify202.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

597×	`+-commutative_binary64`
517×	`associate-+r+_binary64`
486×	`fma-def_binary64`
369×	`*-commutative_binary64`
296×	`associate-*r/_binary64`

Counts

207 → 235

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	1438	17416
1	5312	17416

prune752.0ms (10.1%)

Pruning

8 alts after pruning (6 fresh and 2 done)

	Pruned	Kept	Total
New	235	0	235
Fresh	0	6	6
Picked	0	1	1
Done	0	1	1
Total	235	8	243

Error

0.0b

Counts

243 → 8

Alt Table

Status	Error	Program
✓	1.9b	(pow.f64 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))) -1)
	30.7b	(/.f64 (/.f64 (+.f64 1 alpha) beta) (+.f64 alpha (+.f64 beta 3)))
	5.2b	(/.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) 2) (+.f64 alpha (+.f64 beta 3)))
	31.7b	(/.f64 (.f64 (+.f64 alpha 1) (-.f64 (/.f64 1 beta) (fma.f64 2 (/.f64 alpha (.f64 beta beta)) (/.f64 3 (*.f64 beta beta))))) (+.f64 alpha (+.f64 beta 3)))
▶	2.0b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (.f64 alpha 4))))))) (+.f64 alpha (+.f64 beta 3)))
	10.7b	(.f64 (/.f64 (.f64 (+.f64 1 alpha) (+.f64 beta 1)) 1) (/.f64 (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2) (+.f64 alpha (+.f64 beta 3))))
✓	1.5b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	28.7b	(/.f64 (+.f64 1 alpha) (*.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 3 alpha)))

Compiler

Compiled 25372 to 18989 computations (25.2% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series347.0ms (4.6%)

Counts

4 → 96

Calls

4 calls:

142.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (.f64 alpha 4))))))) (+.f64 alpha (+.f64 beta 3)))
109.0ms	(/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (*.f64 alpha 4))))))
86.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (.f64 alpha 4)))))))
9.0ms	(fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (*.f64 alpha 4)))))

rewrite77.0ms (1%)

Algorithm

1×	batch-egg-rewrite

Rules

433×	`log1p-udef_binary64`
240×	`add-sqr-sqrt_binary64`
237×	`log1p-expm1-u_binary64`
237×	`expm1-log1p-u_binary64`
231×	`add-log-exp_binary64`

Counts

4 → 71

Calls

4 calls:

75.0ms	(fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (*.f64 alpha 4)))))
75.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (.f64 alpha 4)))))))
75.0ms	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (.f64 alpha 4))))))) (+.f64 alpha (+.f64 beta 3)))
75.0ms	(/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (*.f64 alpha 4))))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	127
1	491	127
2	4777	127
3	5626	127

simplify315.0ms (4.2%)

Algorithm

1×	egg-herbie

Rules

534×	`+-commutative_binary64`
456×	`associate-+r+_binary64`
389×	`fma-def_binary64`
274×	`*-commutative_binary64`
230×	`associate-*r/_binary64`

Counts

167 → 182

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1215	15420
1	4240	15403
2	5000	15403
3	4941	15403

prune565.0ms (7.6%)

Pruning

8 alts after pruning (5 fresh and 3 done)

	Pruned	Kept	Total
New	182	0	182
Fresh	0	5	5
Picked	0	1	1
Done	0	2	2
Total	182	8	190

Error

0.0b

Counts

190 → 8

Alt Table

Status	Error	Program
✓	1.9b	(pow.f64 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha))) -1)
	30.7b	(/.f64 (/.f64 (+.f64 1 alpha) beta) (+.f64 alpha (+.f64 beta 3)))
	5.2b	(/.f64 (pow.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) 2) (+.f64 alpha (+.f64 beta 3)))
	31.7b	(/.f64 (.f64 (+.f64 alpha 1) (-.f64 (/.f64 1 beta) (fma.f64 2 (/.f64 alpha (.f64 beta beta)) (/.f64 3 (*.f64 beta beta))))) (+.f64 alpha (+.f64 beta 3)))
✓	2.0b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 4 (+.f64 (.f64 beta beta) (fma.f64 2 (.f64 alpha beta) (.f64 alpha 4))))))) (+.f64 alpha (+.f64 beta 3)))
	10.7b	(.f64 (/.f64 (.f64 (+.f64 1 alpha) (+.f64 beta 1)) 1) (/.f64 (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2) (+.f64 alpha (+.f64 beta 3))))
✓	1.5b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	28.7b	(/.f64 (+.f64 1 alpha) (*.f64 (pow.f64 (+.f64 2 alpha) 2) (+.f64 3 alpha)))

Compiler

Compiled 22574 to 16762 computations (25.7% saved)

regimes710.0ms (9.5%)

Accuracy

Total -0.5b remaining (-223.8%)

Threshold costs -0.5b (-223.8%)

Counts

158 → 1

Compiler

Compiled 19112 to 14483 computations (24.2% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	33
1	26	33
2	25	33

end141.0ms (1.9%)

Remove: (sort alpha beta)
Compiler: Compiled 282 to 207 computations (26.6% saved)

Details

analyze3.0ms (0%)

sample1.4s (18.3%)

simplify213.0ms (2.8%)

prune5.0ms (0.1%)

localize13.0ms (0.2%)

series161.0ms (2.2%)

rewrite83.0ms (1.1%)

simplify134.0ms (1.8%)

prune484.0ms (6.5%)

localize12.0ms (0.2%)

series176.0ms (2.4%)

rewrite75.0ms (1%)

simplify146.0ms (2%)

prune931.0ms (12.4%)

localize13.0ms (0.2%)

series450.0ms (6%)

rewrite82.0ms (1.1%)

simplify202.0ms (2.7%)

prune752.0ms (10.1%)

localize18.0ms (0.2%)

series347.0ms (4.6%)

rewrite77.0ms (1%)

simplify315.0ms (4.2%)

prune565.0ms (7.6%)

regimes710.0ms (9.5%)

simplify2.0ms (0%)

end141.0ms (1.9%)

Profiling