Details

analyze962.0ms (9.6%)

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
0%	56.2%	43.8%	3
0%	56.2%	43.8%	4
3.5%	52.7%	43.8%	5
7%	49.2%	43.8%	6
14%	42.1%	43.8%	7
20.6%	35.5%	43.8%	8
27.4%	28.7%	43.8%	9
29.3%	26.9%	43.8%	10
30.8%	25.4%	43.8%	11
32%	24.2%	43.8%	12
33.5%	22.7%	43.8%	13
34.5%	21.6%	43.8%	14

Compiler

Compiled 44 to 29 computations (34.1% saved)

sample1.4s (13.8%)

Symmetry

(sort alpha beta)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 81 to 53 computations (34.6% saved)

simplify212.0ms (2.1%)

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

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

1.5b

Counts

3 → 2

Alt Table

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

4.9b

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

▶

2.8b

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

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

series285.0ms (2.8%)

Counts

4 → 96

Calls

4 calls:

151.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)))
74.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
53.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))

rewrite81.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

77×	`*-un-lft-identity_binary64`
34×	`distribute-lft-out_binary64`
34×	`add-cbrt-cube_binary64`
34×	`add-exp-log_binary64`
24×	`flip-+_binary64`

Counts

4 → 166

Calls

4 calls:

20.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
20.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)))
15.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
11.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

simplify201.0ms (2%)

Algorithm

1×	egg-herbie

Rules

363×	`+-commutative_binary64`
342×	`distribute-rgt-in_binary64`
291×	`associate-+r+_binary64`
266×	`fma-def_binary64`
257×	`*-commutative_binary64`

Counts

262 → 350

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1061	15235
1	3719	14320
2	5141	14320

prune638.0ms (6.3%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	343	7	350
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	345	7	352

Error

0.0b

Counts

352 → 7

Alt Table

Status	Error	Program
▶	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	1.3b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (sqrt.f64 (+.f64 beta 1)) (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
	2.8b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 (.f64 alpha alpha) (+.f64 4 (+.f64 (.f64 beta beta) (.f64 alpha (+.f64 (*.f64 2 beta) 4)))))))) (+.f64 alpha (+.f64 beta 3)))
	6.2b	(/.f64 (.f64 (.f64 (+.f64 alpha 1) (+.f64 beta 1)) (/.f64 1 (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	0.1b	(/.f64 (*.f64 (/.f64 (+.f64 1 alpha) (+.f64 2 (+.f64 alpha beta))) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	0.5b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 beta 1)) (cbrt.f64 (+.f64 beta 1))) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (cbrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	2.8b	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 beta 3)) (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))))

Compiler

Compiled 21277 to 14424 computations (32.2% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series316.0ms (3.1%)

Counts

4 → 96

Calls

4 calls:

149.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
94.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2)))
51.0ms	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))
20.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))

rewrite165.0ms (1.6%)

Algorithm

1×	rewrite-expression-head

Rules

826×	`*-un-lft-identity_binary64`
508×	`times-frac_binary64`
374×	`distribute-lft-out_binary64`
191×	`add-sqr-sqrt_binary64`
182×	`add-cube-cbrt_binary64`

Counts

4 → 430

Calls

4 calls:

41.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2)))
26.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
19.0ms	(/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))
7.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))

simplify337.0ms (3.3%)

Algorithm

1×	egg-herbie

Rules

384×	`+-commutative_binary64`
304×	`associate-+r+_binary64`
291×	`*-commutative_binary64`
273×	`fma-def_binary64`
251×	`associate-*r/_binary64`

Counts

526 → 532

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1227	25024
1	4173	23877
2	4994	23877

prune890.0ms (8.8%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	529	3	532
Fresh	3	3	6
Picked	1	0	1
Done	0	0	0
Total	533	6	539

Error

Counts

539 → 6

Alt Table

Status	Error	Program
	1.3b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (sqrt.f64 (+.f64 beta 1)) (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
	2.8b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 (.f64 alpha alpha) (+.f64 4 (+.f64 (.f64 beta beta) (.f64 alpha (+.f64 (*.f64 2 beta) 4)))))))) (+.f64 alpha (+.f64 beta 3)))
	0.5b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 beta 1)) (cbrt.f64 (+.f64 beta 1))) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (cbrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	2.8b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (.f64 (+.f64 alpha (+.f64 beta 3)) (+.f64 (+.f64 alpha beta) 2)))
	0.3b	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2)))))
