Details

analyze701.0ms (11.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
0%	99.9%	0.1%	5
18.7%	81.1%	0.1%	6
26.5%	67.1%	6.4%	7
35.1%	58.5%	6.4%	8
41.3%	49.9%	8.7%	9
46.4%	40.2%	13.4%	10
50.8%	34.2%	15%	11
55.2%	26.7%	18.1%	12
57.4%	22%	20.6%	13
59.8%	17.9%	22.3%	14

Compiler

Compiled 42 to 27 computations (35.7% saved)

sample1.7s (27.5%)

Results

1.5s	8256×	body	128	valid
191.0ms	1110×	body	128	invalid

Compiler

Compiled 84 to 54 computations (35.7% saved)

preprocess40.0ms (0.6%)

Algorithm

2×	egg-herbie

Rules

623×	`fma-neg_binary64`
569×	`div-sub_binary64`
307×	`fma-def_binary64`
296×	`sub-neg_binary64`
276×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	55	232
1	143	208
2	409	208
3	940	200
4	1724	200
5	3271	200
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify37.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

1122×	`fma-def_binary64`
776×	`fma-neg_binary64`
260×	`associate-/l*_binary64`
249×	`cancel-sign-sub-inv_binary64`
205×	`div-sub_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	22	58
1	47	52
2	123	52
3	304	50
4	546	50
5	993	50
6	2057	50
7	3568	50
8	4834	50

Stop Event

1×	node limit

Counts

1 → 2

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

22.1b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	22.1b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	22.2b	(if (>=.f64 b 0) (.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (/.f64 -1/2 a)) (.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4)))) b))))

Status

Error

Program

▶

22.1b

(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))) (*.f64 2 a)) (/.f64 (*.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c))))))

22.2b

(if (>=.f64 b 0) (*.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4))))) (/.f64 -1/2 a)) (*.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (*.f64 c (*.f64 a -4)))) b))))

Compiler

Compiled 231 to 147 computations (36.4% saved)

localize20.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	0.6b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	1.0b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	26.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1536 to 1280 computations (16.7% saved)

series104.0ms (1.7%)

Counts

4 → 96

Calls

36 calls:

6.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))	c	-inf
6.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))	c	inf
6.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))	a	inf
6.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))	a	-inf
5.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))	a	-inf

rewrite73.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

243×	`expm1-udef_binary64`
243×	`log1p-udef_binary64`
167×	`egg-rr`
147×	`add-sqr-sqrt_binary64`
144×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	68
1	301	56
2	4302	56

Stop Event

1×	node limit

Counts

4 → 167

simplify47.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

458×	`times-frac_binary64`
293×	`fma-def_binary64`
279×	`associate-r_binary64`
278×	`associate-/l*_binary64`
257×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	90	2213
1	296	2123
2	973	2035

Stop Event

1×	node limit

Counts

263 → 226

prune486.0ms (7.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	327	7	334
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	328	8	336

Error

6.6b

Counts

336 → 8

Alt Table

Status	Error	Program
	30.1b	(if (>=.f64 b 0) (/.f64 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	22.3b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) b) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	42.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))))
	22.2b	(if (>=.f64 b 0) (.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (/.f64 -1/2 a)) (.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4)))) b))))
	29.8b	(if (>=.f64 b 0) (/.f64 (/.f64 (neg.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4))))) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4)))))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	22.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 c (*.f64 a -4))) 1/4) 2))))
	26.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (fma.f64 2 (fma.f64 (/.f64 c b) a (.f64 (*.f64 a a) (/.f64 c (/.f64 (pow.f64 b 3) c)))) (neg.f64 b)))))
▶	20.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (.f64 -1 b))))

Compiler

Compiled 16631 to 9876 computations (40.6% saved)

localize22.0ms (0.4%)

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))
	0.6b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
	1.0b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
	26.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

Compiler

Compiled 1536 to 1280 computations (16.7% saved)

series50.0ms (0.8%)

Counts

1 → 20

Calls

9 calls:

10.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))	a	-inf
9.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))	a	inf
8.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))	c	-inf
7.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))	c	inf
6.0ms	(/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))	b	-inf

rewrite30.0ms (0.5%)

Algorithm

1×	batch-egg-rewrite

Rules

169×	`add-sqr-sqrt_binary64`
165×	`log1p-expm1-u_binary64`
165×	`expm1-log1p-u_binary64`
164×	`add-cbrt-cube_binary64`
160×	`add-exp-log_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	346	22

Stop Event

1×	node limit

Counts

1 → 42

simplify36.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

351×	`unswap-sqr_binary64`
329×	`times-frac_binary64`
263×	`distribute-neg-frac_binary64`
221×	`associate-/l*_binary64`
218×	`associate-r_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	66	531
1	217	529
2	739	507
3	3898	507

Stop Event

1×	node limit

Counts

62 → 65

prune344.0ms (5.5%)

Pruning

7 alts after pruning (7 fresh and 0 done)

	Pruned	Kept	Total
New	239	2	241
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	242	7	249

Error

6.6b

Counts

249 → 7

Alt Table

Status	Error	Program
	42.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))))
	22.2b	(if (>=.f64 b 0) (.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (/.f64 -1/2 a)) (.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4)))) b))))
▶	20.3b	(if (>=.f64 b 0) (.f64 -1 (/.f64 b a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (*.f64 -1 b))))
	26.7b	(if (>=.f64 b 0) (.f64 -1/2 (+.f64 (/.f64 (sqrt.f64 (.f64 c (.f64 a -4))) a) (/.f64 b a))) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (*.f64 -1 b))))
	30.1b	(if (>=.f64 b 0) (/.f64 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	22.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 c (*.f64 a -4))) 1/4) 2))))
	26.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (fma.f64 2 (fma.f64 (/.f64 c b) a (.f64 (*.f64 a a) (/.f64 c (/.f64 (pow.f64 b 3) c)))) (neg.f64 b)))))

Compiler

Compiled 10141 to 6363 computations (37.3% saved)

localize13.0ms (0.2%)

Compiler: Compiled 1536 to 1280 computations (16.7% saved)

prune12.0ms (0.2%)

Pruning

7 alts after pruning (6 fresh and 1 done)

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

Error

6.6b

Counts

7 → 7

Alt Table

Status	Error	Program
	42.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (-.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))))
	22.2b	(if (>=.f64 b 0) (.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (/.f64 -1/2 a)) (.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4)))) b))))
✓	20.3b	(if (>=.f64 b 0) (.f64 -1 (/.f64 b a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (*.f64 -1 b))))
	26.7b	(if (>=.f64 b 0) (.f64 -1/2 (+.f64 (/.f64 (sqrt.f64 (.f64 c (.f64 a -4))) a) (/.f64 b a))) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (*.f64 -1 b))))
	30.1b	(if (>=.f64 b 0) (/.f64 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
▶	22.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 c (*.f64 a -4))) 1/4) 2))))
	26.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (fma.f64 2 (fma.f64 (/.f64 c b) a (.f64 (*.f64 a a) (/.f64 c (/.f64 (pow.f64 b 3) c)))) (neg.f64 b)))))

Compiler

Compiled 582 to 374 computations (35.7% saved)

localize31.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.3b	(fma.f64 b b (.f64 c (.f64 a -4)))
✓	6.4b	(+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4) 2))
	26.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
✓	27.1b	(pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4)

Compiler

Compiled 1536 to 1280 computations (16.7% saved)

series82.0ms (1.3%)

Counts

3 → 92

Calls

27 calls:

6.0ms	(+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4) 2))	c	-inf
5.0ms	(pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4)	c	inf
5.0ms	(pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4)	a	-inf
5.0ms	(pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4)	b	0
5.0ms	(+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4) 2))	c	inf

rewrite55.0ms (0.9%)

Algorithm

1×	batch-egg-rewrite

Rules

279×	`fma-def_binary64`
233×	`expm1-udef_binary64`
233×	`log1p-udef_binary64`
176×	`fma-neg_binary64`
142×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	14	44
1	306	40
2	3734	40

Stop Event

1×	node limit

Counts

3 → 109

simplify69.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

697×	`fma-def_binary64`
508×	`cancel-sign-sub-inv_binary64`
252×	`distribute-neg-frac_binary64`
174×	`sub-neg_binary64`
169×	`times-frac_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	225	3040
1	755	2928
2	2958	2888

Stop Event

1×	node limit

Counts

201 → 191

prune360.0ms (5.7%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	235	4	239
Fresh	2	3	5
Picked	0	1	1
Done	0	1	1
Total	237	9	246

Error

3.0b

Counts

246 → 9

Alt Table

Status	Error	Program
✓	22.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (pow.f64 (pow.f64 (fma.f64 b b (.f64 c (*.f64 a -4))) 1/4) 2))))
	41.7b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (*.f64 4 c)) (log.f64 (/.f64 -1 a))))) 2))))
	22.2b	(if (>=.f64 b 0) (.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (/.f64 -1/2 a)) (.f64 c (/.f64 2 (-.f64 (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4)))) b))))
	42.7b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (pow.f64 (exp.f64 (.f64 1/4 (-.f64 (log.f64 (*.f64 4 a)) (log.f64 (/.f64 -1 c))))) 2))))
