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

Symmetry

(sort alpha beta)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 125 to 82 computations (34.4% saved)

simplify223.0ms (1.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%)

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
▶	1.7b	(/.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)))
	3.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.7b

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

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

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

series292.0ms (2.2%)

Counts

4 → 96

Calls

4 calls:

154.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)))
72.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
57.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
9.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

rewrite79.0ms (0.6%)

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 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
19.0ms	(.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))))
14.0ms	(/.f64 (+.f64 beta 1) (*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2)))
12.0ms	(*.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))

simplify216.0ms (1.6%)

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

prune665.0ms (5%)

Pruning

5 alts after pruning (5 fresh and 0 done)

	Pruned	Kept	Total
New	345	5	350
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	347	5	352

Error

0.0b

Counts

352 → 5

Alt Table

Status	Error	Program
▶	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
	0.2b	(/.f64 (.f64 (.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	1.6b	(/.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))))))
	2.4b	(.f64 (/.f64 (+.f64 alpha 1) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	10.2b	(cbrt.f64 (/.f64 (pow.f64 (.f64 (+.f64 1 alpha) (/.f64 (+.f64 1 beta) (.f64 (+.f64 2 (+.f64 alpha beta)) (+.f64 2 (+.f64 alpha beta))))) 3) (pow.f64 (+.f64 alpha (+.f64 beta 3)) 3)))

Compiler

Compiled 21167 to 14352 computations (32.2% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series322.0ms (2.4%)

Counts

4 → 96

Calls

4 calls:

173.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
76.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))
53.0ms	(/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))
18.0ms	(/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))

rewrite1.1s (7.9%)

Algorithm

1×	rewrite-expression-head

Rules

3195×	`*-un-lft-identity_binary64`
2687×	`times-frac_binary64`
1331×	`distribute-lft-out_binary64`
928×	`add-sqr-sqrt_binary64`
905×	`add-cube-cbrt_binary64`

Counts

4 → 1249

Calls

4 calls:

297.0ms	(*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))
279.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
69.0ms	(/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))
17.0ms	(/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))

simplify851.0ms (6.3%)

Algorithm

1×	egg-herbie

Rules

389×	`+-commutative_binary64`
308×	`associate-+r+_binary64`
290×	`*-commutative_binary64`
278×	`fma-def_binary64`
249×	`associate-*r/_binary64`

Counts

1345 → 1025

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1329	53914
1	4289	52367
2	5098	52367

prune1.8s (13.6%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	1023	2	1025
Fresh	2	2	4
Picked	0	1	1
Done	0	0	0
Total	1025	5	1030

Error

Counts

1030 → 5

Alt Table

Status	Error	Program
✓	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
▶	0.2b	(/.f64 (.f64 (.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	10.2b	(cbrt.f64 (/.f64 (pow.f64 (/.f64 (+.f64 1 alpha) (/.f64 (+.f64 2 (+.f64 beta alpha)) (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))))) 3) (pow.f64 (+.f64 (+.f64 beta 3) alpha) 3)))
	2.4b	(.f64 (/.f64 (+.f64 alpha 1) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	0.3b	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))))

Compiler

Compiled 55257 to 37064 computations (32.9% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series507.0ms (3.8%)

Counts

4 → 72

Calls

4 calls:

225.0ms	(*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))
159.0ms	(/.f64 (.f64 (.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
75.0ms	(.f64 (.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))))
48.0ms	(/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))

rewrite150.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

155×	`*-un-lft-identity_binary64`
102×	`sqrt-div_binary64`
100×	`frac-times_binary64`
94×	`add-cbrt-cube_binary64`
94×	`add-exp-log_binary64`

Counts

4 → 300

Calls

4 calls:

36.0ms	(/.f64 (.f64 (.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
29.0ms	(.f64 (.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))))
20.0ms	(*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))
8.0ms	(/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))

simplify300.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

326×	`+-commutative_binary64`
326×	`*-commutative_binary64`
303×	`distribute-rgt-in_binary64`
258×	`associate-+r+_binary64`
247×	`fma-def_binary64`

Counts

372 → 495

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	1184	20850
1	3917	18947
2	5438	18947

