Details

analyze2.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	56.2%	43.8%	0
0%	56.2%	43.8%	1
28.1%	28.1%	43.8%	2
56.2%	0%	43.8%	3

Compiler

Compiled 22 to 16 computations (27.3% saved)

sample2.2s (30.6%)

Results

1.1s	6206×	body	128	valid
424.0ms	1036×	body	1024	valid
244.0ms	605×	body	512	valid
68.0ms	319×	body	256	valid
47.0ms	90×	body	2048	valid

Compiler

Compiled 59 to 43 computations (27.1% saved)

simplify221.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

890×	`sub-neg_binary64`
434×	`cancel-sign-sub-inv_binary64`
422×	`associate-/l*_binary64`
388×	`distribute-rgt-neg-in_binary64`
379×	`neg-mul-1_binary64`

Counts

1 → 2

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	11	19
1	23	19
2	39	19
3	64	19
4	108	19
5	215	17
6	353	17
7	603	17
8	1141	17
9	2484	17
10	3195	17
11	3981	17
12	4235	17
13	4399	17
14	4503	17
15	4531	17
16	4533	17
17	4768	17
18	4708	17
19	4930	17
20	4826	17

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

13.9b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	13.9b	(fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2)) -1/2 1/2)

Compiler

Compiled 55 to 39 computations (29.1% saved)

localize7.0ms (0.1%)

Local error

Found 2 expressions with local error:

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

series175.0ms (2.5%)

Counts

2 → 48

Calls

2 calls:

154.0ms	(fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2)) -1/2 1/2)
21.0ms	(/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2))

rewrite126.0ms (1.8%)

Algorithm

2×	egg-rewrite

Rules

72×	`egg`
33×	`egg`

Counts

2 → 105

Calls

2 calls:

63.0ms	(fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2)) -1/2 1/2)
60.0ms	(/.f64 (-.f64 alpha beta) (+.f64 (+.f64 beta alpha) 2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	17
1	261	17
2	3563	17
3	4908	17
0	8	13
1	199	13
2	3002	13
3	5023	13

simplify101.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

935×	`times-frac_binary64`
498×	`cancel-sign-sub-inv_binary64`
367×	`sub-neg_binary64`
205×	`+-commutative_binary64`
189×	`associate-+r+_binary64`

Counts

153 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	221	2358
1	749	2323
2	2913	2279
3	5252	2279

prune249.0ms (3.5%)

Pruning

4 alts after pruning (4 fresh and 0 done)

	Pruned	Kept	Total
New	153	4	157
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	154	4	158

Error

0.0b

Counts

158 → 4

Alt Table

Status	Error	Program
	13.9b	(log.f64 (exp.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))
	50.1b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 7 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (+.f64 (/.f64 8 (pow.f64 alpha 4)) (+.f64 (/.f64 (pow.f64 beta 4) (pow.f64 alpha 4)) (fma.f64 18 (/.f64 (.f64 beta beta) (pow.f64 alpha 4)) (fma.f64 20 (/.f64 beta (pow.f64 alpha 4)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))))))
	47.9b	(/.f64 (+.f64 beta 1) alpha)
▶	13.9b	(exp.f64 (log.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))

Compiler

Compiled 4712 to 2945 computations (37.5% saved)

localize11.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series456.0ms (6.5%)

Counts

4 → 96

Calls

4 calls:

243.0ms	(log.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2))
112.0ms	(fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)
77.0ms	(exp.f64 (log.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))
24.0ms	(/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2))

rewrite353.0ms (5%)

Algorithm

4×	egg-rewrite

Rules

252×	`egg`
26×	`egg`
23×	`egg`
20×	`egg`

Counts

4 → 321

Calls

4 calls:

