Details

analyze644.0ms (5.7%)

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.8s (24.9%)

Results

838.0ms	1151×	body	2048	valid
723.0ms	5378×	body	128	valid
296.0ms	761×	body	1024	valid
226.0ms	393×	body	4096	valid
212.0ms	382×	body	512	valid
141.0ms	1098×	body	128	invalid
42.0ms	191×	body	256	valid

Compiler

Compiled 50 to 32 computations (36% saved)

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

31.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	31.3b	(/.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)
✓	1.7b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	2.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	19.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series206.0ms (1.8%)

Counts

4 → 96

Calls

4 calls:

98.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
55.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
43.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
10.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite31.0ms (0.3%)

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:

8.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
7.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
5.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
3.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

simplify309.0ms (2.7%)

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

prune213.0ms (1.9%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	222	15	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	223	15	238

Error

5.4b

Counts

238 → 15

Alt Table

Status	Error	Program
	48.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))) (sqrt.f64 a)) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (sqrt.f64 a)))
	45.1b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
▶	31.4b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	46.2b	(.f64 (sqrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) a)) (sqrt.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	33.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a)
	40.5b	(*.f64 -1/2 (/.f64 c b_2))
	31.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
	46.7b	(/.f64 (*.f64 -2 b_2) a)
	31.8b	(.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) (cbrt.f64 a)))
	54.2b	(/.f64 (+.f64 (fma.f64 1 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (neg.f64 (.f64 (sqrt.f64 b_2) (sqrt.f64 b_2)))) (fma.f64 (neg.f64 (sqrt.f64 b_2)) (sqrt.f64 b_2) (.f64 (sqrt.f64 b_2) (sqrt.f64 b_2)))) a)
	31.5b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	46.8b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	57.2b	(/.f64 (-.f64 b_2 b_2) a)
	40.1b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	47.4b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)

Compiler

Compiled 6131 to 1800 computations (70.6% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	1.7b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
	2.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	19.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series113.0ms (1%)

Counts

1 → 20

Calls

1 calls:

113.0ms

(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))

rewrite15.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

20×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
12×	`*-un-lft-identity_binary64`
11×	`times-frac_binary64`
10×	`add-exp-log_binary64`

Counts

1 → 45

Calls

1 calls:

11.0ms

(*.f64 (-.f64 (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))

simplify90.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

461×	`times-frac_binary64`
381×	`associate-l_binary64`
320×	`associate-/l*_binary64`
257×	`associate-/r*_binary64`
248×	`fma-neg_binary64`

Counts

65 → 91

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	142	1800
1	372	1651
2	1204	1581
3	4735	1581
4	4985	1581
5	4951	1581

prune162.0ms (1.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	242	1	243
Fresh	2	12	14
Picked	1	0	1
Done	0	0	0
Total	245	13	258

Error

5.4b

Counts

258 → 13

Alt Table

Status	Error	Program
	48.4b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))) (sqrt.f64 a)) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (sqrt.f64 a)))
	45.1b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	33.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a)
	40.5b	(*.f64 -1/2 (/.f64 c b_2))
▶	31.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
	46.7b	(/.f64 (*.f64 -2 b_2) a)
	40.1b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	41.6b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) a) (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))
	31.5b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	46.8b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	57.2b	(/.f64 (-.f64 b_2 b_2) a)
	47.4b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
	54.2b	(/.f64 (+.f64 (fma.f64 1 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (neg.f64 (.f64 (sqrt.f64 b_2) (sqrt.f64 b_2)))) (fma.f64 (neg.f64 (sqrt.f64 b_2)) (sqrt.f64 b_2) (.f64 (sqrt.f64 b_2) (sqrt.f64 b_2)))) a)

Compiler

Compiled 6466 to 2271 computations (64.9% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)
	2.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	6.7b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
	19.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series144.0ms (1.3%)

Counts

2 → 40

Calls

2 calls:

78.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
66.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)

rewrite132.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

490×	`times-frac_binary64`
381×	`add-sqr-sqrt_binary64`
370×	`*-un-lft-identity_binary64`
362×	`add-cube-cbrt_binary64`
286×	`prod-diff_binary64`

Counts

2 → 390

Calls

2 calls:

29.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
5.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)

simplify452.0ms (4%)

Algorithm

1×	egg-herbie

Rules

928×	`times-frac_binary64`
550×	`fma-neg_binary64`
201×	`fma-udef_binary64`
195×	`unsub-neg_binary64`
159×	`sub-neg_binary64`

Counts

430 → 444

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	460	24679
1	1066	14617
2	2467	11623
3	4513	11623
4	4996	11623
5	4840	11623

prune288.0ms (2.5%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	523	2	525
Fresh	2	10	12
Picked	0	1	1
Done	0	0	0
Total	525	13	538

Error

5.3b

Counts

538 → 13

Alt Table

Status	Error	Program
	32.8b	(-.f64 (/.f64 (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (/.f64 a (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) (/.f64 b_2 a))
	45.1b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	33.3b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a)
	40.5b	(*.f64 -1/2 (/.f64 c b_2))
✓	31.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
	46.7b	(/.f64 (*.f64 -2 b_2) a)
	40.1b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2) a)))
	41.6b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) a) (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))
