Details

analyze623.0ms (5.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
18.7%	76.5%	4.8%	7
28.1%	66.3%	5.6%	8
34.7%	55.4%	9.9%	9
36.1%	51.1%	12.8%	10
42.1%	42.4%	15.5%	11
47.5%	33.8%	18.7%	12
48.8%	30.7%	20.6%	13
51.8%	25.6%	22.5%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample2.7s (23.3%)

Results

655.0ms	5455×	body	128	valid
518.0ms	1106×	body	2048	valid
367.0ms	732×	body	1024	valid
232.0ms	412×	body	4096	valid
140.0ms	1147×	body	128	invalid
104.0ms	365×	body	512	valid
41.0ms	186×	body	256	valid

Compiler

Compiled 50 to 32 computations (36% saved)

simplify83.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

808×	`fma-neg_binary64`
379×	`associate-/l*_binary64`
361×	`div-sub_binary64`
341×	`fma-def_binary64`
224×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	23	18
2	39	18
3	69	18
4	107	18
5	178	18
6	279	18
7	382	18
8	547	18
9	587	18
10	855	18
11	1247	18
12	1117	18
13	1035	18
14	1043	18
15	1051	18
16	1077	18
17	1093	18
18	1129	18
19	1131	18
20	1143	18
21	1050	18

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

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

Error

33.0b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	33.0b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)

Compiler

Compiled 58 to 30 computations (48.3% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
✓	0.8b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	1.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	23.0b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series164.0ms (1.4%)

Counts

4 → 96

Calls

4 calls:

69.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
47.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
38.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
9.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite52.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`add-sqr-sqrt_binary64`
41×	`*-un-lft-identity_binary64`
31×	`add-cube-cbrt_binary64`
20×	`sqrt-prod_binary64`
19×	`prod-diff_binary64`

Counts

4 → 120

Calls

4 calls:

32.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
6.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
3.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify257.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

682×	`fma-neg_binary64`
364×	`cancel-sign-sub-inv_binary64`
248×	`distribute-rgt-neg-in_binary64`
220×	`distribute-lft-neg-in_binary64`
172×	`distribute-rgt-in_binary64`

Counts

216 → 237

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	272	5568
1	683	4769
2	2484	4515
3	4521	4514
4	4915	4514
5	4990	4514
6	5000	4514
7	4999	4514
8	4932	4514

prune239.0ms (2.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	224	13	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	225	13	238

Error

5.5b

Counts

238 → 13

Alt Table

Status	Error	Program
	46.0b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	52.5b	(/.f64 (fma.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b_2 5)) -1/16 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b_2 3)) -1/8))) a)
	56.5b	(/.f64 (-.f64 b_2 b_2) a)
▶	30.1b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
	46.3b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	30.6b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (cbrt.f64 a)))
	33.5b	(/.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (neg.f64 (.f64 (cbrt.f64 b_2) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))))) (fma.f64 (neg.f64 (cbrt.f64 b_2)) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2)) (.f64 (cbrt.f64 b_2) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))))) a)
	42.3b	(/.f64 (/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (+.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (+.f64 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)))) a)
	41.9b	(*.f64 -1/2 (/.f64 c b_2))
	45.7b	(/.f64 (*.f64 -2 b_2) a)
	41.9b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	31.9b	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
	33.1b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))

Compiler

Compiled 6223 to 1800 computations (71.1% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
✓	0.1b	(/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))
✓	0.5b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
✓	12.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series749.0ms (6.5%)

Counts

4 → 36

Calls

4 calls:

389.0ms	(/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))
205.0ms	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
139.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
16.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite36.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

138×	`times-frac_binary64`
116×	`add-sqr-sqrt_binary64`
115×	`*-un-lft-identity_binary64`
81×	`add-cube-cbrt_binary64`
26×	`associate-/r*_binary64`

Counts

4 → 197

Calls

4 calls:

7.0ms	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)))
5.0ms	(/.f64 a (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))
3.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
1.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

simplify215.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

726×	`fma-def_binary64`
384×	`cancel-sign-sub-inv_binary64`
289×	`fma-neg_binary64`
216×	`div-sub_binary64`
164×	`distribute-neg-frac_binary64`

Counts

233 → 297

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	315	7371
1	719	6508
2	2604	6286
3	4744	6282
4	5014	6282

