Details

analyze712.0ms (7.3%)

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)

sample51.0ms (0.5%)

Algorithm

1×

intervals

Results

11.0ms	165×	body	128	valid
10.0ms	30×	body	2048	valid
8.0ms	17×	body	4096	valid
7.0ms	26×	body	1024	valid
2.0ms	11×	body	512	valid
1.0ms	20×	body	128	nan
1.0ms	7×	body	256	valid
1.0ms	8×	body	128	invalid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify400.0ms (4.1%)

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 → 1

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

prune3.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

31.5b

Counts

2 → 2

Alt Table

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

Compiler

Compiled 94 to 64 computations (31.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
0.4b	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
0.6b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
20.3b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

rewrite318.0ms (3.3%)

Algorithm

1×	rewrite-expression-head

Error

31.3b

Rules

28×	`add-cube-cbrt_binary64`
19×	`add-sqr-sqrt_binary64`
16×	`add-log-exp_binary64`
16×	`pow1_binary64`
16×	`add-cbrt-cube_binary64`

Counts

4 → 187

Calls

4 calls:

21.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
20.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))
18.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
15.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))

Compiler

Compiled 4678 to 2378 computations (49.2% saved)

series186.0ms (1.9%)

Error

3.8b

Counts

4 → 75

Calls

4 calls:

52.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (.f64 a c))))) (.f64 2 a))
41.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))))
37.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 4 (*.f64 a c))))
28.0ms	(-.f64 (.f64 b b) (.f64 4 (*.f64 a c)))

Compiler

Compiled 3240 to 2313 computations (28.6% saved)

simplify206.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

558×	`fma-neg_binary64`
230×	`div-sub_binary64`
199×	`associate-r_binary64`
172×	`associate-l_binary64`
155×	`unsub-neg_binary64`

Counts

262 → 181

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	315	5149
1	888	4621
2	3359	4359
3	4980	4359
4	4958	4359
5	4917	4359

prune112.0ms (1.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	169	12	181
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	171	12	183

Error

3.8b

Counts

183 → 12

Alt Table

Status	Error	Program
	31.3b	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))
	32.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (.f64 2 a))
	50.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (.f64 b b))) (.f64 2 a))
	35.1b	(/.f64 (.f64 (cbrt.f64 (pow.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) 2)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (.f64 2 a))
	31.7b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
	33.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
	47.0b	(/.f64 (.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (.f64 a 2)) (.f64 4 (.f64 a a)))
	32.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4) (pow.f64 (fma.f64 b b (.f64 c (.f64 a -4))) 1/4))) (.f64 2 a))
▶	31.2b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (*.f64 a 2))
	44.7b	(/.f64 (neg.f64 b) a)
	44.9b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	40.1b	(neg.f64 (/.f64 c b))

Compiler

Compiled 3647 to 2244 computations (38.5% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.1b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (*.f64 a 2))
0.2b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
13.5b	(sqrt.f64 (.f64 c (.f64 a -4)))

rewrite134.0ms (1.4%)

Algorithm

1×	rewrite-expression-head

Error

1.7b

Rules

31×	`add-cube-cbrt_binary64`
16×	`add-sqr-sqrt_binary64`
14×	`pow1_binary64`
13×	`add-cbrt-cube_binary64`
12×	`add-exp-log_binary64`

Counts

3 → 134

Calls

3 calls:

14.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (*.f64 a 2))
13.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
12.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

Compiler

Compiled 3166 to 2004 computations (36.7% saved)

series176.0ms (1.8%)

Error

3.8b

Counts

3 → 36

Calls

3 calls:

88.0ms	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (*.f64 a 2))
65.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
10.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

Compiler

Compiled 2237 to 1669 computations (25.4% saved)

simplify128.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

635×	`fma-def_binary64`
364×	`fma-neg_binary64`
344×	`cancel-sign-sub-inv_binary64`
210×	`distribute-rgt-neg-in_binary64`
171×	`times-frac_binary64`

Counts

170 → 111

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	266	3393
1	707	3226
2	2677	2975
3	4862	2975
4	4895	2975

prune84.0ms (0.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	106	5	111
Fresh	4	7	11
Picked	0	1	1
Done	0	0	0
Total	110	13	123

Error

3.7b

Counts

123 → 13

Alt Table

Status	Error	Program
▶	31.3b	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))
	32.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (.f64 2 a))
	31.3b	(/.f64 (-.f64 (hypot.f64 (.f64 (pow.f64 (.f64 -4 (.f64 c a)) 1/4) (pow.f64 (.f64 -4 (.f64 c a)) 1/4)) b) b) (.f64 a 2))
	47.0b	(/.f64 (.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (.f64 a 2)) (.f64 4 (.f64 a a)))
	31.4b	(/.f64 (-.f64 (hypot.f64 (.f64 (cbrt.f64 (.f64 -4 (.f64 c a))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) b) b) (.f64 a 2))
✓	31.2b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (*.f64 a 2))
	50.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (.f64 b b))) (.f64 2 a))
	53.6b	(/.f64 (-.f64 (pow.f64 (/.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) (.f64 a 2)) 3) (pow.f64 (/.f64 b (.f64 a 2)) 3)) (fma.f64 (/.f64 b (.f64 a 2)) (+.f64 (/.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) (.f64 a 2)) (/.f64 b (.f64 a 2))) (/.f64 (/.f64 (pow.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b)) 6) (.f64 a 2)) (*.f64 a 2))))
	33.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
	31.5b	(/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a)))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) b) b) (*.f64 a 2))
	44.8b	(neg.f64 (fma.f64 1/4 (.f64 (/.f64 (.f64 c -4) b) 1) (/.f64 b a)))
	44.9b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	40.1b	(neg.f64 (/.f64 c b))

