Details

analyze1.4s (9.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
0%	99.9%	0.1%	5
0%	99.9%	0.1%	6
0%	95.2%	4.8%	7
0%	94.4%	5.6%	8
0%	90.1%	9.9%	9
0%	87.2%	12.8%	10
0%	85.3%	14.7%	11
0%	82.4%	17.6%	12
0%	80.6%	19.4%	13
0%	79.2%	20.8%	14

Compiler

Compiled 17 to 11 computations (35.3% saved)

sample3.2s (21.3%)

Results

779.0ms	5264×	body	128	valid
647.0ms	1205×	body	2048	valid
312.0ms	756×	body	1024	valid
284.0ms	384×	body	8192	exit
259.0ms	431×	body	4096	valid
127.0ms	407×	body	512	valid
109.0ms	866×	body	128	invalid
41.0ms	193×	body	256	valid

Compiler

Compiled 33 to 21 computations (36.4% saved)

simplify84.0ms (0.6%)

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

33.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.9b	(/.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.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.0b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
✓	24.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series198.0ms (1.3%)

Counts

4 → 96

Calls

4 calls:

84.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
59.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
45.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
10.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite111.0ms (0.7%)

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:

74.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
11.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
4.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify231.0ms (1.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

prune188.0ms (1.2%)

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

5.0b

Counts

293 → 14

Alt Table

Status	Error	Program
	37.1b	(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
▶	30.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	56.4b	(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
	50.3b	(.f64 (+.f64 (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (sqrt.f64 (neg.f64 b_2))) (/.f64 (-.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a))
	46.2b	(exp.f64 (log.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	51.3b	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (cbrt.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)) 3)))) a)
	34.8b	(/.f64 (-.f64 (neg.f64 b_2) (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2))) (cbrt.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	35.7b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	44.8b	(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 1 (.f64 (cbrt.f64 a) (cbrt.f64 a))) (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (cbrt.f64 a)))
	40.7b	(*.f64 -1/2 (/.f64 c b_2))
	44.3b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	44.1b	(*.f64 -2 (/.f64 b_2 a))
	57.5b	(log.f64 (exp.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))

Compiler

Compiled 9226 to 2100 computations (77.2% saved)

localize11.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.6b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
✓	14.4b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series917.0ms (6%)

Counts

4 → 42

Calls

4 calls:

452.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
255.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
189.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)))

rewrite51.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:

9.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
6.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
5.0ms	(-.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)))

simplify247.0ms (1.6%)

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

prune206.0ms (1.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	325	6	331
Fresh	10	3	13
Picked	0	1	1
Done	0	0	0
Total	335	10	345

Error

0.1b

Counts

345 → 10

Alt Table

Status	Error	Program
	44.8b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	31.3b	(/.f64 1 (/.f64 (.f64 (cbrt.f64 a) (cbrt.f64 a)) (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2)) (cbrt.f64 a))))
	47.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	44.8b	(/.f64 (/.f64 1 (/.f64 a (-.f64 (.f64 (neg.f64 b_2) (neg.f64 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))))) (+.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
	35.7b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
▶	30.9b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
✓	30.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	40.7b	(*.f64 -1/2 (/.f64 c b_2))
	44.3b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	40.5b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))

Compiler

Compiled 10520 to 2706 computations (74.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series655.0ms (4.3%)

Counts

2 → 28

Calls

2 calls:

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

rewrite123.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

807×	`times-frac_binary64`
512×	`*-un-lft-identity_binary64`
420×	`add-sqr-sqrt_binary64`
328×	`add-cube-cbrt_binary64`
92×	`distribute-lft-out--_binary64`

Counts

2 → 430

Calls

2 calls:

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

simplify450.0ms (3%)

Algorithm

1×	egg-herbie

Rules

415×	`fma-def_binary64`
253×	`distribute-rgt-in_binary64`
227×	`distribute-lft-in_binary64`
221×	`fma-neg_binary64`
194×	`div-sub_binary64`

Counts

458 → 448

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	286	18757
1	767	17169
2	2378	16932
3	4543	16926
4	4941	16926

prune361.0ms (2.4%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	549	3	552
Fresh	1	7	8
Picked	1	0	1
Done	0	1	1
Total	551	11	562

Error

0.1b

Counts

562 → 11

Alt Table

Status	Error	Program
	47.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	44.8b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	44.8b	(/.f64 (/.f64 1 (/.f64 a (-.f64 (.f64 (neg.f64 b_2) (neg.f64 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))))) (+.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
	35.7b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
✓	30.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
▶	31.0b	(/.f64 (/.f64 1 a) (/.f64 1 (-.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))))
	44.8b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	47.0b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	40.7b	(*.f64 -1/2 (/.f64 c b_2))
	44.3b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	40.5b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))

Compiler

Compiled 19962 to 6858 computations (65.6% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 (/.f64 1 a) (/.f64 1 (-.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))))
✓	0.2b	(.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))))
✓	0.6b	(-.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))
✓	15.8b	(cbrt.f64 (neg.f64 (*.f64 c a)))

