Details

analyze6.0ms (0.1%)

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

Symmetry

(sort alpha beta)

Results

1.2s

8256×

body

128

valid

Compiler

Compiled 125 to 82 computations (34.4% saved)

simplify214.0ms (3%)

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.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.4b

Counts

3 → 2

Alt Table

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

4.4b

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

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

series275.0ms (3.9%)

Counts

4 → 96

Calls

4 calls:

145.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))))
50.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))

rewrite79.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

116× egg-rr

Counts

4 → 116

Calls

2 calls:

76.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	79
1	394	79
2	4840	79
3	5273	79
0	0	0
1	0	0

simplify134.0ms (1.9%)

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

prune435.0ms (6.1%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	216	7	223
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	218	7	225

Error

0.0b

Counts

225 → 7

Alt Table

Status	Error	Program
	26.4b	(/.f64 (.f64 (+.f64 alpha 1) (/.f64 (+.f64 beta 1) (/.f64 (.f64 (-.f64 (pow.f64 (+.f64 beta alpha) 2) 4) (-.f64 (pow.f64 (+.f64 beta alpha) 2) 4)) (*.f64 (-.f64 (+.f64 beta alpha) 2) (-.f64 (+.f64 beta alpha) 2))))) (+.f64 alpha (+.f64 beta 3)))
	5.1b	(.f64 (/.f64 (/.f64 (sqrt.f64 (.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	7.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha)) 3)) (+.f64 alpha (+.f64 beta 3)))
	2.5b	(*.f64 (/.f64 (+.f64 1 alpha) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	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)
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
▶	0.1b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 15525 to 11179 computations (28% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series287.0ms (4%)

Counts

4 → 96

Calls

4 calls:

140.0ms	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))) (+.f64 alpha (+.f64 beta 3)))
75.0ms	(.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2))))
50.0ms	(*.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2)))
21.0ms	(/.f64 (+.f64 beta 1) (+.f64 (+.f64 beta alpha) 2))

rewrite92.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

128× egg-rr

Counts

4 → 128

Calls

2 calls:

87.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	100
1	415	82
2	4949	82
3	5268	82
0	0	0
1	0	0

simplify137.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

862×	`times-frac_binary64`
373×	`+-commutative_binary64`
303×	`associate-+r+_binary64`
270×	`fma-def_binary64`
219×	`*-commutative_binary64`

Counts

224 → 237

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	912	10607
1	3319	10607
2	4980	10607

prune525.0ms (7.4%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	235	2	237
Fresh	1	5	6
Picked	1	0	1
Done	0	0	0
Total	237	7	244

Error

Counts

244 → 7

Alt Table

Status	Error	Program
	7.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha)) 3)) (+.f64 alpha (+.f64 beta 3)))
	2.5b	(*.f64 (/.f64 (+.f64 1 alpha) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	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)
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	5.1b	(.f64 (/.f64 (/.f64 (sqrt.f64 (.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
▶	0.1b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (log.f64 (exp.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 16820 to 12063 computations (28.3% saved)

localize21.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series317.0ms (4.5%)

Counts

4 → 96

Calls

4 calls:

171.0ms	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (log.f64 (exp.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))))) (+.f64 alpha (+.f64 beta 3)))
72.0ms	(.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (log.f64 (exp.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))))))
52.0ms	(*.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (log.f64 (exp.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))))
22.0ms	(log.f64 (exp.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))))

rewrite94.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

129× egg-rr

Counts

4 → 129

Calls

2 calls:

91.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	100
1	444	82
2	4995	82
3	5107	82
0	0	0
1	0	0

simplify185.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

862×	`times-frac_binary64`
373×	`+-commutative_binary64`
303×	`associate-+r+_binary64`
270×	`fma-def_binary64`
219×	`*-commutative_binary64`

Counts

225 → 238

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	912	10607
1	3319	10607
2	4980	10607