123.0ms	(/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2))
79.0ms	(exp.f64 (log.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))
69.0ms	(log.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2))
67.0ms	(fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	19
1	274	19
2	3639	19
3	5349	19
0	11	17
1	258	17
2	3468	17
3	5179	17
0	13	17
1	274	17
2	3639	17
3	5349	17
0	8	13
1	196	13
2	2907	13
3	5014	13

simplify144.0ms (2%)

Algorithm

1×	egg-herbie

Rules

616×	`times-frac_binary64`
615×	`associate-/r*_binary64`
614×	`fma-def_binary64`
396×	`associate-/l*_binary64`
211×	`+-commutative_binary64`

Counts

417 → 391

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	581	7838
1	2089	7682
2	5645	7682

prune694.0ms (9.8%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	390	1	391
Fresh	0	3	3
Picked	0	1	1
Done	0	0	0
Total	390	5	395

Error

0.0b

Counts

395 → 5

Alt Table

Status	Error	Program
▶	13.9b	(log.f64 (exp.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))
	50.1b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 7 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (+.f64 (/.f64 8 (pow.f64 alpha 4)) (+.f64 (/.f64 (pow.f64 beta 4) (pow.f64 alpha 4)) (fma.f64 18 (/.f64 (.f64 beta beta) (pow.f64 alpha 4)) (fma.f64 20 (/.f64 beta (pow.f64 alpha 4)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))))))
	47.9b	(/.f64 (+.f64 beta 1) alpha)
	51.4b	(exp.f64 (-.f64 (fma.f64 25 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (+.f64 (fma.f64 38 (/.f64 (.f64 beta beta) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (/.f64 (pow.f64 beta 5) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2)))) (fma.f64 8 (/.f64 beta (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (fma.f64 28 (/.f64 beta (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 8 (/.f64 (pow.f64 beta 4) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (-.f64 (+.f64 (/.f64 (pow.f64 beta 3) (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (+.f64 (/.f64 4 (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (fma.f64 5 (/.f64 (.f64 beta beta) (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (+.f64 (log1p.f64 beta) (/.f64 8 (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))))))) (log.f64 alpha))))))) (fma.f64 3 (/.f64 (pow.f64 beta 3) (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 13/2 (/.f64 (.f64 beta beta) (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 11 (/.f64 (pow.f64 beta 4) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (+.f64 (/.f64 2 (.f64 alpha (+.f64 beta 1))) (fma.f64 6 (/.f64 beta (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (+.f64 (/.f64 8/3 (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (+.f64 (/.f64 (pow.f64 beta 4) (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (fma.f64 21 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 1/2 (/.f64 (pow.f64 beta 4) (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 1/3 (/.f64 (pow.f64 beta 6) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 7 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (+.f64 (/.f64 8 (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (+.f64 (/.f64 (.f64 beta beta) (.f64 alpha (+.f64 beta 1))) (fma.f64 3 (/.f64 beta (.f64 alpha (+.f64 beta 1))) (fma.f64 20 (/.f64 beta (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (fma.f64 22 (/.f64 (.f64 beta beta) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 3 (/.f64 (pow.f64 beta 5) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 12 (/.f64 beta (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 18 (/.f64 (.f64 beta beta) (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (/.f64 2 (.f64 (*.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))))))))))))))))))))))))
✓	13.9b	(exp.f64 (log.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))

Compiler

Compiled 25823 to 16511 computations (36.1% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series114.0ms (1.6%)

Counts

2 → 48

Calls

2 calls:

77.0ms	(exp.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2))
37.0ms	(log.f64 (exp.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))

rewrite244.0ms (3.5%)

Algorithm

2×	egg-rewrite

Rules

27×	`egg`
20×	`egg`

Counts

2 → 47

Calls

2 calls:

175.0ms	(log.f64 (exp.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))
68.0ms	(exp.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	17
1	274	17
2	3639	17
3	5349	17
0	12	19
1	274	19
2	3639	19
3	5349	19

simplify137.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

360×	`sub-neg_binary64`
288×	`times-frac_binary64`
252×	`fma-def_binary64`
247×	`+-commutative_binary64`
244×	`associate-+r+_binary64`

Counts

95 → 102

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	327	3258
1	1048	3199
2	4469	3157
3	5036	3157

prune909.0ms (12.9%)

Pruning

5 alts after pruning (3 fresh and 2 done)

	Pruned	Kept	Total
New	431	0	431
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	431	5	436

Error

0.0b

Counts

436 → 5

Alt Table

Status	Error	Program
✓	13.9b	(log.f64 (exp.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))
	50.1b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 7 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (+.f64 (/.f64 8 (pow.f64 alpha 4)) (+.f64 (/.f64 (pow.f64 beta 4) (pow.f64 alpha 4)) (fma.f64 18 (/.f64 (.f64 beta beta) (pow.f64 alpha 4)) (fma.f64 20 (/.f64 beta (pow.f64 alpha 4)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))))))
▶	47.9b	(/.f64 (+.f64 beta 1) alpha)
	51.4b	(exp.f64 (-.f64 (fma.f64 25 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (+.f64 (fma.f64 38 (/.f64 (.f64 beta beta) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (/.f64 (pow.f64 beta 5) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2)))) (fma.f64 8 (/.f64 beta (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (fma.f64 28 (/.f64 beta (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 8 (/.f64 (pow.f64 beta 4) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (-.f64 (+.f64 (/.f64 (pow.f64 beta 3) (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (+.f64 (/.f64 4 (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (fma.f64 5 (/.f64 (.f64 beta beta) (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (+.f64 (log1p.f64 beta) (/.f64 8 (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))))))) (log.f64 alpha))))))) (fma.f64 3 (/.f64 (pow.f64 beta 3) (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 13/2 (/.f64 (.f64 beta beta) (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 11 (/.f64 (pow.f64 beta 4) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (+.f64 (/.f64 2 (.f64 alpha (+.f64 beta 1))) (fma.f64 6 (/.f64 beta (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (+.f64 (/.f64 8/3 (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (+.f64 (/.f64 (pow.f64 beta 4) (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (fma.f64 21 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 1/2 (/.f64 (pow.f64 beta 4) (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 1/3 (/.f64 (pow.f64 beta 6) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 7 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (+.f64 (/.f64 8 (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (+.f64 (/.f64 (.f64 beta beta) (.f64 alpha (+.f64 beta 1))) (fma.f64 3 (/.f64 beta (.f64 alpha (+.f64 beta 1))) (fma.f64 20 (/.f64 beta (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (fma.f64 22 (/.f64 (.f64 beta beta) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 3 (/.f64 (pow.f64 beta 5) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 12 (/.f64 beta (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 18 (/.f64 (.f64 beta beta) (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (/.f64 2 (.f64 (*.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))))))))))))))))))))))))
✓	13.9b	(exp.f64 (log.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))

Compiler

Compiled 24229 to 15161 computations (37.4% saved)

localize3.0ms (0%)

Local error

Found 1 expressions with local error:

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

series6.0ms (0.1%)

Counts

1 → 12

Calls

1 calls:

6.0ms

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

rewrite53.0ms (0.7%)

Algorithm

1×	egg-rewrite

Rules

52× egg

Counts

1 → 52

Calls

1 calls:

52.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	6	7
1	128	7
2	1621	7
3	5298	7

simplify9.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Counts

64 → 55

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	102
1	10	102
2	9	102

prune48.0ms (0.7%)

Pruning

5 alts after pruning (2 fresh and 3 done)

	Pruned	Kept	Total
New	55	0	55
Fresh	0	2	2
Picked	0	1	1
Done	0	2	2
Total	55	5	60

Error

0.0b

Counts

60 → 5

Alt Table

Status	Error	Program
✓	13.9b	(log.f64 (exp.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))
	50.1b	(-.f64 (+.f64 (pow.f64 (/.f64 beta alpha) 3) (+.f64 (/.f64 1 alpha) (+.f64 (/.f64 4 (pow.f64 alpha 3)) (+.f64 (/.f64 beta alpha) (fma.f64 8 (/.f64 beta (pow.f64 alpha 3)) (.f64 5 (/.f64 (.f64 beta beta) (pow.f64 alpha 3)))))))) (+.f64 (/.f64 2 (.f64 alpha alpha)) (fma.f64 7 (/.f64 (pow.f64 beta 3) (pow.f64 alpha 4)) (+.f64 (/.f64 8 (pow.f64 alpha 4)) (+.f64 (/.f64 (pow.f64 beta 4) (pow.f64 alpha 4)) (fma.f64 18 (/.f64 (.f64 beta beta) (pow.f64 alpha 4)) (fma.f64 20 (/.f64 beta (pow.f64 alpha 4)) (fma.f64 3 (/.f64 beta (.f64 alpha alpha)) (.f64 (/.f64 beta alpha) (/.f64 beta alpha))))))))))
✓	47.9b	(/.f64 (+.f64 beta 1) alpha)
	51.4b	(exp.f64 (-.f64 (fma.f64 25 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (+.f64 (fma.f64 38 (/.f64 (.f64 beta beta) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (/.f64 (pow.f64 beta 5) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2)))) (fma.f64 8 (/.f64 beta (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (fma.f64 28 (/.f64 beta (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 8 (/.f64 (pow.f64 beta 4) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))) (-.f64 (+.f64 (/.f64 (pow.f64 beta 3) (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (+.f64 (/.f64 4 (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (fma.f64 5 (/.f64 (.f64 beta beta) (.f64 (.f64 alpha alpha) (+.f64 beta 1))) (+.f64 (log1p.f64 beta) (/.f64 8 (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 2))))))) (log.f64 alpha))))))) (fma.f64 3 (/.f64 (pow.f64 beta 3) (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 13/2 (/.f64 (.f64 beta beta) (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 11 (/.f64 (pow.f64 beta 4) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (+.f64 (/.f64 2 (.f64 alpha (+.f64 beta 1))) (fma.f64 6 (/.f64 beta (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (+.f64 (/.f64 8/3 (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (+.f64 (/.f64 (pow.f64 beta 4) (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (fma.f64 21 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 1/2 (/.f64 (pow.f64 beta 4) (.f64 (.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))) (fma.f64 1/3 (/.f64 (pow.f64 beta 6) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 7 (/.f64 (pow.f64 beta 3) (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (+.f64 (/.f64 8 (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (+.f64 (/.f64 (.f64 beta beta) (.f64 alpha (+.f64 beta 1))) (fma.f64 3 (/.f64 beta (.f64 alpha (+.f64 beta 1))) (fma.f64 20 (/.f64 beta (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (fma.f64 22 (/.f64 (.f64 beta beta) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 3 (/.f64 (pow.f64 beta 5) (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 12 (/.f64 beta (.f64 (pow.f64 alpha 3) (pow.f64 (+.f64 beta 1) 3))) (fma.f64 18 (/.f64 (.f64 beta beta) (.f64 (pow.f64 alpha 3) (+.f64 beta 1))) (/.f64 2 (.f64 (*.f64 alpha alpha) (pow.f64 (+.f64 beta 1) 2))))))))))))))))))))))))
✓	13.9b	(exp.f64 (log.f64 (fma.f64 (/.f64 (-.f64 alpha beta) (+.f64 (+.f64 alpha beta) 2)) -1/2 1/2)))

Compiler

Compiled 1103 to 767 computations (30.5% saved)

regimes488.0ms (6.9%)

Accuracy

Total 0.0b remaining (38.5%)

Threshold costs 0.0b (38.5%)

Counts

51 → 2

Compiler

Compiled 9015 to 6776 computations (24.8% saved)

bsearch3.0ms (0%)

Compiler: Compiled 11 to 7 computations (36.4% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

12×	`+-commutative_binary64`
8×	`sub-neg_binary64`
5×	`*-commutative_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	80
1	43	80
2	57	80
3	72	80
4	79	80
5	81	80
6	79	80

end318.0ms (4.5%)

Compiler: Compiled 643 to 436 computations (32.2% saved)

Details

analyze2.0ms (0%)

sample2.2s (30.6%)

simplify221.0ms (3.1%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series175.0ms (2.5%)

rewrite126.0ms (1.8%)

simplify101.0ms (1.4%)

prune249.0ms (3.5%)

localize11.0ms (0.2%)

series456.0ms (6.5%)

rewrite353.0ms (5%)

simplify144.0ms (2%)

prune694.0ms (9.8%)

localize15.0ms (0.2%)

series114.0ms (1.6%)

rewrite244.0ms (3.5%)

simplify137.0ms (1.9%)

prune909.0ms (12.9%)

localize3.0ms (0%)

series6.0ms (0.1%)

rewrite53.0ms (0.7%)

simplify9.0ms (0.1%)

prune48.0ms (0.7%)

regimes488.0ms (6.9%)

bsearch3.0ms (0%)

simplify6.0ms (0.1%)

end318.0ms (4.5%)

Profiling