Details

analyze598.0ms (5.3%)

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)

sample652.0ms (5.8%)

Algorithm

1×

intervals

Results

13.0ms	170×	body	128	valid
10.0ms	37×	body	2048	valid
6.0ms	29×	body	1024	valid
3.0ms	9×	body	4096	valid
2.0ms	28×	body	128	nan
1.0ms	5×	body	512	valid
1.0ms	6×	body	256	valid
0.0ms	8×	body	128	invalid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify86.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.7b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	31.7b	(/.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.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	1.5b	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
✓	21.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series262.0ms (2.3%)

Counts

4 → 96

Calls

4 calls:

96.0ms	(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))
83.0ms	(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
67.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
16.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite122.0ms (1.1%)

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:

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

simplify201.0ms (1.8%)

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

prune177.0ms (1.6%)

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

4.3b

Counts

293 → 14

Alt Table

Status	Error	Program
	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)
	56.2b	(/.f64 (-.f64 (neg.f64 b_2) (neg.f64 b_2)) a)
	40.2b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	35.6b	(/.f64 (-.f64 (neg.f64 b_2) (exp.f64 (log.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))) a)
	32.1b	(.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))
	43.2b	(/.f64 (*.f64 -2 b_2) a)
	46.2b	(/.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) (sqrt.f64 a)) (sqrt.f64 a))
	48.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a) 3))
	43.4b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	48.8b	(exp.f64 (log.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a)))
	54.5b	(/.f64 (fma.f64 (sqrt.f64 (neg.f64 b_2)) (sqrt.f64 (neg.f64 b_2)) (neg.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a)
	44.4b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	40.7b	(*.f64 -1/2 (/.f64 c b_2))
▶	31.6b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))

Compiler

Compiled 9228 to 2092 computations (77.3% saved)

localize10.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.2b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
✓	14.3b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series1.1s (10.1%)

Counts

4 → 42

Calls

4 calls:

581.0ms	(/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)))
361.0ms	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
179.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)))

rewrite83.0ms (0.7%)

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:

10.0ms	(/.f64 1 (/.f64 a (-.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)))
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)))

simplify277.0ms (2.4%)

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

prune198.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	327	4	331
Fresh	6	7	13
Picked	1	0	1
Done	0	0	0
Total	334	11	345

Error

0.0b

Counts

345 → 11

Alt Table

Status	Error	Program
	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)
	43.9b	(/.f64 1 (fma.f64 (/.f64 (.f64 a (neg.f64 (.f64 c a))) (pow.f64 b_2 3)) -1/8 (fma.f64 1/2 (/.f64 a b_2) (/.f64 2 (*.f64 (/.f64 c b_2) -1)))))
	40.2b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	43.2b	(/.f64 (*.f64 -2 b_2) a)
	48.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a) 3))
	46.3b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
▶	31.7b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	32.1b	(.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))
	44.4b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	40.7b	(*.f64 -1/2 (/.f64 c b_2))
	46.7b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))

Compiler

Compiled 10599 to 2746 computations (74.1% 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.2b	(-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))
	14.3b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series649.0ms (5.7%)

Counts

2 → 28

Calls

2 calls:

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

rewrite117.0ms (1%)

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:

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

simplify456.0ms (4%)

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

prune323.0ms (2.9%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	549	3	552
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	551	12	563

Error

0.0b

Counts

563 → 12

Alt Table

Status	Error	Program
▶	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)
	40.2b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	46.4b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	46.6b	(/.f64 (/.f64 1 a) (fma.f64 (/.f64 (neg.f64 (.f64 a c)) (pow.f64 b_2 3)) -1/8 (fma.f64 2 (/.f64 b_2 (neg.f64 (.f64 a c))) (/.f64 1/2 b_2))))
	43.2b	(/.f64 (*.f64 -2 b_2) a)
	48.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a) 3))
	46.3b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
✓	31.7b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	46.7b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	44.4b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	40.7b	(*.f64 -1/2 (/.f64 c b_2))
	46.7b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))

Compiler

Compiled 19972 to 6876 computations (65.6% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.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)))))
✓	0.6b	(-.f64 (.f64 b_2 b_2) (.f64 c a))
✓	9.8b	(-.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))))))
✓	22.4b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

series269.0ms (2.4%)

Counts

4 → 144

Calls

4 calls:

