Details

analyze726.0ms (6.5%)

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)

sample447.0ms (4%)

Algorithm

1×

intervals

Results

13.0ms	169×	body	128	valid
10.0ms	27×	body	2048	valid
8.0ms	14×	body	4096	valid
7.0ms	24×	body	1024	valid
3.0ms	12×	body	512	valid
2.0ms	10×	body	256	valid
2.0ms	20×	body	128	nan
1.0ms	13×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

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

31.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	31.3b	(/.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)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.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.2b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
✓	20.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series525.0ms (4.7%)

Counts

4 → 96

Calls

4 calls:

417.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
55.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
43.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
9.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite42.0ms (0.4%)

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)
9.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))

simplify274.0ms (2.5%)

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

prune483.0ms (4.4%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	279	13	292
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	280	13	293

Error

5.5b

Counts

293 → 13

Alt Table

Status	Error	Program
	43.2b	(/.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))))))
	48.8b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	31.9b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	33.0b	(/.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)
	31.4b	(.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a))
	48.4b	(*.f64 -2 (/.f64 b_2 a))
	28.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	34.8b	(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	53.0b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8)))
	40.8b	(*.f64 -1/2 (/.f64 c b_2))
	28.2b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	28.8b	(.f64 (/.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 a) (cbrt.f64 a))) (/.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 a)))
▶	28.1b	(/.f64 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (neg.f64 a))

Compiler

Compiled 9332 to 2104 computations (77.5% saved)

localize19.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)
✓	0.4b	(/.f64 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (neg.f64 a))
✓	1.2b	(+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
✓	14.0b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series1.0s (9.5%)

Counts

4 → 42

Calls

4 calls:

554.0ms	(/.f64 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (neg.f64 a))
231.0ms	(hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)
225.0ms	(+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
39.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite38.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

56×	`*-un-lft-identity_binary64`
40×	`times-frac_binary64`
33×	`add-sqr-sqrt_binary64`
32×	`add-cube-cbrt_binary64`
16×	`distribute-lft-neg-in_binary64`

Counts

4 → 115

Calls

4 calls:

11.0ms	(/.f64 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (neg.f64 a))
6.0ms	(+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
3.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))
1.0ms	(hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)

simplify130.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

893×	`associate-/l*_binary64`
454×	`fma-def_binary64`
237×	`cancel-sign-sub-inv_binary64`
197×	`distribute-rgt-in_binary64`
164×	`associate-/l/_binary64`

Counts

157 → 186

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	249	4187
1	620	4004
2	1927	3921
3	5268	3921

prune136.0ms (1.2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	181	5	186
Fresh	5	7	12
Picked	1	0	1
Done	0	0	0
Total	187	12	199

Error

0.3b

Counts

199 → 12

Alt Table

Status	Error	Program
	44.2b	(.f64 (/.f64 1 (sqrt.f64 (neg.f64 a))) (/.f64 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (neg.f64 a))))
	43.2b	(/.f64 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) (neg.f64 a))
	40.8b	(*.f64 -1/2 (/.f64 c b_2))
▶	28.2b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	56.3b	(/.f64 (+.f64 b_2 (-.f64 (*.f64 1/2 (/.f64 c (/.f64 b_2 a))) b_2)) (neg.f64 a))
	28.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	53.0b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8)))
	45.0b	(/.f64 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) (neg.f64 a))
	43.2b	(/.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))))))
	31.9b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	48.4b	(*.f64 -2 (/.f64 b_2 a))
	28.2b	(.f64 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (/.f64 -1 a))

Compiler

Compiled 4899 to 1511 computations (69.2% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.1s (10%)

Counts

3 → 42

Calls

3 calls:

636.0ms

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

321.0ms

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

157.0ms

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

rewrite62.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

170×	`*-un-lft-identity_binary64`
162×	`times-frac_binary64`
136×	`add-sqr-sqrt_binary64`
102×	`add-cube-cbrt_binary64`
34×	`distribute-lft-out--_binary64`

Counts

3 → 226

Calls

3 calls:

13.0ms

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

7.0ms

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

7.0ms

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

simplify340.0ms (3.1%)

Algorithm

1×	egg-herbie

Rules

667×	`fma-def_binary64`
388×	`fma-neg_binary64`
306×	`cancel-sign-sub-inv_binary64`
214×	`div-sub_binary64`
183×	`sub-neg_binary64`

Counts

268 → 309

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	329	9559
1	774	8023
2	2538	7510
3	4621	7506
4	5024	7506

prune357.0ms (3.2%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	325	3	328
Fresh	1	10	11
Picked	1	0	1
Done	0	0	0
Total	327	13	340

Error

0.3b

Counts

340 → 13

Alt Table

Status	Error	Program
	43.2b	(/.f64 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) (neg.f64 a))
	40.8b	(*.f64 -1/2 (/.f64 c b_2))
	43.2b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	31.9b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	45.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	48.4b	(*.f64 -2 (/.f64 b_2 a))
	28.7b	(.f64 (.f64 (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a)) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) a))) (cbrt.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	53.0b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8)))
	45.0b	(/.f64 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) (neg.f64 a))
	43.2b	(/.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))))))
	56.3b	(/.f64 (+.f64 b_2 (-.f64 (*.f64 1/2 (/.f64 c (/.f64 b_2 a))) b_2)) (neg.f64 a))
	28.2b	(/.f64 1 (.f64 a (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))))