▶	0.1b	(/.f64 (/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 30161 to 20167 computations (33.1% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series246.0ms (2.4%)

Counts

3 → 72

Calls

3 calls:

145.0ms

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

70.0ms

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

30.0ms

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

rewrite76.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

172×	`*-un-lft-identity_binary64`
111×	`times-frac_binary64`
78×	`distribute-lft-out_binary64`
45×	`add-sqr-sqrt_binary64`
40×	`add-cube-cbrt_binary64`

Counts

3 → 182

Calls

3 calls:

21.0ms

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

17.0ms

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

16.0ms

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

simplify220.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

914×	`fma-def_binary64`
353×	`+-commutative_binary64`
282×	`associate-+r+_binary64`
221×	`*-commutative_binary64`
183×	`associate-*r/_binary64`

Counts

254 → 330

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1078	16402
1	3661	15689
2	5062	15689

prune708.0ms (7%)

Pruning

6 alts after pruning (5 fresh and 1 done)

	Pruned	Kept	Total
New	416	0	416
Fresh	0	5	5
Picked	0	1	1
Done	0	0	0
Total	416	6	422

Error

Counts

422 → 6

Alt Table

Status	Error	Program
	1.3b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (sqrt.f64 (+.f64 beta 1)) (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
	2.8b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 (.f64 alpha alpha) (+.f64 4 (+.f64 (.f64 beta beta) (.f64 alpha (+.f64 (*.f64 2 beta) 4)))))))) (+.f64 alpha (+.f64 beta 3)))
	0.5b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 beta 1)) (cbrt.f64 (+.f64 beta 1))) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (cbrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	2.8b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (.f64 (+.f64 alpha (+.f64 beta 3)) (+.f64 (+.f64 alpha beta) 2)))
▶	0.3b	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2)))))
✓	0.1b	(/.f64 (/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 24120 to 16181 computations (32.9% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series183.0ms (1.8%)

Counts

2 → 48

Calls

2 calls:

145.0ms

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

38.0ms

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

rewrite77.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`times-frac_binary64`
66×	`add-exp-log_binary64`
57×	`*-un-lft-identity_binary64`
38×	`div-exp_binary64`
36×	`add-cbrt-cube_binary64`

Counts

2 → 132

Calls

2 calls:

30.0ms

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

29.0ms

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

simplify247.0ms (2.4%)

Algorithm

1×	egg-herbie

Rules

892×	`times-frac_binary64`
752×	`fma-def_binary64`
236×	`+-commutative_binary64`
189×	`associate-+r+_binary64`
172×	`*-commutative_binary64`

Counts

180 → 236

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	777	12961
1	2718	12074
2	4947	12049
3	4951	12049

prune1.6s (16%)

Pruning

6 alts after pruning (4 fresh and 2 done)

	Pruned	Kept	Total
New	589	1	590
Fresh	1	3	4
Picked	0	1	1
Done	0	1	1
Total	590	6	596

Error

Counts

596 → 6

Alt Table

Status	Error	Program
	1.3b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (sqrt.f64 (+.f64 beta 1)) (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (sqrt.f64 (+.f64 1 beta)) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
	2.8b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (fma.f64 4 beta (+.f64 (.f64 alpha alpha) (+.f64 4 (+.f64 (.f64 beta beta) (.f64 alpha (+.f64 (*.f64 2 beta) 4)))))))) (+.f64 alpha (+.f64 beta 3)))
	0.5b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 beta 1)) (cbrt.f64 (+.f64 beta 1))) (+.f64 (+.f64 alpha beta) 2)) (/.f64 (cbrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
✓	0.3b	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2)))))
✓	0.1b	(/.f64 (/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2))) (+.f64 (+.f64 alpha beta) 2)) (+.f64 alpha (+.f64 beta 3)))
	0.3b	(/.f64 1 (.f64 (/.f64 (+.f64 alpha (+.f64 beta 3)) (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 (+.f64 alpha beta) 2)))

Compiler

Compiled 34055 to 23147 computations (32% saved)

regimes1.0s (10.3%)

Accuracy

Total 0.1b remaining (71.2%)

Threshold costs 0.1b (71.2%)

Counts

272 → 1

Compiler

Compiled 26621 to 18920 computations (28.9% saved)

simplify3.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	18	41
1	27	41
2	26	41

end128.0ms (1.3%)

Remove: (sort alpha beta)
Compiler: Compiled 308 to 213 computations (30.8% saved)

Details

analyze962.0ms (9.6%)

sample1.4s (13.8%)

simplify212.0ms (2.1%)

prune4.0ms (0%)

localize12.0ms (0.1%)

series285.0ms (2.8%)

rewrite81.0ms (0.8%)

simplify201.0ms (2%)

prune638.0ms (6.3%)

localize13.0ms (0.1%)

series316.0ms (3.1%)

rewrite165.0ms (1.6%)

simplify337.0ms (3.3%)

prune890.0ms (8.8%)

localize13.0ms (0.1%)

series246.0ms (2.4%)

rewrite76.0ms (0.8%)

simplify220.0ms (2.2%)

prune708.0ms (7%)

localize14.0ms (0.1%)

series183.0ms (1.8%)

rewrite77.0ms (0.8%)

simplify247.0ms (2.4%)

prune1.6s (16%)

regimes1.0s (10.3%)

simplify3.0ms (0%)

end128.0ms (1.3%)

Profiling