prune461.0ms (6.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	238	0	238
Fresh	0	6	6
Picked	0	1	1
Done	0	0	0
Total	238	7	245

Error

Counts

245 → 7

Alt Table

Status	Error	Program
	7.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha)) 3)) (+.f64 alpha (+.f64 beta 3)))
	2.5b	(*.f64 (/.f64 (+.f64 1 alpha) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
▶	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	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)
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	5.1b	(.f64 (/.f64 (/.f64 (sqrt.f64 (.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
✓	0.1b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (log.f64 (exp.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 16896 to 12115 computations (28.3% saved)

localize12.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series382.0ms (5.4%)

Counts

4 → 96

Calls

4 calls:

173.0ms	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
136.0ms	(*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2)))
51.0ms	(/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))
21.0ms	(/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2))

rewrite96.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

123× egg-rr

Counts

4 → 123

Calls

2 calls:

93.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	16	100
1	391	82
2	4875	82
3	5321	82
0	0	0
1	0	0

simplify563.0ms (7.9%)

Algorithm

1×	egg-herbie

Rules

862×	`times-frac_binary64`
373×	`+-commutative_binary64`
303×	`associate-+r+_binary64`
270×	`fma-def_binary64`
219×	`*-commutative_binary64`

Counts

219 → 232

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	912	10607
1	3319	10607
2	4980	10607

prune472.0ms (6.7%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	232	0	232
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	232	7	239

Error

Counts

239 → 7

Alt Table

Status	Error	Program
	7.9b	(/.f64 (cbrt.f64 (pow.f64 (*.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (+.f64 1 alpha)) 3)) (+.f64 alpha (+.f64 beta 3)))
	2.5b	(*.f64 (/.f64 (+.f64 1 alpha) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
✓	0.1b	(/.f64 (*.f64 (+.f64 alpha 1) (/.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)) (+.f64 (+.f64 alpha beta) 2))) (+.f64 alpha (+.f64 beta 3)))
	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)
	1.4b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (+.f64 beta 1) (pow.f64 (+.f64 (+.f64 beta alpha) 2) -2))) (+.f64 alpha (+.f64 beta 3)))
	5.1b	(.f64 (/.f64 (/.f64 (sqrt.f64 (.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) (pow.f64 (cbrt.f64 (+.f64 alpha (+.f64 beta 3))) 2)) (/.f64 (/.f64 (sqrt.f64 (*.f64 (+.f64 1 alpha) (+.f64 beta 1))) (+.f64 (+.f64 beta alpha) 2)) (cbrt.f64 (+.f64 alpha (+.f64 beta 3)))))
✓	0.1b	(/.f64 (.f64 (+.f64 alpha 1) (.f64 (/.f64 1 (+.f64 (+.f64 beta alpha) 2)) (log.f64 (exp.f64 (/.f64 (+.f64 1 beta) (+.f64 (+.f64 alpha beta) 2)))))) (+.f64 alpha (+.f64 beta 3)))

Compiler

Compiled 16474 to 11784 computations (28.5% saved)

regimes588.0ms (8.3%)

Accuracy

Total 0.1b remaining (70.8%)

Threshold costs 0.1b (70.8%)

Counts

122 → 1

Compiler

Compiled 12227 to 9032 computations (26.1% 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	18	41
1	27	41
2	26	41

end294.0ms (4.2%)

Compiler: Compiled 328 to 236 computations (28% saved)

Details

analyze6.0ms (0.1%)

sample1.4s (19.6%)

simplify214.0ms (3%)

prune4.0ms (0.1%)

localize12.0ms (0.2%)

series275.0ms (3.9%)

rewrite79.0ms (1.1%)

simplify134.0ms (1.9%)

prune435.0ms (6.1%)

localize14.0ms (0.2%)

series287.0ms (4%)

rewrite92.0ms (1.3%)

simplify137.0ms (1.9%)

prune525.0ms (7.4%)

localize21.0ms (0.3%)

series317.0ms (4.5%)

rewrite94.0ms (1.3%)

simplify185.0ms (2.6%)

prune461.0ms (6.5%)

localize12.0ms (0.2%)

series382.0ms (5.4%)

rewrite96.0ms (1.4%)

simplify563.0ms (7.9%)

prune472.0ms (6.7%)

regimes588.0ms (8.3%)

simplify2.0ms (0%)

end294.0ms (4.2%)

Profiling