99.0ms	(-.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))))))
99.0ms	(.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)))))
60.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))
10.0ms	(-.f64 (.f64 b_2 b_2) (.f64 c a))

rewrite42.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`add-sqr-sqrt_binary64`
22×	`cbrt-prod_binary64`
17×	`*-un-lft-identity_binary64`
17×	`add-cube-cbrt_binary64`
16×	`sqrt-prod_binary64`

Counts

4 → 126

Calls

4 calls:

15.0ms	(.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)))))
4.0ms	(-.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))))))
3.0ms	(-.f64 (.f64 b_2 b_2) (.f64 c a))
3.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 c a)))

simplify204.0ms (1.8%)

Algorithm

1×	egg-herbie

Rules

662×	`times-frac_binary64`
379×	`associate-/r*_binary64`
333×	`associate-/l*_binary64`
305×	`fma-def_binary64`
191×	`*-commutative_binary64`

Counts

270 → 353

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	569	13715
1	1678	11772
2	5046	11772

prune326.0ms (2.9%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	445	0	445
Fresh	0	10	10
Picked	0	1	1
Done	0	1	1
Total	445	12	457

Error

0.0b

Counts

457 → 12

Alt Table

Status	Error	Program
✓	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)
	40.2b	(/.f64 (/.f64 (.f64 c a) (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) a)
	46.4b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
	46.6b	(/.f64 (/.f64 1 a) (fma.f64 (/.f64 (neg.f64 (.f64 a c)) (pow.f64 b_2 3)) -1/8 (fma.f64 2 (/.f64 b_2 (neg.f64 (.f64 a c))) (/.f64 1/2 b_2))))
	43.2b	(/.f64 (*.f64 -2 b_2) a)
	48.4b	(cbrt.f64 (pow.f64 (/.f64 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2)) a) 3))
	46.3b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2))))
✓	31.7b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))))
	46.7b	(/.f64 (/.f64 1 a) (/.f64 1 (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))
	44.4b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	40.7b	(*.f64 -1/2 (/.f64 c b_2))
	46.7b	(/.f64 1 (/.f64 a (-.f64 (neg.f64 b_2) (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2))))

Compiler

Compiled 21159 to 8237 computations (61.1% saved)

regimes3.4s (30.1%)

Accuracy

Total 10.2b remaining (98.7%)

Threshold costs 0b (0%)

Counts

206 → 3

Compiler

Compiled 17943 to 11393 computations (36.5% saved)

bsearch69.0ms (0.6%)

Steps

Iters	Range		Point
10	2.566141759281953e+69	1.8464303536711603e+84	6.214809179847051e+76
8	-2.6700717637096347e-118	-1.0328850659605267e-122	-6.242469537217322e-119

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	28	50
1	43	48
2	62	48
3	77	48
4	90	48
5	97	48
6	99	48
7	96	48

end1.0ms (0%)

Compiler: Compiled 35 to 21 computations (40% saved)

sample1.6s (14.1%)

Algorithm

1×

intervals

Results

346.0ms	1158×	body	2048	valid
318.0ms	5129×	body	128	valid
182.0ms	762×	body	1024	valid
141.0ms	399×	body	4096	valid
61.0ms	373×	body	512	valid
44.0ms	792×	body	128	nan
21.0ms	179×	body	256	valid
15.0ms	256×	body	128	invalid

Compiler

Compiled 276 to 184 computations (33.3% saved)

Details

analyze598.0ms (5.3%)

sample652.0ms (5.8%)

simplify86.0ms (0.8%)

prune2.0ms (0%)

localize9.0ms (0.1%)

series262.0ms (2.3%)

rewrite122.0ms (1.1%)

simplify201.0ms (1.8%)

prune177.0ms (1.6%)

localize10.0ms (0.1%)

series1.1s (10.1%)

rewrite83.0ms (0.7%)

simplify277.0ms (2.4%)

prune198.0ms (1.8%)

localize11.0ms (0.1%)

series649.0ms (5.7%)

rewrite117.0ms (1%)

simplify456.0ms (4%)

prune323.0ms (2.9%)

localize12.0ms (0.1%)

series269.0ms (2.4%)

rewrite42.0ms (0.4%)

simplify204.0ms (1.8%)

prune326.0ms (2.9%)

regimes3.4s (30.1%)

bsearch69.0ms (0.6%)

simplify5.0ms (0%)

end1.0ms (0%)

sample1.6s (14.1%)

Profiling