Compiler

Compiled 2650 to 1689 computations (36.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))
0.1b	(/.f64 (.f64 a 2) (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b))
0.2b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
13.5b	(sqrt.f64 (.f64 c (.f64 a -4)))

rewrite195.0ms (2%)

Algorithm

1×	rewrite-expression-head

Error

1.7b

Rules

48×	`add-cube-cbrt_binary64`
26×	`add-exp-log_binary64`
20×	`add-sqr-sqrt_binary64`
20×	`add-cbrt-cube_binary64`
18×	`pow1_binary64`

Counts

4 → 182

Calls

4 calls:

16.0ms	(/.f64 (.f64 a 2) (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b))
13.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
13.0ms	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))
12.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

Compiler

Compiled 4435 to 2971 computations (33% saved)

series287.0ms (2.9%)

Error

3.7b

Counts

4 → 51

Calls

4 calls:

104.0ms	(/.f64 (.f64 a 2) (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b))
88.0ms	(/.f64 1 (/.f64 (.f64 a 2) (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))
60.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
12.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

Compiler

Compiled 3431 to 2581 computations (24.8% saved)

simplify143.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

659×	`fma-def_binary64`
357×	`cancel-sign-sub-inv_binary64`
226×	`times-frac_binary64`
221×	`fma-neg_binary64`
177×	`associate-r_binary64`

Counts

233 → 155

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	327	5015
1	830	4558
2	3111	4348
3	4985	4348

prune104.0ms (1.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	150	5	155
Fresh	4	7	11
Picked	1	0	1
Done	0	1	1
Total	155	13	168

Error

3.6b

Counts

168 → 13

Alt Table

Status	Error	Program
▶	31.3b	(/.f64 1 (.f64 (.f64 a 2) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b))))
	47.0b	(/.f64 (.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (.f64 a 2)) (.f64 4 (.f64 a a)))
	31.4b	(/.f64 (-.f64 (hypot.f64 (.f64 (cbrt.f64 (.f64 -4 (.f64 c a))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) b) b) (.f64 a 2))
✓	31.2b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (*.f64 a 2))
	40.2b	(/.f64 1 (fma.f64 4 (.f64 (/.f64 b (.f64 c -4)) 1) (/.f64 a b)))
	40.1b	(neg.f64 (/.f64 c b))
	33.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
	46.6b	(/.f64 1 (.f64 (/.f64 (.f64 a 2) (-.f64 (pow.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) 3) (pow.f64 b 3))) (+.f64 (.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (+.f64 (.f64 b b) (.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))))
	32.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (.f64 2 a))
	31.5b	(/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a)))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) b) b) (*.f64 a 2))
	44.7b	(neg.f64 (/.f64 b a))
	44.8b	(neg.f64 (fma.f64 1/4 (.f64 (/.f64 (.f64 c -4) b) 1) (/.f64 b a)))
	45.7b	(/.f64 1 (-.f64 (fma.f64 4 (.f64 (/.f64 b (.f64 c -4)) 1) (/.f64 a b)) (/.f64 (.f64 (neg.f64 (.f64 c a)) a) (pow.f64 b 3))))

Compiler

Compiled 3420 to 2234 computations (34.7% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.1b	(/.f64 1 (.f64 (.f64 a 2) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b))))
0.2b	(.f64 (.f64 a 2) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)))
0.2b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)
13.5b	(sqrt.f64 (.f64 -4 (.f64 c a)))

rewrite186.0ms (1.9%)

Algorithm

1×	rewrite-expression-head

Error

3.6b

Rules

35×	`add-cube-cbrt_binary64`
26×	`add-exp-log_binary64`
24×	`add-sqr-sqrt_binary64`
19×	`pow1_binary64`
18×	`add-cbrt-cube_binary64`

Counts

4 → 176

Calls

4 calls:

18.0ms	(/.f64 1 (.f64 (.f64 a 2) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b))))
15.0ms	(sqrt.f64 (.f64 -4 (.f64 c a)))
15.0ms	(.f64 (.f64 a 2) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)))
14.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)

Compiler

Compiled 4295 to 2740 computations (36.2% saved)

series276.0ms (2.8%)

