Details

analyze1.7s (11.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)

sample80.0ms (0.5%)

Algorithm

1×

intervals

Results

16.0ms	161×	body	128	valid
13.0ms	28×	body	2048	valid
13.0ms	31×	body	1024	valid
10.0ms	16×	body	4096	valid
4.0ms	14×	body	512	valid
3.0ms	4×	body	128	invalid
2.0ms	19×	body	128	nan
1.0ms	6×	body	256	valid

Compiler

Compiled 36 to 24 computations (33.3% saved)

simplify148.0ms (1%)

Algorithm

1×	egg-herbie

Rules

808×	`fma-neg_binary64`
379×	`associate-/l*_binary64`
361×	`div-sub_binary64`
341×	`fma-def_binary64`
224×	`times-frac_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	23	18
2	39	18
3	69	18
4	107	18
5	178	18
6	279	18
7	382	18
8	547	18
9	587	18
10	855	18
11	1247	18
12	1117	18
13	1035	18
14	1043	18
15	1051	18
16	1077	18
17	1093	18
18	1129	18
19	1131	18
20	1143	18
21	1050	18

prune3.0ms (0%)

Pruning

1 alts after pruning (1 fresh and 0 done)

	Pruned	Kept	Total
New	1	1	2
Fresh	1	0	1
Picked	0	0	0
Done	0	0	0
Total	2	1	3

Error

34.1b

Counts

3 → 1

Alt Table

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

Compiler

Compiled 58 to 30 computations (48.3% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
✓	1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	1.4b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	22.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series335.0ms (2.2%)

Counts

4 → 96

Calls

4 calls:

211.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
62.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
47.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
14.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite45.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

52×	`add-sqr-sqrt_binary64`
41×	`*-un-lft-identity_binary64`
31×	`add-cube-cbrt_binary64`
20×	`sqrt-prod_binary64`
19×	`prod-diff_binary64`

Counts

4 → 120

Calls

4 calls:

16.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
9.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
7.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
4.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

simplify384.0ms (2.5%)

Algorithm

1×	egg-herbie

Rules

682×	`fma-neg_binary64`
364×	`cancel-sign-sub-inv_binary64`
248×	`distribute-rgt-neg-in_binary64`
220×	`distribute-lft-neg-in_binary64`
172×	`distribute-rgt-in_binary64`

Counts

216 → 237

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	272	5492
1	683	4712
2	2484	4515
3	4521	4514
4	4915	4514
5	4990	4514
6	5000	4514
7	4999	4514
8	4932	4514

prune297.0ms (1.9%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	223	14	237
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	224	14	238

Error

3.6b

Counts

238 → 14

Alt Table

Status	Error	Program
	34.7b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a)
	44.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	34.3b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))
	38.7b	(*.f64 -1/2 (/.f64 c b_2))
	45.6b	(/.f64 (-.f64 (pow.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 3) (pow.f64 b_2 3)) (.f64 a (+.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 (.f64 b_2 b_2) (.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)))))
	57.1b	(/.f64 (-.f64 b_2 b_2) a)
	46.9b	(.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2) (sqrt.f64 a)))
	45.4b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)
	44.5b	(/.f64 (*.f64 -2 b_2) a)
▶	32.8b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	44.3b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	33.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
	34.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	34.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))

Compiler

Compiled 6143 to 1786 computations (70.9% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

series1.6s (10.5%)

Counts

4 → 28

Calls

4 calls:

1.1s	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a)
311.0ms	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)) a))
175.0ms	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
18.0ms	(sqrt.f64 (neg.f64 (*.f64 c a)))

rewrite122.0ms (0.8%)

Algorithm

1×	rewrite-expression-head

Rules

82×	`add-sqr-sqrt_binary64`
65×	`*-un-lft-identity_binary64`
52×	`times-frac_binary64`
51×	`sqrt-prod_binary64`
47×	`add-cube-cbrt_binary64`

Counts

4 → 161

Calls

4 calls:

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

simplify332.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

572×	`fma-def_binary64`
337×	`neg-mul-1_binary64`
319×	`fma-neg_binary64`
304×	`cancel-sign-sub-inv_binary64`
165×	`associate-l_binary64`

Counts

189 → 242

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	312	6410
1	698	5446
2	2377	5193
3	4494	5189
4	5013	5189

prune275.0ms (1.8%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	315	3	318
Fresh	5	8	13
Picked	1	0	1
Done	0	0	0
Total	321	11	332

Error

3.6b

Counts

332 → 11

Alt Table

Status	Error	Program
	34.3b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))
	38.7b	(*.f64 -1/2 (/.f64 c b_2))
▶	33.0b	(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
	44.5b	(/.f64 (*.f64 -2 b_2) a)
	44.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	44.3b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	57.1b	(/.f64 (-.f64 b_2 b_2) a)
	34.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
	47.9b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2)) a))
	51.0b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)) a))
	45.4b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)

Compiler

Compiled 11779 to 2218 computations (81.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
✓	0.3b	(pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) 3)
	0.9b	(-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2)
	10.1b	(sqrt.f64 (neg.f64 (*.f64 c a)))

series1.9s (12.6%)

Counts

2 → 24

Calls

2 calls:

1.7s

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

231.0ms

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

rewrite63.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

139×	`sqrt-prod_binary64`
135×	`add-sqr-sqrt_binary64`
57×	`times-frac_binary64`
51×	`*-un-lft-identity_binary64`
37×	`associate-r_binary64`

Counts

2 → 168

Calls

2 calls:

26.0ms

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

5.0ms

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

simplify250.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

690×	`fma-def_binary64`
335×	`associate-r_binary64`
322×	`associate-l_binary64`
242×	`log-prod_binary64`
184×	`cancel-sign-sub-inv_binary64`

Counts

192 → 196

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	319	9444
1	846	7541
2	3315	7079
3	4486	7077
4	4962	7077

prune200.0ms (1.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	346	2	348
Fresh	1	9	10
Picked	1	0	1
Done	0	0	0
Total	348	11	359

Error

3.6b

Counts

359 → 11

Alt Table

Status	Error	Program
	44.5b	(/.f64 (*.f64 -2 b_2) a)
	47.9b	(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
	34.3b	(/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 a (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))
	38.7b	(*.f64 -1/2 (/.f64 c b_2))
	51.0b	(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
	44.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	44.3b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	57.1b	(/.f64 (-.f64 b_2 b_2) a)
▶	34.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
	51.0b	(.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (.f64 c a))) b_2) b_2)) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (*.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2)) a))
	45.4b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)

Compiler

Compiled 14649 to 3839 computations (73.8% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)
	1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	8.5b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
	22.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series187.0ms (1.2%)

Counts

2 → 40

Calls

2 calls:

108.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)
78.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))

rewrite137.0ms (0.9%)

Algorithm

1×	rewrite-expression-head

Rules

490×	`times-frac_binary64`
381×	`add-sqr-sqrt_binary64`
370×	`*-un-lft-identity_binary64`
362×	`add-cube-cbrt_binary64`
286×	`prod-diff_binary64`

Counts

2 → 390

Calls

2 calls:

41.0ms	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
5.0ms	(/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a)

simplify936.0ms (6.1%)

Algorithm

1×	egg-herbie

Rules

928×	`times-frac_binary64`
550×	`fma-neg_binary64`
201×	`fma-udef_binary64`
195×	`unsub-neg_binary64`
159×	`sub-neg_binary64`

Counts

430 → 444

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	460	24679
1	1066	14617
2	2467	11623
3	4513	11623
4	4996	11623
5	4840	11623

prune552.0ms (3.6%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	523	2	525
Fresh	2	8	10
Picked	0	1	1
Done	0	0	0
Total	525	11	536

Error

3.6b

Counts

536 → 11

Alt Table

Status	Error	Program
	44.5b	(/.f64 (*.f64 -2 b_2) a)
	47.9b	(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 (neg.f64 c)) (sqrt.f64 a)) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
	51.0b	(.f64 (pow.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (neg.f64 a))) b_2) b_2))) 3) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2) b_2))) a))
	44.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	44.3b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	38.7b	(*.f64 -1/2 (/.f64 c b_2))
	57.1b	(/.f64 (-.f64 b_2 b_2) a)
	34.9b	(fma.f64 (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) 1) (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) (neg.f64 (/.f64 b_2 a)))
	34.8b	(-.f64 (/.f64 (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (/.f64 a (sqrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))))) (/.f64 b_2 a))
✓	34.1b	(-.f64 (/.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) a) (/.f64 b_2 a))
	45.4b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 c a (.f64 b_2 b_2))) (+.f64 b_2 (hypot.f64 (sqrt.f64 (neg.f64 (*.f64 c a))) b_2))) a)

Compiler

Compiled 21698 to 3957 computations (81.8% saved)

regimes2.9s (19%)

Accuracy

Total 4.5b remaining (46.1%)

Threshold costs 0b (0%)

Counts

152 → 3

Compiler

Compiled 13968 to 7674 computations (45.1% saved)

bsearch99.0ms (0.6%)

Steps

Iters	Range		Point
5	8.719242692407948e-56	1.8503082744654592e-55	1.4828646081803067e-55
10	-1.1450293716778486e+162	-1.3086540243040936e+148	-2.2615494570063426e+148

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
7×	`+-commutative_binary64`
7×	`sub-neg_binary64`
5×	`neg-sub0_binary64`
5×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	24	47
1	34	47
2	49	47
3	59	47
4	66	47
5	68	47
6	68	47

end1.0ms (0%)

Compiler: Compiled 35 to 22 computations (37.1% saved)

sample2.6s (17.2%)

Algorithm

1×

intervals

Results

559.0ms	1183×	body	2048	valid
516.0ms	5079×	body	128	valid
278.0ms	741×	body	1024	valid
240.0ms	416×	body	4096	valid
106.0ms	373×	body	512	valid
73.0ms	772×	body	128	nan
38.0ms	208×	body	256	valid
25.0ms	263×	body	128	invalid

Compiler

Compiled 273 to 168 computations (38.5% saved)

Details

analyze1.7s (11.3%)

sample80.0ms (0.5%)

simplify148.0ms (1%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series335.0ms (2.2%)

rewrite45.0ms (0.3%)

simplify384.0ms (2.5%)

prune297.0ms (1.9%)

localize11.0ms (0.1%)

series1.6s (10.5%)

rewrite122.0ms (0.8%)

simplify332.0ms (2.2%)

prune275.0ms (1.8%)

localize12.0ms (0.1%)

series1.9s (12.6%)

rewrite63.0ms (0.4%)

simplify250.0ms (1.6%)

prune200.0ms (1.3%)

localize10.0ms (0.1%)

series187.0ms (1.2%)

rewrite137.0ms (0.9%)

simplify936.0ms (6.1%)

prune552.0ms (3.6%)

regimes2.9s (19%)

bsearch99.0ms (0.6%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample2.6s (17.2%)

Profiling