series2.7s (17.6%)

Counts

4 → 120

Calls

4 calls:

1.0s	(/.f64 (/.f64 1 a) (/.f64 1 (-.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))))
736.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))
482.0ms	(.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c a)))))
433.0ms	(cbrt.f64 (neg.f64 (*.f64 c a)))

rewrite175.0ms (1.1%)

Algorithm

1×	rewrite-expression-head

Rules

789×	`times-frac_binary64`
521×	`*-un-lft-identity_binary64`
470×	`add-sqr-sqrt_binary64`
349×	`add-cube-cbrt_binary64`
86×	`distribute-lft-out--_binary64`

Counts

4 → 517

Calls

4 calls:

15.0ms	(/.f64 (/.f64 1 a) (/.f64 1 (-.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))))
12.0ms	(.f64 (fabs.f64 (cbrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (cbrt.f64 (neg.f64 (*.f64 c 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)))

simplify850.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

556×	`fma-neg_binary64`
342×	`*-commutative_binary64`
314×	`associate-r_binary64`
267×	`associate-l_binary64`
197×	`sub-neg_binary64`

Counts

637 → 609

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	566	36951
1	1397	26950
2	4049	22570
3	4913	22570
4	5047	22570

prune537.0ms (3.5%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	643	0	643
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	643	11	654

Error

0.1b

Counts

654 → 11

Alt Table

Status	Error	Program
	47.0b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	44.8b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	44.8b	(/.f64 (/.f64 1 (/.f64 a (-.f64 (.f64 (neg.f64 b_2) (neg.f64 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))))) (+.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
	35.7b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
✓	30.9b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
✓	31.0b	(/.f64 (/.f64 1 a) (/.f64 1 (-.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))))
	44.8b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	47.0b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	40.7b	(*.f64 -1/2 (/.f64 c b_2))
	44.3b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	40.5b	(/.f64 1 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1))))

Compiler

Compiled 30013 to 9173 computations (69.4% saved)

regimes2.2s (14.5%)

Accuracy

Total 10.3b remaining (98.7%)

Threshold costs 0b (0%)

Counts

183 → 3

Compiler

Compiled 17676 to 10770 computations (39.1% saved)

bsearch80.0ms (0.5%)

Steps

Iters	Range		Point
6	3.129175942445687e+61	4.0072913367917467e+62	3.947333581535577e+62
9	-8.647959432504411e-32	-1.3468384819685738e-39	-3.707978442250742e-35

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.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	26	53
1	40	53
2	55	53
3	70	53
4	79	53
5	83	53
6	84	53
7	84	53

end150.0ms (1%)

Compiler: Compiled 293 to 187 computations (36.2% saved)

Details

analyze1.4s (9.4%)

sample3.2s (21.3%)

simplify84.0ms (0.6%)

prune2.0ms (0%)

localize9.0ms (0.1%)

series198.0ms (1.3%)

rewrite111.0ms (0.7%)

simplify231.0ms (1.5%)

prune188.0ms (1.2%)

localize11.0ms (0.1%)

series917.0ms (6%)

rewrite51.0ms (0.3%)

simplify247.0ms (1.6%)

prune206.0ms (1.3%)

localize11.0ms (0.1%)

series655.0ms (4.3%)

rewrite123.0ms (0.8%)

simplify450.0ms (3%)

prune361.0ms (2.4%)

localize14.0ms (0.1%)

series2.7s (17.6%)

rewrite175.0ms (1.1%)

simplify850.0ms (5.6%)

prune537.0ms (3.5%)

regimes2.2s (14.5%)

bsearch80.0ms (0.5%)

simplify5.0ms (0%)

end150.0ms (1%)

Profiling