Details

analyze648.0ms (6.2%)

Algorithm

1×

Search

True	Other	False	Iter
0%	99.9%	0.1%	0
0%	99.9%	0.1%	1
0%	99.9%	0.1%	2
0%	99.9%	0.1%	3
0%	99.9%	0.1%	4
12.5%	87.4%	0.1%	5
18.7%	81.1%	0.1%	6
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample2.7s (25.9%)

Results

887.0ms	5377×	body	128	valid
715.0ms	1172×	body	2048	valid
346.0ms	735×	body	1024	valid
255.0ms	408×	body	4096	valid
182.0ms	367×	body	512	valid
155.0ms	1128×	body	128	invalid
46.0ms	197×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify58.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

563×	`fma-neg_binary64`
528×	`rules-21_binary64`
299×	`rules-11_binary64`
273×	`rules-40_binary64`
273×	`rules-41_binary64`

Counts

1 → 2

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	89	26
2	273	26
3	1062	24
4	3831	24
5	14	24

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

33.1b

Counts

3 → 2

Alt Table

Status	Error	Program
	33.1b	(.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 a c) -4 (*.f64 b b)))) (/.f64 1/2 a))
▶	33.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 114 to 76 computations (33.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	1.2b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	1.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	22.0b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series208.0ms (2%)

Counts

4 → 96

Calls

4 calls:

82.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
65.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
52.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite97.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

279×	`log1p-udef_binary64`
164×	`egg-rr`
156×	`add-sqr-sqrt_binary64`
152×	`log1p-expm1-u_binary64`
152×	`expm1-log1p-u_binary64`

Counts

4 → 164

Calls

4 calls:

93.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
93.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
93.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
93.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	364	74
2	4575	74
3	4898	74
0	0	0
1	0	0

simplify83.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

426×	`rules-21_binary64`
290×	`fma-neg_binary64`
237×	`rules-7-rev_binary64`
212×	`rules-40_binary64`
212×	`rules-41_binary64`

Counts

260 → 231

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	121	2301
1	881	2220
2	4114	2220
3	5053	2220

prune190.0ms (1.8%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	219	12	231
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	220	13	233

Error

2.8b

Counts

233 → 13

Alt Table

Status	Error	Program
	33.1b	(.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 a c) -4 (*.f64 b b)))) (/.f64 1/2 a))
	36.0b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))) (.f64 2 a))
	33.5b	(.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (neg.f64 b))) (.f64 a 2)))
	36.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 c (-.f64 (/.f64 (.f64 b b) c) (.f64 4 a)) (fma.f64 (neg.f64 c) (.f64 4 a) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	40.5b	(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)) 3/2))) (.f64 2 a))
	34.8b	(/.f64 (.f64 (neg.f64 b) (+.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (neg.f64 b)))) (*.f64 2 a))
	50.5b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b b) c) (.f64 4 a))))) (.f64 2 a))
	33.6b	(pow.f64 (cbrt.f64 (/.f64 (+.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (neg.f64 b)) (.f64 a 2))) 3)
	33.4b	(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)) 1/4) 2)) (.f64 2 a))
▶	33.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
	44.3b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.1b	(*.f64 -1 (/.f64 b a))
	40.7b	(*.f64 -1 (/.f64 c b))

Compiler

Compiled 6674 to 3973 computations (40.5% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
✓	1.2b	(+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c)))))
✓	1.5b	(fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c)))
✓	22.0b	(sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))

series188.0ms (1.8%)

Counts

4 → 96

Calls

4 calls:

83.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
52.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c)))))
43.0ms	(sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))
10.0ms	(fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c)))

rewrite95.0ms (0.9%)

Algorithm

2×	batch-egg-rewrite

Rules

818×	`prod-diff_binary64`
159×	`egg-rr`
149×	`add-sqr-sqrt_binary64`
142×	`log1p-expm1-u_binary64`
142×	`expm1-log1p-u_binary64`

