Details

analyze3.1s (11.9%)

Algorithm

1×

Search

True	Other	False	Iter
0%	14%	86%	0
0%	14%	86%	1
0%	14%	86%	2
0%	14%	86%	3
0%	14%	86%	4
0%	14%	86%	5
0%	14%	86%	6
0%	14%	86%	7
0%	14%	86%	8
0%	14%	86%	9
0%	14%	86%	10
0%	14%	86%	11
0%	14%	86%	12
0.1%	14%	86%	13
0.2%	13.8%	86%	14

Compiler

Compiled 67 to 35 computations (47.8% saved)

sample1.7s (6.6%)

Symmetry

(sort alpha beta)

Results

1.7s

8256×

body

128

valid

Compiler

Compiled 123 to 62 computations (49.6% saved)

simplify42.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

705×	`associate-+l+_binary64`
492×	`associate-l_binary64`
422×	`associate-r_binary64`
369×	`times-frac_binary64`
336×	`associate-/l*_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	18	75
1	67	67
2	293	67
3	1612	67
4	4979	67
5	5035	67

prune4.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

54.6b

Counts

3 → 1

Alt Table

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

Status

Error

Program

▶

54.6b

(/.f64 (/.f64 (*.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))

Compiler

Compiled 203 to 89 computations (56.2% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))
✓	0.1b	(.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))
✓	36.5b	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))) (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
✓	46.4b	(/.f64 (.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))) (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))))

series3.1s (12%)

Counts

4 → 144

Calls

4 calls:

2.6s	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))) (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
261.0ms	(/.f64 (.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))) (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))))
245.0ms	(*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))
47.0ms	(.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))

rewrite238.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

61×	`add-cbrt-cube_binary64`
61×	`add-exp-log_binary64`
22×	`cbrt-unprod_binary64`
22×	`prod-exp_binary64`
21×	`add-sqr-sqrt_binary64`

Counts

4 → 132

Calls

4 calls:

195.0ms	(/.f64 (.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))) (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))))
10.0ms	(/.f64 (/.f64 (.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))) (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
7.0ms	(.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))
4.0ms	(*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))

simplify522.0ms (2%)

Algorithm

1×	egg-herbie

Rules

740×	`fma-def_binary64`
507×	`associate-/l*_binary64`
344×	`times-frac_binary64`
54×	`sqr-pow_binary64`
54×	`sub-neg_binary64`

Counts

276 → 296

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	2566	48816
1	5158	48816

prune1.2s (4.4%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	288	8	296
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	289	8	297

Error

9.8b

Counts

297 → 8

Alt Table

Status	Error	Program
	60.6b	(/.f64 (/.f64 (.f64 i (.f64 (pow.f64 alpha 2) (+.f64 beta i))) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
▶	17.1b	1/16
	39.7b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))))
	56.0b	(/.f64 (.f64 i (.f64 (+.f64 (.f64 i i) (.f64 beta i)) (+.f64 beta i))) (.f64 (pow.f64 (+.f64 beta (.f64 2 i)) 2) (-.f64 (+.f64 (.f64 beta beta) (.f64 4 (+.f64 (.f64 i i) (.f64 beta i)))) 1)))
	39.7b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
	39.7b	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))) (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))))
	44.9b	(/.f64 (-.f64 (fma.f64 1/4 (.f64 i alpha) (fma.f64 1/8 (.f64 beta alpha) (.f64 1/4 (+.f64 (.f64 i i) (.f64 beta i))))) (.f64 1/16 (+.f64 (.f64 alpha alpha) (.f64 beta beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
	54.1b	(/.f64 (*.f64 i (+.f64 i alpha)) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))

Compiler

Compiled 63473 to 36657 computations (42.2% saved)

localize0.0ms (0%)

prune12.0ms (0%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Kept	Total
New	0	0
Fresh	7	7
Picked	1	1
Done	0	0
Total	8	8

Error

9.8b

Counts

8 → 8

Alt Table

Status	Error	Program
	60.6b	(/.f64 (/.f64 (.f64 i (.f64 (pow.f64 alpha 2) (+.f64 beta i))) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
✓	17.1b	1/16
	39.7b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))))
	56.0b	(/.f64 (.f64 i (.f64 (+.f64 (.f64 i i) (.f64 beta i)) (+.f64 beta i))) (.f64 (pow.f64 (+.f64 beta (.f64 2 i)) 2) (-.f64 (+.f64 (.f64 beta beta) (.f64 4 (+.f64 (.f64 i i) (.f64 beta i)))) 1)))
▶	39.7b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
	39.7b	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))) (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))))
	44.9b	(/.f64 (-.f64 (fma.f64 1/4 (.f64 i alpha) (fma.f64 1/8 (.f64 beta alpha) (.f64 1/4 (+.f64 (.f64 i i) (.f64 beta i))))) (.f64 1/16 (+.f64 (.f64 alpha alpha) (.f64 beta beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
	54.1b	(/.f64 (*.f64 i (+.f64 i alpha)) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))

Compiler

Compiled 640 to 324 computations (49.4% saved)

localize17.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))
✓	3.3b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))
✓	36.5b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
✓	38.9b	(/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta)))

series3.1s (11.8%)

Counts

3 → 108

Calls

3 calls:

2.6s

(/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))

265.0ms

(/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))

254.0ms

(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))

rewrite51.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

92×	`times-frac_binary64`
58×	`add-cbrt-cube_binary64`
58×	`add-exp-log_binary64`
34×	`*-un-lft-identity_binary64`
34×	`add-sqr-sqrt_binary64`

Counts

3 → 143

Calls

3 calls:

10.0ms

(/.f64 (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))

8.0ms

(/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))

4.0ms

(/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))

simplify504.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

833×	`fma-def_binary64`
371×	`times-frac_binary64`
75×	`sub-neg_binary64`
65×	`sqr-pow_binary64`
60×	`associate-/l/_binary64`

Counts

251 → 318

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	3034	56371
1	5017	56371

prune1.3s (5%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	367	4	371
Fresh	2	4	6
Picked	1	0	1
Done	0	1	1
Total	370	9	379

Error

9.8b

Counts

379 → 9

Alt Table

Status	Error	Program
▶	39.7b	(/.f64 1 (/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))))
	39.7b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (cbrt.f64 (.f64 (.f64 (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta)))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
	60.6b	(/.f64 (/.f64 (.f64 i (.f64 (pow.f64 alpha 2) (+.f64 beta i))) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
✓	17.1b	1/16
	39.7b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))))
	56.0b	(/.f64 (.f64 i (.f64 (+.f64 (.f64 i i) (.f64 beta i)) (+.f64 beta i))) (.f64 (pow.f64 (+.f64 beta (.f64 2 i)) 2) (-.f64 (+.f64 (.f64 beta beta) (.f64 4 (+.f64 (.f64 i i) (.f64 beta i)))) 1)))
	39.7b	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))) (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))))
	41.6b	(/.f64 (.f64 1/4 (.f64 i i)) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
	40.1b	(.f64 (/.f64 (sqrt.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))))) (.f64 (cbrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)) (cbrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)))) (/.f64 (sqrt.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))))) (cbrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))))

Compiler

Compiled 75102 to 41752 computations (44.4% saved)

localize18.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))))
	3.3b	(/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))
✓	36.4b	(/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))))
	38.9b	(/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta)))

series4.9s (18.7%)

Counts

2 → 72

Calls

2 calls:

2.6s

(/.f64 1 (/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))))

2.3s

(/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))))

rewrite143.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

463×	`times-frac_binary64`
157×	`*-un-lft-identity_binary64`
157×	`add-sqr-sqrt_binary64`
157×	`add-cube-cbrt_binary64`
129×	`add-exp-log_binary64`

Counts

2 → 292

Calls

2 calls:

14.0ms

(/.f64 1 (/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))))

11.0ms

(/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (*.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))))

simplify839.0ms (3.2%)

Algorithm

1×	egg-herbie

Rules

1237×	`fma-def_binary64`
3×	`fma-udef_binary64`

Counts

364 → 403

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	4115	88155
1	5350	88155

prune2.4s (9.3%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	576	0	576
Fresh	0	7	7
Picked	0	1	1
Done	0	1	1
Total	576	9	585

Error

9.8b

Counts

585 → 9

Alt Table

Status	Error	Program
✓	39.7b	(/.f64 1 (/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta))))))
	39.7b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (cbrt.f64 (.f64 (.f64 (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta)))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)))))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
	60.6b	(/.f64 (/.f64 (.f64 i (.f64 (pow.f64 alpha 2) (+.f64 beta i))) (*.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
✓	17.1b	1/16
	39.7b	(/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (/.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1) (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)))))
	56.0b	(/.f64 (.f64 i (.f64 (+.f64 (.f64 i i) (.f64 beta i)) (+.f64 beta i))) (.f64 (pow.f64 (+.f64 beta (.f64 2 i)) 2) (-.f64 (+.f64 (.f64 beta beta) (.f64 4 (+.f64 (.f64 i i) (.f64 beta i)))) 1)))
	39.7b	(.f64 (/.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (fma.f64 i 2 (+.f64 alpha beta))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))) (/.f64 (/.f64 (fma.f64 i (+.f64 i (+.f64 alpha beta)) (*.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (sqrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))))
	41.6b	(/.f64 (.f64 1/4 (.f64 i i)) (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))
	40.1b	(.f64 (/.f64 (sqrt.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))))) (.f64 (cbrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)) (cbrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1)))) (/.f64 (sqrt.f64 (/.f64 (.f64 i (+.f64 i (+.f64 alpha beta))) (/.f64 (.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta))) (fma.f64 i (+.f64 i (+.f64 alpha beta)) (.f64 alpha beta))))) (cbrt.f64 (fma.f64 (fma.f64 i 2 (+.f64 alpha beta)) (fma.f64 i 2 (+.f64 alpha beta)) -1))))

Compiler

Compiled 127009 to 74136 computations (41.6% saved)

regimes2.5s (9.7%)

Accuracy

Total 2.3b remaining (19%)

Threshold costs 0b (0%)

Counts

288 → 4

Compiler

Compiled 74644 to 36445 computations (51.2% saved)

bsearch99.0ms (0.4%)

Steps

Iters	Range		Point
7	3.533334628983997e+141	7.050395113496707e+142	3.391401007706887e+142
4	1.7975614016195023e+141	3.533334628983997e+141	3.253322654507782e+141
6	2.496684890804946e+59	1.443301738581563e+60	1.2990510164044755e+60

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`+-commutative_binary64`
1×	`/-rgt-identity_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	43	235
1	51	235
2	50	235

end241.0ms (0.9%)

Remove: (sort alpha beta)
Compiler: Compiled 1164 to 541 computations (53.5% saved)

Details

analyze3.1s (11.9%)

sample1.7s (6.6%)

simplify42.0ms (0.2%)

prune4.0ms (0%)

localize18.0ms (0.1%)

series3.1s (12%)

rewrite238.0ms (0.9%)

simplify522.0ms (2%)

prune1.2s (4.4%)

localize0.0ms (0%)

prune12.0ms (0%)

localize17.0ms (0.1%)

series3.1s (11.8%)

rewrite51.0ms (0.2%)

simplify504.0ms (1.9%)

prune1.3s (5%)

localize18.0ms (0.1%)

series4.9s (18.7%)

rewrite143.0ms (0.5%)

simplify839.0ms (3.2%)

prune2.4s (9.3%)

regimes2.5s (9.7%)

bsearch99.0ms (0.4%)

simplify5.0ms (0%)

end241.0ms (0.9%)

Profiling