prune228.0ms (2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	291	6	297
Fresh	6	6	12
Picked	1	0	1
Done	0	0	0
Total	298	12	310

Error

0.3b

Counts

310 → 12

Alt Table

Status	Error	Program
	41.9b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	50.2b	(fma.f64 1/2 (/.f64 (neg.f64 c) b_2) (fma.f64 1/16 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 3) (.f64 a (pow.f64 b_2 5))) (fma.f64 (.f64 (neg.f64 c) (/.f64 (neg.f64 (.f64 c a)) (pow.f64 b_2 3))) -1/8 (/.f64 (/.f64 -5/128 (/.f64 (pow.f64 b_2 7) (pow.f64 (neg.f64 (*.f64 c a)) 4))) a))))
	47.9b	(.f64 (/.f64 (-.f64 (pow.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) 3) (pow.f64 b_2 3)) a) (/.f64 1 (fma.f64 b_2 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))))
	33.5b	(/.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (neg.f64 (.f64 (cbrt.f64 b_2) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))))) (fma.f64 (neg.f64 (cbrt.f64 b_2)) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2)) (.f64 (cbrt.f64 b_2) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))))) a)
	33.1b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))
	43.2b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)))
▶	30.1b	(/.f64 1 (.f64 a (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))))
	46.0b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	41.3b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c)))))
	31.9b	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
	41.9b	(*.f64 -1/2 (/.f64 c b_2))
	47.1b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))

Compiler

Compiled 8715 to 2533 computations (70.9% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 1 (.f64 a (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))))
✓	0.1b	(.f64 a (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)))
	0.5b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
	12.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series613.0ms (5.3%)

Counts

2 → 24

Calls

2 calls:

372.0ms	(.f64 a (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)))
241.0ms	(/.f64 1 (.f64 a (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))))

rewrite26.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

46×	`add-exp-log_binary64`
27×	`add-sqr-sqrt_binary64`
21×	`associate-r_binary64`
21×	`*-un-lft-identity_binary64`
20×	`times-frac_binary64`

Counts

2 → 88

Calls

2 calls:

9.0ms	(.f64 a (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)))
7.0ms	(/.f64 1 (.f64 a (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))))

simplify94.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

755×	`fma-def_binary64`
704×	`associate-/r*_binary64`
288×	`associate-*l/_binary64`
263×	`fma-neg_binary64`
254×	`associate-*r/_binary64`

Counts

112 → 169

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	2979
1	519	2512
2	1760	2476
3	4557	2474
4	5075	2474

prune160.0ms (1.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	245	0	245
Fresh	0	11	11
Picked	0	1	1
Done	0	0	0
Total	245	12	257

Error

0.3b

Counts

257 → 12

Alt Table

Status	Error	Program
	41.9b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	50.2b	(fma.f64 1/2 (/.f64 (neg.f64 c) b_2) (fma.f64 1/16 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 3) (.f64 a (pow.f64 b_2 5))) (fma.f64 (.f64 (neg.f64 c) (/.f64 (neg.f64 (.f64 c a)) (pow.f64 b_2 3))) -1/8 (/.f64 (/.f64 -5/128 (/.f64 (pow.f64 b_2 7) (pow.f64 (neg.f64 (*.f64 c a)) 4))) a))))
	47.9b	(.f64 (/.f64 (-.f64 (pow.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) 3) (pow.f64 b_2 3)) a) (/.f64 1 (fma.f64 b_2 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))))
	33.5b	(/.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (neg.f64 (.f64 (cbrt.f64 b_2) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))))) (fma.f64 (neg.f64 (cbrt.f64 b_2)) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2)) (.f64 (cbrt.f64 b_2) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))))) a)
	33.1b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))
	43.2b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)))
✓	30.1b	(/.f64 1 (.f64 a (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))))
	46.0b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	41.3b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c)))))
▶	31.9b	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
	41.9b	(*.f64 -1/2 (/.f64 c b_2))
	47.1b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))

Compiler

Compiled 6954 to 2630 computations (62.2% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a)
✓	4.2b	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
	12.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series377.0ms (3.3%)

Counts

2 → 26

Calls

2 calls:

197.0ms	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
180.0ms	(/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a)

rewrite62.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

271×	`times-frac_binary64`
220×	`add-sqr-sqrt_binary64`
216×	`*-un-lft-identity_binary64`
208×	`add-cube-cbrt_binary64`
169×	`prod-diff_binary64`

Counts

2 → 248

Calls

2 calls:

16.0ms	(-.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a) (/.f64 b_2 a))
2.0ms	(/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) a)