Counts

4 → 159

Calls

4 calls:

91.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
91.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c)))))
91.0ms	(fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c)))
91.0ms	(sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	349	71
2	4259	71
3	5791	71
0	0	0
1	0	0

simplify83.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

426×	`rules-21_binary64`
290×	`fma-neg_binary64`
237×	`rules-7-rev_binary64`
212×	`rules-40_binary64`
212×	`rules-41_binary64`

Counts

255 → 226

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	121	2301
1	881	2220
2	4114	2220
3	5053	2220

prune186.0ms (1.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	223	3	226
Fresh	3	9	12
Picked	0	1	1
Done	0	0	0
Total	226	13	239

Error

2.8b

Counts

239 → 13

Alt Table

Status	Error	Program
	36.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 c (-.f64 (/.f64 (.f64 b b) c) (.f64 4 a)) (fma.f64 (neg.f64 c) (.f64 4 a) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	40.5b	(/.f64 (+.f64 (neg.f64 b) (cbrt.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)) 3/2))) (.f64 2 a))
	33.4b	(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)) 1/4) 2)) (.f64 2 a))
	32.2b	(pow.f64 (cbrt.f64 (/.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b)) (*.f64 a 2))) 3)
	34.8b	(/.f64 (.f64 (neg.f64 b) (+.f64 1 (/.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (neg.f64 b)))) (*.f64 2 a))
	50.5b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b b) c) (.f64 4 a))))) (.f64 2 a))
✓	33.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
	36.4b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c))))))) (*.f64 2 a))
	33.1b	(.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 a c) -4 (*.f64 b b)))) (/.f64 1/2 a))
▶	31.9b	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (.f64 a 2)))
	44.3b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.1b	(*.f64 -1 (/.f64 b a))
	40.7b	(*.f64 -1 (/.f64 c b))

Compiler

Compiled 6720 to 4372 computations (34.9% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (*.f64 a 2))
✓	0.2b	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (.f64 a 2)))
✓	0.3b	(+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))
✓	13.8b	(sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))

series961.0ms (9.2%)

Counts

4 → 28

Calls

4 calls:

556.0ms	(/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (*.f64 a 2))
240.0ms	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (.f64 a 2)))
146.0ms	(+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))
19.0ms	(sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))

rewrite138.0ms (1.3%)

Algorithm

2×	batch-egg-rewrite

Rules

808×	`prod-diff_binary64`
197×	`egg-rr`
167×	`add-sqr-sqrt_binary64`
160×	`log1p-expm1-u_binary64`
160×	`expm1-log1p-u_binary64`

Counts

4 → 197

Calls

4 calls:

129.0ms	(/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (*.f64 a 2))
129.0ms	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (.f64 a 2)))
129.0ms	(+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))
129.0ms	(sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	17	82
1	397	82
2	4862	82
3	6388	82
0	0	0
1	0	0

simplify70.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

407×	`rules-21_binary64`
314×	`fma-neg_binary64`
264×	`rules-18_binary64`
227×	`rules-7-rev_binary64`
215×	`rules-40_binary64`

Counts

225 → 250

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	128	1346
1	915	1260
2	4203	1260
3	5310	1260

prune408.0ms (3.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	351	4	355
Fresh	3	8	11
Picked	1	0	1
Done	0	1	1
Total	355	13	368

Error

2.7b

Counts

368 → 13

Alt Table

Status	Error	Program
	33.4b	(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)) 1/4) 2)) (.f64 2 a))
	32.2b	(pow.f64 (cbrt.f64 (/.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b)) (*.f64 a 2))) 3)