▶	31.5b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	46.8b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	57.2b	(/.f64 (-.f64 b_2 b_2) a)
	47.4b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)
	54.4b	(+.f64 (fma.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (cbrt.f64 a)) (neg.f64 (.f64 (/.f64 (sqrt.f64 b_2) (cbrt.f64 a)) (/.f64 (sqrt.f64 b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a)))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 b_2) (cbrt.f64 a))) (/.f64 (sqrt.f64 b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (.f64 (/.f64 (sqrt.f64 b_2) (cbrt.f64 a)) (/.f64 (sqrt.f64 b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a))))))

Compiler

Compiled 22009 to 4089 computations (81.4% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
✓	0.2b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
✓	1.2b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
✓	12.9b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series916.0ms (8.1%)

Counts

4 → 28

Calls

4 calls:

516.0ms	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
230.0ms	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
152.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
19.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite45.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`add-sqr-sqrt_binary64`
65×	`*-un-lft-identity_binary64`
52×	`times-frac_binary64`
51×	`sqrt-prod_binary64`
47×	`add-cube-cbrt_binary64`

Counts

4 → 161

Calls

4 calls:

15.0ms	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
6.0ms	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
3.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
2.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

simplify174.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

572×	`fma-def_binary64`
337×	`neg-mul-1_binary64`
319×	`fma-neg_binary64`
304×	`cancel-sign-sub-inv_binary64`
165×	`associate-l_binary64`

Counts

189 → 242

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	312	6410
1	698	5446
2	2377	5193
3	4494	5189
4	5013	5189

prune162.0ms (1.4%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	316	2	318
Fresh	2	9	11
Picked	1	0	1
Done	0	1	1
Total	319	12	331

Error

5.3b

Counts

331 → 12

Alt Table

Status	Error	Program
	32.8b	(-.f64 (/.f64 (sqrt.f64 (.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (/.f64 a (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) (/.f64 b_2 a))
	45.1b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
✓	31.4b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
	46.7b	(/.f64 (*.f64 -2 b_2) a)
	54.4b	(+.f64 (fma.f64 (/.f64 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (cbrt.f64 a)) (neg.f64 (.f64 (/.f64 (sqrt.f64 b_2) (cbrt.f64 a)) (/.f64 (sqrt.f64 b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a)))))) (fma.f64 (neg.f64 (/.f64 (sqrt.f64 b_2) (cbrt.f64 a))) (/.f64 (sqrt.f64 b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a))) (.f64 (/.f64 (sqrt.f64 b_2) (cbrt.f64 a)) (/.f64 (sqrt.f64 b_2) (.f64 (cbrt.f64 a) (cbrt.f64 a))))))
	48.8b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)) a))
	48.2b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)) a))
	46.8b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	57.2b	(/.f64 (-.f64 b_2 b_2) a)
	40.5b	(*.f64 -1/2 (/.f64 c b_2))
	41.6b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) a) (+.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))
	47.4b	(/.f64 (.f64 -1/2 (/.f64 (.f64 c a) b_2)) a)

Compiler

Compiled 11628 to 2112 computations (81.8% saved)

regimes4.0s (35.1%)

Accuracy

Total 4.6b remaining (45.7%)

Threshold costs 0b (0%)

Counts

247 → 3

Compiler

Compiled 28564 to 14562 computations (49% saved)

bsearch102.0ms (0.9%)

Steps

Iters	Range		Point
7	6.502528563679359e-51	3.2813940888216803e-49	7.097830811038935e-51
3	-2.957092092938199e+158	-2.3438156235212633e+151	-1.8169273602325822e+152

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	26	56
1	43	56
2	63	56
3	75	56
4	83	56
5	85	56
6	84	56

end213.0ms (1.9%)

Compiler: Compiled 351 to 188 computations (46.4% saved)

Details

analyze644.0ms (5.7%)

sample2.8s (24.9%)

simplify84.0ms (0.7%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series206.0ms (1.8%)

rewrite31.0ms (0.3%)

simplify309.0ms (2.7%)

prune213.0ms (1.9%)

localize9.0ms (0.1%)

series113.0ms (1%)

rewrite15.0ms (0.1%)

simplify90.0ms (0.8%)

prune162.0ms (1.4%)

localize9.0ms (0.1%)

series144.0ms (1.3%)

rewrite132.0ms (1.2%)

simplify452.0ms (4%)

prune288.0ms (2.5%)

localize10.0ms (0.1%)

series916.0ms (8.1%)

rewrite45.0ms (0.4%)

simplify174.0ms (1.5%)

prune162.0ms (1.4%)

regimes4.0s (35.1%)

bsearch102.0ms (0.9%)

simplify4.0ms (0%)

end213.0ms (1.9%)

Profiling