Details

analyze641.0ms (3.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
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.5s (13.2%)

Results

745.0ms	5352×	body	128	valid
582.0ms	1187×	body	2048	valid
294.0ms	751×	body	1024	valid
224.0ms	393×	body	4096	valid
121.0ms	1026×	body	128	invalid
109.0ms	366×	body	512	valid
43.0ms	207×	body	256	valid

Compiler

Compiled 50 to 32 computations (36% saved)

simplify324.0ms (1.7%)

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

35.0b

Counts

2 → 1

Alt Table

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

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.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	0.9b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
✓	23.0b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series238.0ms (1.3%)

Counts

4 → 96

Calls

4 calls:

95.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
79.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))))
9.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite43.0ms (0.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:

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

simplify304.0ms (1.6%)

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

prune230.0ms (1.2%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	282	10	292
Fresh	0	0	0
Picked	0	1	1
Done	0	0	0
Total	282	11	293

Error

5.9b

Counts

293 → 11

Alt Table

Status	Error	Program
	51.1b	(/.f64 (+.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (/.f64 a (-.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))))
	43.7b	(/.f64 (/.f64 (-.f64 (pow.f64 (neg.f64 b_2) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3)) (+.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))))))) a)
	35.5b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) a)
	45.8b	(/.f64 (*.f64 -2 b_2) a)
▶	32.1b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	36.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	55.1b	(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
	61.3b	(/.f64 (.f64 (sqrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (sqrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) a)
	39.2b	(*.f64 -1/2 (/.f64 c b_2))
	45.8b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
✓	35.0b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 9210 to 2020 computations (78.1% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series884.0ms (4.7%)

Counts

4 → 42

Calls

4 calls:

443.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
238.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
183.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
19.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite52.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

172×	`*-un-lft-identity_binary64`
162×	`times-frac_binary64`
139×	`add-sqr-sqrt_binary64`
104×	`add-cube-cbrt_binary64`
34×	`distribute-lft-out--_binary64`

Counts

4 → 244

Calls

4 calls:

11.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
6.0ms	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
5.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
2.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

simplify238.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

715×	`fma-def_binary64`
401×	`fma-neg_binary64`
316×	`cancel-sign-sub-inv_binary64`
186×	`sub-neg_binary64`
154×	`distribute-frac-neg_binary64`

Counts

286 → 331

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	349	9712
1	794	8164
2	2705	7612
3	4798	7608
4	4906	7608

prune200.0ms (1.1%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	327	4	331
Fresh	4	5	9
Picked	0	1	1
Done	0	1	1
Total	331	11	342

Error

0.1b

Counts

342 → 11

Alt Table

Status	Error	Program
	61.3b	(/.f64 (.f64 (sqrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (sqrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) a)
	44.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
▶	35.5b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) a)
	52.0b	(/.f64 1 (+.f64 (.f64 1/2 (/.f64 a b_2)) (.f64 2 (/.f64 (.f64 a b_2) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 2)))))
	48.9b	(.f64 (/.f64 1 (/.f64 1 (+.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))))) (/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))))
	39.2b	(*.f64 -1/2 (/.f64 c b_2))
✓	32.1b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	36.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	47.1b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	45.8b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
✓	35.0b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 10604 to 2726 computations (74.3% saved)

localize16.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))
	0.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	0.9b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
	23.0b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series831.0ms (4.5%)

Counts

1 → 20

Calls

1 calls:

831.0ms

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

rewrite8.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

7×	`cbrt-prod_binary64`
6×	`*-un-lft-identity_binary64`
6×	`add-sqr-sqrt_binary64`
2×	`distribute-lft-out--_binary64`
2×	`difference-of-squares_binary64`

Counts

1 → 19

Calls

1 calls:

6.0ms

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

simplify86.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

653×	`associate-/l*_binary64`
453×	`fma-def_binary64`
280×	`fma-neg_binary64`
206×	`cancel-sign-sub-inv_binary64`
172×	`associate-r_binary64`

Counts

39 → 61

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	174	1857
1	499	1808
2	1716	1706
3	4731	1660
4	4960	1660

prune540.0ms (2.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	797	1	798
Fresh	1	7	8
Picked	1	0	1
Done	0	2	2
Total	799	10	809

Error

0.1b

Counts

809 → 10

Alt Table

Status	Error	Program
	48.9b	(.f64 (/.f64 1 (/.f64 1 (+.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))))) (/.f64 1 (/.f64 a (-.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))))
	39.2b	(*.f64 -1/2 (/.f64 c b_2))