▶	31.9b	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (.f64 (cbrt.f64 (neg.f64 (.f64 (.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))))) (neg.f64 b))) (*.f64 a 2)))
	40.7b	(*.f64 -1 (/.f64 c b))
	57.4b	(-.f64 (fma.f64 1/4 (/.f64 (neg.f64 (.f64 4 (.f64 c a))) (.f64 a b)) (.f64 1/32 (/.f64 (pow.f64 (sqrt.f64 (neg.f64 (.f64 4 (.f64 c a)))) 6) (.f64 a (pow.f64 b 5))))) (.f64 1/16 (/.f64 (pow.f64 (sqrt.f64 (neg.f64 (.f64 4 (.f64 c a)))) 4) (*.f64 a (pow.f64 b 3)))))
	33.1b	(.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 a c) -4 (*.f64 b b)))) (/.f64 1/2 a))
	36.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 c (-.f64 (/.f64 (.f64 b b) c) (.f64 4 a)) (fma.f64 (neg.f64 c) (.f64 4 a) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	40.2b	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (expm1.f64 (log1p.f64 (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (.f64 a 2)))))
	50.5b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b b) c) (.f64 4 a))))) (.f64 2 a))
✓	33.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
	32.0b	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (neg.f64 (.f64 (.f64 4 a) c))) 2)) (sqrt.f64 (cbrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (*.f64 a 2)))
	44.3b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.1b	(*.f64 -1 (/.f64 b a))

Compiler

Compiled 16637 to 11195 computations (32.7% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(+.f64 (hypot.f64 b (.f64 (cbrt.f64 (neg.f64 (.f64 (.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (neg.f64 (.f64 (*.f64 4 a) c)))))) (neg.f64 b))
✓	0.4b	(cbrt.f64 (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c))))
	13.8b	(sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))
✓	15.6b	(cbrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))

series1.4s (13.8%)

Counts

3 → 44

Calls

3 calls:

910.0ms

(+.f64 (hypot.f64 b (*.f64 (cbrt.f64 (neg.f64 (*.f64 (*.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (neg.f64 (*.f64 (*.f64 4 a) c)))))) (neg.f64 b))

387.0ms

(cbrt.f64 (neg.f64 (*.f64 (*.f64 4 a) c)))

145.0ms

(cbrt.f64 (sqrt.f64 (neg.f64 (*.f64 (*.f64 4 a) c))))

rewrite79.0ms (0.8%)

Algorithm

2×	batch-egg-rewrite

Rules

635×	`prod-diff_binary64`
136×	`add-sqr-sqrt_binary64`
131×	`log1p-expm1-u_binary64`
131×	`expm1-log1p-u_binary64`
129×	`add-cbrt-cube_binary64`

Counts

3 → 123

Calls

3 calls:

76.0ms

(+.f64 (hypot.f64 b (*.f64 (cbrt.f64 (neg.f64 (*.f64 (*.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (neg.f64 (*.f64 (*.f64 4 a) c)))))) (neg.f64 b))

76.0ms

(cbrt.f64 (sqrt.f64 (neg.f64 (*.f64 (*.f64 4 a) c))))

76.0ms

(cbrt.f64 (neg.f64 (*.f64 (*.f64 4 a) c)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	43
1	325	42
2	3871	42
3	5039	42
0	0	0
1	0	0

simplify64.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

834×	`rules-42_binary64`
822×	`rules-41_binary64`
822×	`rules-43_binary64`
304×	`fma-neg_binary64`
232×	`rules-20_binary64`

Counts

167 → 157

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	142	1593
1	917	1498
2	3325	1402
3	5105	1402

prune253.0ms (2.4%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	220	1	221
Fresh	1	10	11
Picked	0	1	1
Done	0	1	1
Total	221	13	234

Error

2.7b

Counts

234 → 13

Alt Table

Status	Error	Program
	33.4b	(/.f64 (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)) 1/4) 2)) (.f64 2 a))
	32.2b	(pow.f64 (cbrt.f64 (/.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b)) (*.f64 a 2))) 3)
	49.2b	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (.f64 (.f64 (cbrt.f64 4) (exp.f64 (.f64 1/3 (-.f64 (log.f64 a) (log.f64 (/.f64 -1 c)))))) (cbrt.f64 (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))))) (neg.f64 b))) (*.f64 a 2)))