✓	20.3b	(if (>=.f64 b 0) (.f64 -1 (/.f64 b a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (*.f64 -1 b))))
	26.7b	(if (>=.f64 b 0) (.f64 -1/2 (+.f64 (/.f64 (sqrt.f64 (.f64 c (.f64 a -4))) a) (/.f64 b a))) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (*.f64 -1 b))))
	30.1b	(if (>=.f64 b 0) (/.f64 (/.f64 (/.f64 (-.f64 (.f64 b b) (fma.f64 b b (.f64 c (.f64 a -4)))) (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (sqrt.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	19.9b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (.f64 2 (-.f64 (*.f64 (/.f64 c b) a) b))))
	42.2b	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (/.f64 (-.f64 (.f64 b b) (fma.f64 a (.f64 -4 c) (.f64 b b))) (-.f64 b (hypot.f64 b (sqrt.f64 (.f64 c (.f64 a -4))))))))

Compiler

Compiled 12656 to 7946 computations (37.2% saved)

regimes1.6s (25.8%)

Accuracy

Total 3.7b remaining (54.4%)

Threshold costs 0b (0%)

Counts

104 → 5

Compiler

Compiled 18534 to 12446 computations (32.8% saved)

bsearch7.0ms (0.1%)

Algorithm

4×	left-value

Calls

4 calls:

0.0ms	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
0.0ms	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
0.0ms	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
0.0ms	(if (>=.f64 b 0) (/.f64 (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a)) (/.f64 (.f64 2 c) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))

Steps

Iters	Point		Range
4.236093675793072e+231	∈ [	4.236093675793072e+231	,	1.4950555082166335e+245	]
0.0	∈ [	0.0	,	5.207881480662124e-295	]
-1.4618744307017852e-247	∈ [	-1.4618744307017852e-247	,	-3.255228553197763e-271	]
#hash((type . real) (value . -inf))	∈ [	#hash((type . real) (value . -inf))	,	-7.053550501433582e+252	]

Compiler

Compiled 41 to 26 computations (36.6% saved)

simplify14.0ms (0.2%)

Algorithm

1×	egg-herbie

Rules

16×	`+-commutative_binary64`
16×	`*-commutative_binary64`
13×	`sub-neg_binary64`
10×	`neg-sub0_binary64`
9×	`neg-mul-1_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	46	471
1	66	455
2	96	455
3	117	455
4	131	455
5	137	455
6	138	455

Stop Event

1×

saturated

end288.0ms (4.6%)

Stop Event

1×

fuel

Compiler

Compiled 983 to 608 computations (38.1% saved)

Details

analyze701.0ms (11.2%)

sample1.7s (27.5%)

preprocess40.0ms (0.6%)

simplify37.0ms (0.6%)

prune5.0ms (0.1%)

localize20.0ms (0.3%)

series104.0ms (1.7%)

rewrite73.0ms (1.2%)

simplify47.0ms (0.7%)

prune486.0ms (7.8%)

localize22.0ms (0.4%)

series50.0ms (0.8%)

rewrite30.0ms (0.5%)

simplify36.0ms (0.6%)

prune344.0ms (5.5%)

localize13.0ms (0.2%)

prune12.0ms (0.2%)

localize31.0ms (0.5%)

series82.0ms (1.3%)

rewrite55.0ms (0.9%)

simplify69.0ms (1.1%)

prune360.0ms (5.7%)

regimes1.6s (25.8%)

bsearch7.0ms (0.1%)

simplify14.0ms (0.2%)

end288.0ms (4.6%)

Profiling