▶	28.2b	(.f64 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (/.f64 -1 a))

Compiler

Compiled 10679 to 2734 computations (74.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.0b	(hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)
✓	0.4b	(.f64 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (/.f64 -1 a))
	1.2b	(+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
	14.0b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series305.0ms (2.7%)

Counts

1 → 14

Calls

1 calls:

305.0ms

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

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

14×	`add-sqr-sqrt_binary64`
13×	`associate-r_binary64`
11×	`*-un-lft-identity_binary64`
10×	`times-frac_binary64`
9×	`add-cube-cbrt_binary64`

Counts

1 → 39

Calls

1 calls:

7.0ms

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

simplify74.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

589×	`times-frac_binary64`
411×	`fma-neg_binary64`
407×	`associate-/l*_binary64`
314×	`distribute-rgt-in_binary64`
294×	`fma-def_binary64`

Counts

53 → 82

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	152	1663
1	423	1474
2	1452	1455
3	4916	1455
4	5191	1455

prune123.0ms (1.1%)

Pruning

13 alts after pruning (13 fresh and 0 done)

	Pruned	Kept	Total
New	173	2	175
Fresh	1	11	12
Picked	1	0	1
Done	0	0	0
Total	175	13	188

Error

0.3b

Counts

188 → 13

Alt Table

Status	Error	Program
	43.2b	(/.f64 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2)) (neg.f64 a))
	40.8b	(*.f64 -1/2 (/.f64 c b_2))
	28.7b	(.f64 (.f64 (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 (/.f64 -1 a)))) (cbrt.f64 (/.f64 -1 a)))
	43.2b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	31.9b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	45.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	48.4b	(*.f64 -2 (/.f64 b_2 a))
	45.0b	(.f64 (+.f64 b_2 (hypot.f64 (.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) (/.f64 -1 a))
	53.0b	(fma.f64 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b_2 5)) -1/16 (fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8)))
	45.0b	(/.f64 (+.f64 b_2 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2)) (neg.f64 a))
	43.2b	(/.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))))))
	56.3b	(/.f64 (+.f64 b_2 (-.f64 (*.f64 1/2 (/.f64 c (/.f64 b_2 a))) b_2)) (neg.f64 a))
	28.2b	(/.f64 1 (.f64 a (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)))))

Compiler

Compiled 4465 to 1705 computations (61.8% saved)

regimes2.9s (25.7%)

Accuracy

Total 10.0b remaining (98.3%)

Threshold costs 0b (0%)

Counts

212 → 3

Compiler

Compiled 19027 to 10953 computations (42.4% saved)

bsearch74.0ms (0.7%)

Steps

Iters	Range		Point
10	1.225568056225516e+83	4.892449600342595e+94	4.829779744855769e+94
7	-4.74896536889909e-56	-1.1343765304256767e-57	-1.1477791472037341e-57

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

11×	`+-commutative_binary64`
11×	`*-commutative_binary64`
10×	`sub-neg_binary64`
8×	`neg-sub0_binary64`
8×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	27	56
1	42	56
2	61	56
3	78	56
4	88	56
5	91	56
6	91	56

end1.0ms (0%)

Compiler: Compiled 41 to 25 computations (39% saved)

sample1.8s (16%)

Algorithm

1×

intervals

Results

379.0ms	1141×	body	2048	valid
353.0ms	5221×	body	128	valid
185.0ms	696×	body	1024	valid
161.0ms	413×	body	4096	valid
68.0ms	360×	body	512	valid
51.0ms	771×	body	128	nan
21.0ms	169×	body	256	valid
18.0ms	267×	body	128	invalid

Compiler

Compiled 315 to 201 computations (36.2% saved)

Details

analyze726.0ms (6.5%)

sample447.0ms (4%)

simplify92.0ms (0.8%)

prune2.0ms (0%)

localize9.0ms (0.1%)

series525.0ms (4.7%)

rewrite42.0ms (0.4%)

simplify274.0ms (2.5%)

prune483.0ms (4.4%)

localize19.0ms (0.2%)

series1.0s (9.5%)

rewrite38.0ms (0.3%)

simplify130.0ms (1.2%)

prune136.0ms (1.2%)

localize11.0ms (0.1%)

series1.1s (10%)

rewrite62.0ms (0.6%)

simplify340.0ms (3.1%)

prune357.0ms (3.2%)

localize18.0ms (0.2%)

series305.0ms (2.7%)

rewrite11.0ms (0.1%)

simplify74.0ms (0.7%)

prune123.0ms (1.1%)

regimes2.9s (25.7%)

bsearch74.0ms (0.7%)

simplify5.0ms (0%)

end1.0ms (0%)

sample1.8s (16%)

Profiling