prune1.5s (11.2%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	691	0	691
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	691	5	696

Error

Counts

696 → 5

Alt Table

Status	Error	Program
✓	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
✓	0.2b	(/.f64 (.f64 (.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	10.2b	(cbrt.f64 (/.f64 (pow.f64 (/.f64 (+.f64 1 alpha) (/.f64 (+.f64 2 (+.f64 beta alpha)) (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))))) 3) (pow.f64 (+.f64 (+.f64 beta 3) alpha) 3)))
	2.4b	(.f64 (/.f64 (+.f64 alpha 1) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
▶	0.3b	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))))

Compiler

Compiled 43186 to 30502 computations (29.4% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series232.0ms (1.7%)

Counts

2 → 48

Calls

2 calls:

181.0ms

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

51.0ms

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

rewrite132.0ms (1%)

Algorithm

1×	rewrite-expression-head

Rules

193×	`add-exp-log_binary64`
128×	`div-exp_binary64`
70×	`times-frac_binary64`
58×	`*-un-lft-identity_binary64`
49×	`add-cbrt-cube_binary64`

Counts

2 → 167

Calls

2 calls:

50.0ms

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

48.0ms

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

simplify233.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

810×	`associate-/l*_binary64`
747×	`fma-def_binary64`
247×	`associate-/r/_binary64`
238×	`+-commutative_binary64`
190×	`associate-+r+_binary64`

Counts

215 → 281

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	810	14474
1	2741	13315
2	5888	13315

prune1.9s (13.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	1028	0	1028
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	1028	5	1033

Error

Counts

1033 → 5

Alt Table

Status	Error	Program
✓	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta)))))) (+.f64 alpha (+.f64 beta 3)))
✓	0.2b	(/.f64 (.f64 (.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2))) (*.f64 (sqrt.f64 (+.f64 alpha 1)) (/.f64 (sqrt.f64 (+.f64 beta 1)) (+.f64 (+.f64 alpha beta) 2)))) (+.f64 alpha (+.f64 beta 3)))
	10.2b	(cbrt.f64 (/.f64 (pow.f64 (/.f64 (+.f64 1 alpha) (/.f64 (+.f64 2 (+.f64 beta alpha)) (/.f64 (+.f64 beta 1) (+.f64 2 (+.f64 beta alpha))))) 3) (pow.f64 (+.f64 (+.f64 beta 3) alpha) 3)))
	2.4b	(.f64 (/.f64 (+.f64 alpha 1) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))) (/.f64 (/.f64 (+.f64 beta 1) (.f64 (+.f64 (+.f64 alpha beta) 2) (+.f64 (+.f64 alpha beta) 2))) (sqrt.f64 (+.f64 alpha (+.f64 beta 3)))))
✓	0.3b	(/.f64 1 (/.f64 (+.f64 alpha (+.f64 beta 3)) (*.f64 (+.f64 alpha 1) (/.f64 1 (/.f64 (+.f64 2 (+.f64 alpha beta)) (/.f64 (+.f64 1 beta) (+.f64 2 (+.f64 alpha beta))))))))

Compiler

Compiled 57432 to 39402 computations (31.4% saved)

regimes1.3s (9.6%)

Accuracy

Total 0.1b remaining (63.9%)

Threshold costs 0.1b (63.9%)

Counts

333 → 1

Compiler

Compiled 32942 to 23498 computations (28.7% saved)

simplify3.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	20	43
1	27	43
2	26	43

end262.0ms (1.9%)

Compiler: Compiled 290 to 205 computations (29.3% saved)

Details

analyze3.0ms (0%)

sample1.4s (10.2%)

simplify223.0ms (1.7%)

prune5.0ms (0%)

localize13.0ms (0.1%)

series292.0ms (2.2%)

rewrite79.0ms (0.6%)

simplify216.0ms (1.6%)

prune665.0ms (5%)

localize14.0ms (0.1%)

series322.0ms (2.4%)

rewrite1.1s (7.9%)

simplify851.0ms (6.3%)

prune1.8s (13.6%)

localize15.0ms (0.1%)

series507.0ms (3.8%)

rewrite150.0ms (1.1%)

simplify300.0ms (2.2%)

prune1.5s (11.2%)

localize16.0ms (0.1%)

series232.0ms (1.7%)

rewrite132.0ms (1%)

simplify233.0ms (1.7%)

prune1.9s (13.9%)

regimes1.3s (9.6%)

simplify3.0ms (0%)

end262.0ms (1.9%)

Profiling