simplify265.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

832×	`times-frac_binary64`
818×	`fma-neg_binary64`
166×	`sub-neg_binary64`
156×	`fma-udef_binary64`
145×	`distribute-neg-frac_binary64`

Counts

274 → 326

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	399	15449
1	951	9716
2	2208	8021
3	4740	8018
4	5076	8018

prune218.0ms (1.9%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	341	4	345
Fresh	2	8	10
Picked	1	0	1
Done	0	1	1
Total	344	13	357

Error

0.3b

Counts

357 → 13

Alt Table

Status	Error	Program
	47.1b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)))
	31.9b	(-.f64 (/.f64 (hypot.f64 (pow.f64 (neg.f64 (*.f64 c a)) 1/2) b_2) a) (/.f64 b_2 a))
	33.1b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))
	43.2b	(/.f64 1 (/.f64 a (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)))
	50.3b	(fma.f64 (sqrt.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) a)) (sqrt.f64 (/.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) a)) (neg.f64 (/.f64 b_2 a)))
✓	30.1b	(/.f64 1 (.f64 a (/.f64 1 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))))
	48.0b	(+.f64 (fma.f64 (/.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) 1) (/.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a) (neg.f64 (.f64 (sqrt.f64 (/.f64 b_2 a)) (sqrt.f64 (/.f64 b_2 a))))) (fma.f64 (neg.f64 (sqrt.f64 (/.f64 b_2 a))) (sqrt.f64 (/.f64 b_2 a)) (.f64 (sqrt.f64 (/.f64 b_2 a)) (sqrt.f64 (/.f64 b_2 a)))))
	46.0b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	44.3b	(-.f64 (/.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) a) (/.f64 b_2 a))
	50.2b	(fma.f64 1/2 (/.f64 (neg.f64 c) b_2) (fma.f64 1/16 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 3) (.f64 a (pow.f64 b_2 5))) (fma.f64 (.f64 (neg.f64 c) (/.f64 (neg.f64 (.f64 c a)) (pow.f64 b_2 3))) -1/8 (/.f64 (/.f64 -5/128 (/.f64 (pow.f64 b_2 7) (pow.f64 (neg.f64 (*.f64 c a)) 4))) a))))
	33.5b	(/.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (neg.f64 (.f64 (cbrt.f64 b_2) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))))) (fma.f64 (neg.f64 (cbrt.f64 b_2)) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2)) (.f64 (cbrt.f64 b_2) (.f64 (cbrt.f64 b_2) (cbrt.f64 b_2))))) a)
	41.3b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (*.f64 2 (/.f64 b_2 (neg.f64 c)))))
	41.9b	(*.f64 -1/2 (/.f64 c b_2))

Compiler

Compiled 14469 to 2689 computations (81.4% saved)

regimes4.1s (35.1%)

Accuracy

Total 10.4b remaining (99%)

Threshold costs 0b (0%)

Counts

248 → 3

Compiler

Compiled 24784 to 14066 computations (43.2% saved)

bsearch74.0ms (0.6%)

Steps

Iters	Range		Point
6	4.947165884957541e-68	4.543809301768456e-67	7.850079025339356e-68
9	-6.186820067276223e+124	-2.3024080099299037e+117	-1.8408981064264846e+122

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	61
1	47	61
2	64	61
3	76	61
4	83	61
5	86	61
6	87	61
7	86	61

end243.0ms (2.1%)

Compiler: Compiled 432 to 233 computations (46.1% saved)

Details

analyze623.0ms (5.4%)

sample2.7s (23.3%)

simplify83.0ms (0.7%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series164.0ms (1.4%)

rewrite52.0ms (0.4%)

simplify257.0ms (2.2%)

prune239.0ms (2.1%)

localize10.0ms (0.1%)

series749.0ms (6.5%)

rewrite36.0ms (0.3%)

simplify215.0ms (1.9%)

prune228.0ms (2%)

localize10.0ms (0.1%)

series613.0ms (5.3%)

rewrite26.0ms (0.2%)

simplify94.0ms (0.8%)

prune160.0ms (1.4%)

localize9.0ms (0.1%)

series377.0ms (3.3%)

rewrite62.0ms (0.5%)

simplify265.0ms (2.3%)

prune218.0ms (1.9%)

regimes4.1s (35.1%)

bsearch74.0ms (0.6%)

simplify6.0ms (0%)

end243.0ms (2.1%)

Profiling