✓	32.1b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
▶	36.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	47.1b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	44.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	52.0b	(/.f64 1 (+.f64 (.f64 1/2 (/.f64 a b_2)) (.f64 2 (/.f64 (.f64 a b_2) (pow.f64 (sqrt.f64 (neg.f64 (.f64 c a))) 2)))))
	45.8b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
✓	35.0b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
	44.0b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (neg.f64 b_2) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3))) (cbrt.f64 (+.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))))))))) a)

Compiler

Compiled 47868 to 8687 computations (81.9% saved)

localize9.0ms (0%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
✓	1.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
✓	7.3b	(/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))
	12.2b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series1.1s (5.8%)

Counts

3 → 36

Calls

3 calls:

480.0ms

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

444.0ms

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

155.0ms

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

rewrite28.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

58×	`times-frac_binary64`
47×	`*-un-lft-identity_binary64`
47×	`add-sqr-sqrt_binary64`
33×	`add-cube-cbrt_binary64`
17×	`add-cbrt-cube_binary64`

Counts

3 → 125

Calls

3 calls:

7.0ms

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

5.0ms

(/.f64 (*.f64 c 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)

simplify184.0ms (1%)

Algorithm

1×	egg-herbie

Rules

720×	`fma-def_binary64`
390×	`cancel-sign-sub-inv_binary64`
251×	`fma-neg_binary64`
247×	`times-frac_binary64`
196×	`associate-/l*_binary64`

Counts

161 → 236

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	331	5674
1	872	4918
2	3266	4799
3	4807	4797
4	4966	4797
5	4909	4797

prune169.0ms (0.9%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	253	2	255
Fresh	2	5	7
Picked	0	1	1
Done	0	2	2
Total	255	10	265

Error

0.1b

Counts

265 → 10

Alt Table

Status	Error	Program
✓	32.1b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	43.0b	(/.f64 (/.f64 (.f64 c a) (fma.f64 -1/2 (/.f64 (neg.f64 (.f64 c a)) b_2) (*.f64 b_2 -2))) a)
✓	36.5b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	47.1b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	44.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	39.2b	(*.f64 -1/2 (/.f64 c b_2))
	45.8b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
✓	35.0b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
	44.0b	(/.f64 (.f64 (.f64 (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) (cbrt.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (/.f64 (cbrt.f64 (-.f64 (pow.f64 (neg.f64 b_2) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3))) (cbrt.f64 (+.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))))))))) a)
	33.4b	(.f64 1 (/.f64 c (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)))

Compiler

Compiled 7505 to 1755 computations (76.6% saved)

regimes9.7s (52.3%)

Accuracy

Total 7.9b remaining (98.7%)

Threshold costs 0b (0%)

Counts

423 → 4

Compiler

Compiled 75463 to 31413 computations (58.4% saved)

bsearch124.0ms (0.7%)

Steps

Iters	Range	Point
8	4.3149329365642127e+80	2.3394422409923389e+83	2.145068448284974e+83
10	-8.780568671765875e-286	-1.5327935008705708e-299	-1.1138808105799072e-298
5	-7.550484780560298e+27	-1.9864968593876005e+27	-4.5426505460560854e+27

Iters

Range

Point

4.3149329365642127e+80

2.3394422409923389e+83

2.145068448284974e+83

-8.780568671765875e-286

-1.5327935008705708e-299

-1.1138808105799072e-298

-7.550484780560298e+27

-1.9864968593876005e+27

-4.5426505460560854e+27

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`
7×	`neg-sub0_binary64`
7×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	76
1	57	76
2	72	76
3	86	76
4	93	76
5	96	76
6	97	76
7	96	76

end173.0ms (0.9%)

Compiler: Compiled 336 to 186 computations (44.6% saved)

Details

analyze641.0ms (3.4%)

sample2.5s (13.2%)

simplify324.0ms (1.7%)

prune2.0ms (0%)

localize9.0ms (0%)

series238.0ms (1.3%)

rewrite43.0ms (0.2%)

simplify304.0ms (1.6%)

prune230.0ms (1.2%)

localize12.0ms (0.1%)

series884.0ms (4.7%)

rewrite52.0ms (0.3%)

simplify238.0ms (1.3%)

prune200.0ms (1.1%)

localize16.0ms (0.1%)

series831.0ms (4.5%)

rewrite8.0ms (0%)

simplify86.0ms (0.5%)

prune540.0ms (2.9%)

localize9.0ms (0%)

series1.1s (5.8%)

rewrite28.0ms (0.1%)

simplify184.0ms (1%)

prune169.0ms (0.9%)

regimes9.7s (52.3%)

bsearch124.0ms (0.7%)

simplify5.0ms (0%)

end173.0ms (0.9%)

Profiling