✓	31.9b	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (.f64 (cbrt.f64 (neg.f64 (.f64 (.f64 4 a) c))) (cbrt.f64 (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))))) (neg.f64 b))) (*.f64 a 2)))
	40.7b	(*.f64 -1 (/.f64 c b))
	57.4b	(-.f64 (fma.f64 1/4 (/.f64 (neg.f64 (.f64 4 (.f64 c a))) (.f64 a b)) (.f64 1/32 (/.f64 (pow.f64 (sqrt.f64 (neg.f64 (.f64 4 (.f64 c a)))) 6) (.f64 a (pow.f64 b 5))))) (.f64 1/16 (/.f64 (pow.f64 (sqrt.f64 (neg.f64 (.f64 4 (.f64 c a)))) 4) (*.f64 a (pow.f64 b 3)))))
	33.1b	(.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 (.f64 a c) -4 (*.f64 b b)))) (/.f64 1/2 a))
	36.2b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 c (-.f64 (/.f64 (.f64 b b) c) (.f64 4 a)) (fma.f64 (neg.f64 c) (.f64 4 a) (.f64 (.f64 4 a) c))))) (.f64 2 a))
	50.5b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 c) (sqrt.f64 (-.f64 (/.f64 (.f64 b b) c) (.f64 4 a))))) (.f64 2 a))
✓	33.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (fma.f64 b b (neg.f64 (.f64 (.f64 4 a) c))))) (*.f64 2 a))
	32.0b	(.f64 (sqrt.f64 (+.f64 (hypot.f64 b (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (neg.f64 (.f64 (.f64 4 a) c))) 2)) (sqrt.f64 (cbrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))))) (neg.f64 b))) (/.f64 (sqrt.f64 (+.f64 (hypot.f64 b (sqrt.f64 (neg.f64 (.f64 (.f64 4 a) c)))) (neg.f64 b))) (*.f64 a 2)))
	44.3b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.1b	(*.f64 -1 (/.f64 b a))

Compiler

Compiled 11211 to 7843 computations (30% saved)

regimes2.1s (20.4%)

Accuracy

Total 6.8b remaining (68.3%)

Threshold costs 0b (0%)

Counts

169 → 3

Compiler

Compiled 21724 to 15702 computations (27.7% saved)

bsearch85.0ms (0.8%)

Steps

Iters	Range		Point
10	1.901565658296121e-67	1.68094319869498e-53	2.7919095286000728e-58
6	-4.337663542347003e+121	-2.705837089243012e+119	-3.996635431194612e+121

Compiler

Compiled 4 to 3 computations (25% saved)

simplify2.0ms (0%)

Algorithm

1×	egg-herbie

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	57
1	28	57

end225.0ms (2.2%)

Compiler: Compiled 436 to 307 computations (29.6% saved)

Details

analyze648.0ms (6.2%)

sample2.7s (25.9%)

simplify58.0ms (0.6%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series208.0ms (2%)

rewrite97.0ms (0.9%)

simplify83.0ms (0.8%)

prune190.0ms (1.8%)

localize11.0ms (0.1%)

series188.0ms (1.8%)

rewrite95.0ms (0.9%)

simplify83.0ms (0.8%)

prune186.0ms (1.8%)

localize12.0ms (0.1%)

series961.0ms (9.2%)

rewrite138.0ms (1.3%)

simplify70.0ms (0.7%)

prune408.0ms (3.9%)

localize19.0ms (0.2%)

series1.4s (13.8%)

rewrite79.0ms (0.8%)

simplify64.0ms (0.6%)

prune253.0ms (2.4%)

regimes2.1s (20.4%)

bsearch85.0ms (0.8%)

simplify2.0ms (0%)

end225.0ms (2.2%)

Profiling