Error

3.6b

Counts

4 → 51

Calls

4 calls:

96.0ms	(.f64 (.f64 a 2) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)))
87.0ms	(/.f64 1 (.f64 (.f64 a 2) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b))))
61.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)
12.0ms	(sqrt.f64 (.f64 -4 (.f64 c a)))

Compiler

Compiled 3519 to 2669 computations (24.2% saved)

simplify154.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

631×	`fma-def_binary64`
298×	`fma-neg_binary64`
260×	`unswap-sqr_binary64`
225×	`times-frac_binary64`
196×	`associate-r_binary64`

Counts

227 → 127

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	325	4525
1	834	4076
2	3155	3880
3	4944	3880
4	4896	3880

prune71.0ms (0.7%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	127	0	127
Fresh	0	11	11
Picked	0	1	1
Done	0	1	1
Total	127	13	140

Error

3.6b

Counts

140 → 13

Alt Table

Status	Error	Program
	31.3b	(/.f64 1 (.f64 (.f64 a 2) (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b))))
	47.0b	(/.f64 (.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (.f64 a 2)) (.f64 4 (.f64 a a)))
	31.4b	(/.f64 (-.f64 (hypot.f64 (.f64 (cbrt.f64 (.f64 -4 (.f64 c a))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) b) b) (.f64 a 2))
	31.2b	(/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) (*.f64 a 2))
	40.2b	(/.f64 1 (fma.f64 4 (.f64 (/.f64 b (.f64 c -4)) 1) (/.f64 a b)))
	40.1b	(neg.f64 (/.f64 c b))
	33.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
	46.6b	(/.f64 1 (.f64 (/.f64 (.f64 a 2) (-.f64 (pow.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) 3) (pow.f64 b 3))) (+.f64 (.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (+.f64 (.f64 b b) (.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)))))
	32.6b	(/.f64 (+.f64 (neg.f64 b) (.f64 (fabs.f64 (cbrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 c (.f64 a -4))))))) (.f64 2 a))
	31.5b	(/.f64 (-.f64 (hypot.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a)))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) (cbrt.f64 (sqrt.f64 (.f64 -4 (.f64 c a))))) b) b) (*.f64 a 2))
	44.7b	(neg.f64 (/.f64 b a))
	44.8b	(neg.f64 (fma.f64 1/4 (.f64 (/.f64 (.f64 c -4) b) 1) (/.f64 b a)))
	45.7b	(/.f64 1 (-.f64 (fma.f64 4 (.f64 (/.f64 b (.f64 c -4)) 1) (/.f64 a b)) (/.f64 (.f64 (neg.f64 (.f64 c a)) a) (pow.f64 b 3))))

Compiler

Compiled 2331 to 1523 computations (34.7% saved)

regimes3.8s (39.4%)

Accuracy

Total 4.6b remaining (44.7%)

Threshold costs 0b (0%)

Compiler

Compiled 20240 to 14249 computations (29.6% saved)

bsearch51.0ms (0.5%)

Steps

Iters	Range		Point
8	2.944510338664127e-50	2.5060051728755603e-47	3.964279773171437e-50
2	-8.260566518046658e+155	-3.585092087676296e+149	-1.3690582298938998e+151

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	58
1	53	58
2	68	58
3	83	58
4	90	58
5	93	58
6	94	58
7	92	58

end1.0ms (0%)

Compiler: Compiled 42 to 28 computations (33.3% saved)

sample1.9s (19.2%)

Algorithm

1×

intervals

Results

394.0ms	1157×	body	2048	valid
389.0ms	5160×	body	128	valid
197.0ms	710×	body	1024	valid
178.0ms	432×	body	4096	valid
78.0ms	355×	body	512	valid
48.0ms	703×	body	128	nan
27.0ms	395×	body	128	invalid
26.0ms	186×	body	256	valid

Compiler

Compiled 367 to 259 computations (29.4% saved)

Details

analyze712.0ms (7.3%)

sample51.0ms (0.5%)

simplify400.0ms (4.1%)

prune3.0ms (0%)

localize11.0ms (0.1%)

rewrite318.0ms (3.3%)

series186.0ms (1.9%)

simplify206.0ms (2.1%)

prune112.0ms (1.2%)

localize9.0ms (0.1%)

rewrite134.0ms (1.4%)

series176.0ms (1.8%)

simplify128.0ms (1.3%)

prune84.0ms (0.9%)

localize11.0ms (0.1%)

rewrite195.0ms (2%)

series287.0ms (2.9%)

simplify143.0ms (1.5%)

prune104.0ms (1.1%)

localize12.0ms (0.1%)

rewrite186.0ms (1.9%)

series276.0ms (2.8%)

simplify154.0ms (1.6%)

prune71.0ms (0.7%)

regimes3.8s (39.4%)

bsearch51.0ms (0.5%)

simplify5.0ms (0.1%)

end1.0ms (0%)

sample1.9s (19.2%)

Profiling