Details

analyze668.0ms (6.4%)

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.9s (27.7%)

Results

1.2s	1157×	body	2048	valid
751.0ms	5388×	body	128	valid
306.0ms	759×	body	1024	valid
274.0ms	431×	body	4096	valid
128.0ms	1019×	body	128	invalid
114.0ms	358×	body	512	valid
36.0ms	163×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify378.0ms (3.6%)

Algorithm

1×	egg-herbie

Rules

2009×	`fma-neg_binary64`
1508×	`div-sub_binary64`
1334×	`associate-/l*_binary64`
1156×	`fma-def_binary64`
685×	`associate-/l/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	34	22
2	64	22
3	132	22
4	198	22
5	325	22
6	552	22
7	918	22
8	1352	22
9	1554	22
10	2359	22
11	3158	22
12	2565	22
13	2653	22
14	3219	22
15	3361	22
16	3461	22
17	3985	22
18	4171	22
19	4439	22
20	4659	22
21	4701	22
22	4757	22
23	4941	22
24	4941	22
25	3365	22
26	3059	22
27	2983	22
28	2985	22
29	2997	22
30	2997	22
31	2997	22
32	2997	22
33	2736	22

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

32.7b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 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 4 (.f64 a c))))) (.f64 2 a))
✓	0.2b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
✓	0.4b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
✓	20.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

series188.0ms (1.8%)

Counts

4 → 96

Calls

4 calls:

86.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
51.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
42.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
9.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

rewrite126.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

178× egg-rr

Counts

4 → 178

Calls

2 calls:

122.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	338	62
2	4153	62
3	4979	62
4	5349	62
0	0	0
1	0	0

simplify81.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
467×	`associate-/l*_binary64`
436×	`fma-def_binary64`
432×	`fma-neg_binary64`
426×	`associate-/r*_binary64`

Counts

274 → 251

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2241
1	398	2164
2	1327	2078
3	4954	2078
4	5218	2078

prune198.0ms (1.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	243	8	251
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	244	9	253

Error

4.2b

Counts

253 → 9

Alt Table

Status	Error	Program
	44.9b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 (.f64 a c) -4)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) (.f64 2 a))
	44.3b	(/.f64 (neg.f64 b) a)
▶	32.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	46.3b	(pow.f64 (/.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) -1)
	46.5b	(pow.f64 (cbrt.f64 (.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4)))) (/.f64 1/2 a))) 3)
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	39.3b	(neg.f64 (/.f64 c b))
	35.6b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4)))))) (*.f64 2 a))
	33.5b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4)))))) (.f64 2 a))

Compiler

Compiled 6643 to 3802 computations (42.8% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
✓	0.4b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
✓	20.9b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))

series168.0ms (1.6%)

Counts

3 → 60

Calls

3 calls:

79.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
49.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
40.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))

rewrite76.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

137× egg-rr

Counts

3 → 137

Calls

2 calls:

72.0ms	((sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a)))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	51
1	279	51
2	3385	51
3	5102	51
0	0	0
1	0	0

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

728×	`times-frac_binary64`
467×	`associate-/l*_binary64`
430×	`fma-neg_binary64`
421×	`fma-def_binary64`
410×	`associate-/r*_binary64`

Counts

197 → 204

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	1839
1	393	1816
2	1317	1730
3	4888	1730
4	5152	1730

prune152.0ms (1.5%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	199	5	204
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	203	10	213

Error

4.2b

Counts

213 → 10

Alt Table

Status	Error	Program
	50.2b	(cbrt.f64 (pow.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a)) 3))
▶	33.8b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))
	35.6b	(.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))
	44.9b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 (.f64 a c) -4)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) (.f64 2 a))
	44.3b	(/.f64 (neg.f64 b) a)
	47.1b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	39.3b	(neg.f64 (/.f64 c b))
	46.3b	(pow.f64 (/.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) -1)
	50.0b	(exp.f64 (log.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))))

Compiler

Compiled 5821 to 3389 computations (41.8% saved)

localize15.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 b) 2)
✓	0.5b	(cbrt.f64 b)
	20.9b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
✓	60.4b	(fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)

series119.0ms (1.1%)

Counts

3 → 36

Calls

3 calls:

44.0ms	(fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)
39.0ms	(pow.f64 (cbrt.f64 b) 2)
37.0ms	(cbrt.f64 b)

rewrite116.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

253× egg-rr

Counts

3 → 253

Calls

2 calls:

107.0ms	((fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b) (cbrt.f64 b) (pow.f64 (cbrt.f64 b) 2))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	23
1	143	11
2	1246	11
3	4890	11
4	6285	11
0	0	0
1	0	0

simplify104.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1246×	`fma-def_binary64`
735×	`sqr-pow_binary64`
412×	`unswap-sqr_binary64`
317×	`*-commutative_binary64`
255×	`fma-neg_binary64`

Counts

289 → 263

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	182
1	38	182
2	70	182
3	174	182
4	530	182
5	896	182
6	937	182
7	1118	182
8	1363	182
9	1658	182
10	1997	182
11	2358	182
12	2807	182
13	3517	182
14	4433	182
15	4877	182

prune349.0ms (3.3%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	373	4	377
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	375	12	387

Error

4.1b

Counts

387 → 12

Alt Table

Status	Error	Program
▶	35.6b	(.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))
	44.9b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 (.f64 a c) -4)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) (.f64 2 a))
	44.3b	(/.f64 (neg.f64 b) a)
	44.6b	(*.f64 (+.f64 (-.f64 (neg.f64 b) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))
	39.3b	(neg.f64 (/.f64 c b))
	52.7b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (+.f64 (fma.f64 (cbrt.f64 (pow.f64 b 2/3)) (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 b))) (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))) (.f64 (cbrt.f64 (cbrt.f64 b)) (*.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))))))) (/.f64 1/2 a))
	46.3b	(pow.f64 (/.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (*.f64 a c) -4))))) -1)
	47.1b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
	46.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (+.f64 (+.f64 b b) (+.f64 b b))) (/.f64 1/2 a))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	52.8b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (+.f64 (fma.f64 (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))) (cbrt.f64 (cbrt.f64 b)) (neg.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (cbrt.f64 (pow.f64 b 2/3))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3))) (cbrt.f64 (pow.f64 b 2/3)) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (cbrt.f64 (pow.f64 b 2/3)))))) (/.f64 1/2 a))
	50.0b	(exp.f64 (log.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))))

Compiler

Compiled 14952 to 8355 computations (44.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))
✓	5.4b	(exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	20.9b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
✓	22.3b	(-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))) b)

series167.0ms (1.6%)

Counts

3 → 60

Calls

3 calls:

78.0ms

(*.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))

50.0ms

(-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) b)

39.0ms

(exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))

rewrite75.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

138× egg-rr

Counts

3 → 138

Calls

2 calls:

71.0ms

((-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (*.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a)))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	51
1	295	51
2	3556	51
3	5296	51
0	0	0
1	0	0

simplify81.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

728×	`times-frac_binary64`
467×	`associate-/l*_binary64`
430×	`fma-neg_binary64`
421×	`fma-def_binary64`
410×	`associate-/r*_binary64`

Counts

198 → 204

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	1839
1	393	1816
2	1317	1730
3	4888	1730
4	5152	1730

prune190.0ms (1.8%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	246	3	249
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	248	13	261

Error

4.1b

Counts

261 → 13

Alt Table

Status	Error	Program
✓	35.6b	(.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))
	44.9b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 (.f64 a c) -4)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 (.f64 a c) -4))))) (.f64 2 a))
	44.3b	(/.f64 (neg.f64 b) a)
	44.6b	(*.f64 (+.f64 (-.f64 (neg.f64 b) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))
	39.3b	(neg.f64 (/.f64 c b))
	47.1b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
	46.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (+.f64 (+.f64 b b) (+.f64 b b))) (/.f64 1/2 a))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	36.8b	(.f64 (-.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))) 2)) (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))) b) (/.f64 1/2 a))
	52.8b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (+.f64 (fma.f64 (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))) (cbrt.f64 (cbrt.f64 b)) (neg.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (cbrt.f64 (pow.f64 b 2/3))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3))) (cbrt.f64 (pow.f64 b 2/3)) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (cbrt.f64 (pow.f64 b 2/3)))))) (/.f64 1/2 a))
	52.7b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (+.f64 (fma.f64 (cbrt.f64 (pow.f64 b 2/3)) (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 b))) (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))) (.f64 (cbrt.f64 (cbrt.f64 b)) (*.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))))))) (/.f64 1/2 a))
	46.6b	(*.f64 (-.f64 (exp.f64 (log.f64 (neg.f64 b))) b) (/.f64 1/2 a))
	32.8b	(/.f64 1 (/.f64 a (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2)))

Compiler

Compiled 6966 to 4116 computations (40.9% saved)

regimes3.7s (35%)

Accuracy

Total 4.6b remaining (44.3%)

Threshold costs 0b (0%)

Counts

224 → 3

Compiler

Compiled 22188 to 14974 computations (32.5% saved)

bsearch71.0ms (0.7%)

Steps

Iters	Range		Point
10	1.5641535248602722e-80	8.26668635655845e-71	2.0627980826047655e-71
3	-4.905015133134337e+159	-7.706913201840932e+152	-5.560568612734722e+153

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

9×	`*-commutative_binary64`
7×	`+-commutative_binary64`
7×	`sub-neg_binary64`
6×	`neg-sub0_binary64`
6×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	54
1	45	54
2	58	54
3	67	54
4	71	54
5	72	54
6	72	54

end451.0ms (4.3%)

Compiler: Compiled 454 to 295 computations (35% saved)

Details

analyze668.0ms (6.4%)

sample2.9s (27.7%)

simplify378.0ms (3.6%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series188.0ms (1.8%)

rewrite126.0ms (1.2%)

simplify81.0ms (0.8%)

prune198.0ms (1.9%)

localize9.0ms (0.1%)

series168.0ms (1.6%)

rewrite76.0ms (0.7%)

simplify73.0ms (0.7%)

prune152.0ms (1.5%)

localize15.0ms (0.1%)

series119.0ms (1.1%)

rewrite116.0ms (1.1%)

simplify104.0ms (1%)

prune349.0ms (3.3%)

localize14.0ms (0.1%)

series167.0ms (1.6%)

rewrite75.0ms (0.7%)

simplify81.0ms (0.8%)

prune190.0ms (1.8%)

regimes3.7s (35%)

bsearch71.0ms (0.7%)

simplify4.0ms (0%)

end451.0ms (4.3%)

Profiling