Details

analyze626.0ms (5.9%)

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
35.1%	55%	9.9%	9
36.3%	50.9%	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.4s (22.7%)

Results

752.0ms	5416×	body	128	valid
538.0ms	1135×	body	2048	valid
284.0ms	755×	body	1024	valid
224.0ms	396×	body	4096	valid
116.0ms	1028×	body	128	invalid
101.0ms	356×	body	512	valid
40.0ms	198×	body	256	valid

Compiler

Compiled 50 to 32 computations (36% saved)

simplify85.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

518×	`div-sub_binary64`
428×	`fma-neg_binary64`
246×	`associate-/l*_binary64`
205×	`fma-def_binary64`
183×	`times-frac_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	27	20
2	54	20
3	115	20
4	179	20
5	291	20
6	417	20
7	528	20
8	602	20
9	854	20
10	1802	20
11	1043	20
12	1027	20
13	1035	20
14	1043	20
15	1043	20
16	1101	20
17	1137	20
18	1139	20
19	1151	20
20	1046	20

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

30.1b

Counts

2 → 1

Alt Table

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

Compiler

Compiled 48 to 30 computations (37.5% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
✓	0.8b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	1.9b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
✓	20.5b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series190.0ms (1.8%)

Counts

4 → 96

Calls

4 calls:

77.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
60.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
41.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
11.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite132.0ms (1.2%)

Algorithm

1×	rewrite-expression-head

Rules

81×	`add-sqr-sqrt_binary64`
80×	`*-un-lft-identity_binary64`
61×	`prod-diff_binary64`
60×	`add-cube-cbrt_binary64`
41×	`sqrt-prod_binary64`

Counts

4 → 176

Calls

4 calls:

10.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
10.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
3.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify236.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

819×	`fma-neg_binary64`
295×	`cancel-sign-sub-inv_binary64`
181×	`unswap-sqr_binary64`
169×	`sub-neg_binary64`
135×	`associate-r_binary64`

Counts

272 → 292

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	317	8791
1	779	6792
2	2682	5750
3	4584	5750
4	4974	5750

prune225.0ms (2.1%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	278	14	292
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	279	14	293

Error

6.1b

Counts

293 → 14

Alt Table

Status	Error	Program
	44.5b	(/.f64 (-.f64 (pow.f64 (neg.f64 b_2) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3)) (.f64 a (+.f64 (.f64 (neg.f64 b_2) (neg.f64 b_2)) (+.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 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))
	31.3b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (fabs.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))) (sqrt.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 c a)))))) a)
	34.9b	(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	30.2b	(.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
	56.6b	(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
	46.1b	(/.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 a)) (sqrt.f64 a))
	29.6b	(.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a))
	46.0b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	45.7b	(/.f64 (*.f64 -2 b_2) a)
	29.2b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	50.8b	(/.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)
▶	29.1b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)
	43.5b	(*.f64 -1/2 (/.f64 c b_2))
	43.7b	(/.f64 (-.f64 (.f64 (neg.f64 b_2) (neg.f64 b_2)) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (.f64 a (+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))

Compiler

Compiled 9372 to 2126 computations (77.3% saved)

localize8.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series452.0ms (4.3%)

Counts

3 → 28

Calls

3 calls:

230.0ms	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)
204.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
18.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite24.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`*-un-lft-identity_binary64`
49×	`add-sqr-sqrt_binary64`
38×	`add-cube-cbrt_binary64`
30×	`prod-diff_binary64`
18×	`times-frac_binary64`

Counts

3 → 123

Calls

3 calls:

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

simplify135.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

526×	`fma-def_binary64`
451×	`fma-neg_binary64`
296×	`div-sub_binary64`
232×	`cancel-sign-sub-inv_binary64`
159×	`distribute-rgt-in_binary64`

Counts

151 → 172

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	260	4852
1	599	3789
2	1923	3346
3	4316	3342
4	4897	3342

prune117.0ms (1.1%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	168	4	172
Fresh	5	8	13
Picked	1	0	1
Done	0	0	0
Total	174	12	186

Error

0.0b

Counts

186 → 12

Alt Table

Status	Error	Program
	50.8b	(/.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)
▶	29.1b	(.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (/.f64 1 a))
	43.5b	(*.f64 -1/2 (/.f64 c b_2))
	44.7b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) a)
	46.1b	(/.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 a)) (sqrt.f64 a))
	29.6b	(.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a))
	29.3b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2)) a)
	44.5b	(/.f64 (-.f64 (pow.f64 (neg.f64 b_2) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3)) (.f64 a (+.f64 (.f64 (neg.f64 b_2) (neg.f64 b_2)) (+.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 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))))))
	29.2b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	42.6b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) a)
	46.0b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	43.7b	(/.f64 (-.f64 (.f64 (neg.f64 b_2) (neg.f64 b_2)) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (.f64 a (+.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))

Compiler

Compiled 5693 to 1402 computations (75.4% saved)

localize9.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (/.f64 1 a))
	0.8b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
	9.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series229.0ms (2.2%)

Counts

1 → 14

Calls

1 calls:

229.0ms

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

rewrite13.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 45

Calls

1 calls:

9.0ms

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

simplify78.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

733×	`times-frac_binary64`
469×	`fma-neg_binary64`
382×	`associate-/l*_binary64`
255×	`fma-def_binary64`
192×	`distribute-rgt-in_binary64`

Counts

59 → 90

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	146	1762
1	393	1575
2	1240	1558
3	4698	1558
4	5012	1558

prune129.0ms (1.2%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	190	4	194
Fresh	4	7	11
Picked	0	1	1
Done	0	0	0
Total	194	12	206

Error

0.0b

Counts

206 → 12

Alt Table

Status	Error	Program
	50.8b	(/.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)
✓	29.1b	(.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (/.f64 1 a))
	43.5b	(*.f64 -1/2 (/.f64 c b_2))
	44.7b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) a)
	46.1b	(/.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 a)) (sqrt.f64 a))
▶	29.3b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2)) a)
	44.7b	(.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) (/.f64 1 a))
	42.6b	(.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) (/.f64 1 a))
	42.6b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) a)
	46.0b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	35.8b	(.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 3)) b_2)) (/.f64 1 a))
	41.3b	(/.f64 (/.f64 (-.f64 (.f64 b_2 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))) a) (+.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))

Compiler

Compiled 6292 to 1816 computations (71.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2)) a)
✓	0.2b	(.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))))
✓	0.8b	(-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2))
✓	11.0b	(cbrt.f64 (neg.f64 (*.f64 c a)))

series2.5s (23.4%)

Counts

4 → 120

Calls

4 calls:

883.0ms	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2)) a)
692.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2))
474.0ms	(.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))))
420.0ms	(cbrt.f64 (neg.f64 (*.f64 c a)))

rewrite45.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

90×	`add-sqr-sqrt_binary64`
65×	`*-un-lft-identity_binary64`
45×	`add-cube-cbrt_binary64`
31×	`cbrt-prod_binary64`
30×	`prod-diff_binary64`

Counts

4 → 178

Calls

4 calls:

12.0ms	(.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))))
7.0ms	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2)) a)
5.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a))))) b_2))
1.0ms	(cbrt.f64 (neg.f64 (*.f64 c a)))

simplify306.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

598×	`fma-neg_binary64`
295×	`unswap-sqr_binary64`
266×	`associate-r_binary64`
260×	`associate-l_binary64`
249×	`*-commutative_binary64`

Counts

298 → 330

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	467	13770
1	1141	10449
2	3268	8348
3	4544	8252
4	5000	8252
5	4907	8252

prune249.0ms (2.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	363	1	364
Fresh	1	9	10
Picked	1	0	1
Done	0	1	1
Total	365	11	376

Error

0.0b

Counts

376 → 11

Alt Table

Status	Error	Program
	44.7b	(.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) (/.f64 1 a))
	29.3b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (cbrt.f64 (sqrt.f64 (neg.f64 (.f64 c a)))) (cbrt.f64 (neg.f64 (*.f64 a c)))) b_2)) a)
	50.8b	(/.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)
✓	29.1b	(.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (/.f64 1 a))
	43.5b	(*.f64 -1/2 (/.f64 c b_2))
	44.7b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) a)
	42.6b	(.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) (/.f64 1 a))
	42.6b	(/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) a)
	46.1b	(/.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 a)) (sqrt.f64 a))
	46.0b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	41.3b	(/.f64 (/.f64 (-.f64 (.f64 b_2 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))) a) (+.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))

Compiler

Compiled 13743 to 3820 computations (72.2% saved)

regimes2.2s (20.5%)

Accuracy

Total 9.8b remaining (97.6%)

Threshold costs 0b (0%)

Counts

175 → 3

Compiler

Compiled 15697 to 9153 computations (41.7% saved)

bsearch66.0ms (0.6%)

Steps

Iters	Range		Point
6	2.1662936522599037e+124	1.1306801188108929e+125	8.279245329538253e+124
8	-5.202305625488711e-43	-8.357815413197399e-48	-1.9663641729603736e-44

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

10×	`+-commutative_binary64`
10×	`*-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	24	46
1	38	46
2	53	46
3	68	46
4	77	46
5	81	46
6	82	46
7	82	46

end139.0ms (1.3%)

Compiler: Compiled 286 to 181 computations (36.7% saved)

Details

analyze626.0ms (5.9%)

sample2.4s (22.7%)

simplify85.0ms (0.8%)

prune2.0ms (0%)

localize8.0ms (0.1%)

series190.0ms (1.8%)

rewrite132.0ms (1.2%)

simplify236.0ms (2.2%)

prune225.0ms (2.1%)

localize8.0ms (0.1%)

series452.0ms (4.3%)

rewrite24.0ms (0.2%)

simplify135.0ms (1.3%)

prune117.0ms (1.1%)

localize9.0ms (0.1%)

series229.0ms (2.2%)

rewrite13.0ms (0.1%)

simplify78.0ms (0.7%)

prune129.0ms (1.2%)

localize12.0ms (0.1%)

series2.5s (23.4%)

rewrite45.0ms (0.4%)

simplify306.0ms (2.9%)

prune249.0ms (2.4%)

regimes2.2s (20.5%)

bsearch66.0ms (0.6%)

simplify4.0ms (0%)

end139.0ms (1.3%)

Profiling