Details

analyze636.0ms (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
34.7%	55.4%	9.9%	9
36.1%	51.1%	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.7s (21.4%)

Results

670.0ms	5387×	body	128	valid
567.0ms	1163×	body	2048	valid
289.0ms	730×	body	1024	valid
245.0ms	432×	body	4096	valid
225.0ms	1110×	body	128	invalid
104.0ms	359×	body	512	valid
38.0ms	185×	body	256	valid

Compiler

Compiled 50 to 32 computations (36% saved)

simplify83.0ms (0.6%)

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

33.3b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	33.3b	(/.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.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
✓	1.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	22.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series190.0ms (1.5%)

Counts

4 → 96

Calls

4 calls:

87.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
50.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
42.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
10.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))

rewrite95.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

700×	`fma-def_binary64`
338×	`fma-neg_binary64`
313×	`egg-rr`
216×	`expm1-udef_binary64`
216×	`log1p-udef_binary64`

Counts

4 → 313

Calls

4 calls:

88.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)
88.0ms	(-.f64 (.f64 b_2 b_2) (.f64 a c))
88.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
88.0ms	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	55
1	234	55
2	3299	55
3	4945	55
0	0	0
1	0	0

simplify109.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

738×	`times-frac_binary64`
493×	`associate-/l*_binary64`
403×	`associate-/r*_binary64`
361×	`fma-def_binary64`
191×	`associate-*l/_binary64`

Counts

409 → 381

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	120	2203
1	388	2175
2	1292	2133
3	4966	2133

prune319.0ms (2.5%)

Pruning

16 alts after pruning (16 fresh and 0 done)

	Pruned	Kept	Total
New	365	16	381
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	366	16	382

Error

3.7b

Counts

382 → 16

Alt Table

Status	Error	Program
▶	33.3b	(neg.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) (neg.f64 a)))
	44.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	41.9b	(/.f64 (/.f64 1 (/.f64 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))))) a)
	44.5b	(*.f64 -2 (/.f64 b_2 a))
	44.8b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (neg.f64 (*.f64 c a)))) b_2) a)
	53.0b	(/.f64 (.f64 (+.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (sqrt.f64 b_2)) (-.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)) 1/4) (sqrt.f64 b_2))) a)
	35.4b	(fma.f64 (/.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 1) (/.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) (neg.f64 (/.f64 b_2 a)))
	37.0b	(/.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) b_2) a)
	44.7b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	49.0b	(/.f64 (fma.f64 (/.f64 (.f64 c a) b_2) -1/2 (.f64 (/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b_2 3)) -1/8)) a)
	33.8b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 2) 1) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	33.3b	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)
	40.1b	(*.f64 -1/2 (/.f64 c b_2))
	33.8b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 1 a)))
	55.5b	(/.f64 (-.f64 b_2 b_2) a)
	35.3b	(/.f64 (fma.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (neg.f64 b_2)) a)

Compiler

Compiled 9838 to 3048 computations (69% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) (neg.f64 a))
	1.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
	22.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series137.0ms (1.1%)

Counts

1 → 20

Calls

1 calls:

137.0ms

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

rewrite95.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

682×	`fma-def_binary64`
453×	`fma-neg_binary64`
212×	`expm1-udef_binary64`
212×	`log1p-udef_binary64`
133×	`add-sqr-sqrt_binary64`

Counts

1 → 53

Calls

1 calls:

94.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	257	16
2	3289	15
3	4970	15
4	4978	15
0	0	0
1	0	0

simplify69.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

547×	`cancel-sign-sub-inv_binary64`
362×	`times-frac_binary64`
351×	`unswap-sqr_binary64`
341×	`fma-neg_binary64`
243×	`distribute-neg-frac_binary64`

Counts

73 → 75

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	60	638
1	186	630
2	593	628
3	2946	626
4	4969	626
5	4995	626
6	4944	626

prune278.0ms (2.2%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	387	2	389
Fresh	1	14	15
Picked	0	1	1
Done	0	0	0
Total	388	17	405

Error

3.7b

Counts

405 → 17

Alt Table

Status	Error	Program
✓	33.3b	(neg.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) (neg.f64 a)))
	44.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
	41.9b	(/.f64 (/.f64 1 (/.f64 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))))) a)
	44.5b	(*.f64 -2 (/.f64 b_2 a))
	44.8b	(/.f64 (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (neg.f64 (*.f64 c a)))) b_2) a)
	53.0b	(/.f64 (.f64 (+.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (sqrt.f64 b_2)) (-.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)) 1/4) (sqrt.f64 b_2))) a)
	35.4b	(fma.f64 (/.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 1) (/.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) (neg.f64 (/.f64 b_2 a)))
	37.0b	(/.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) b_2) a)
	44.7b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	33.8b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 1 a)))
	63.5b	(neg.f64 (fma.f64 -1 (/.f64 (hypot.f64 b_2 (sqrt.f64 (*.f64 a c))) a) (neg.f64 (/.f64 b_2 a))))
	33.8b	(.f64 (/.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 2) 1) (/.f64 (cbrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
▶	33.3b	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)
	40.1b	(*.f64 -1/2 (/.f64 c b_2))
	45.6b	(neg.f64 (/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) (neg.f64 a)))
	55.5b	(/.f64 (-.f64 b_2 b_2) a)
	35.3b	(/.f64 (fma.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (neg.f64 b_2)) a)

Compiler

Compiled 10547 to 3470 computations (67.1% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))
	1.0b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	1.6b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
	22.9b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series283.0ms (2.2%)

Counts

1 → 20

Calls

1 calls:

283.0ms

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

rewrite57.0ms (0.4%)

Algorithm

2×	batch-egg-rewrite

Rules

686×	`fma-def_binary64`
317×	`fma-neg_binary64`
212×	`expm1-udef_binary64`
212×	`log1p-udef_binary64`
119×	`add-sqr-sqrt_binary64`

Counts

1 → 35

Calls

1 calls:

56.0ms

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	18
1	231	18
2	3163	17
3	4966	17
0	0	0
1	0	0

simplify48.0ms (0.4%)

Algorithm

1×	egg-herbie

Rules

738×	`fma-neg_binary64`
456×	`times-frac_binary64`
452×	`unswap-sqr_binary64`
303×	`associate-/l*_binary64`
267×	`associate-/r*_binary64`

Counts

55 → 57

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	72	629
1	225	602
2	710	584
3	3756	573
4	5267	573

prune343.0ms (2.7%)

Pruning

14 alts after pruning (13 fresh and 1 done)

	Pruned	Kept	Total
New	368	3	371
Fresh	5	10	15
Picked	1	0	1
Done	0	1	1
Total	374	14	388

Error

3.7b

Counts

388 → 14

Alt Table

Status	Error	Program
✓	33.3b	(neg.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) (neg.f64 a)))
	44.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
▶	30.7b	(pow.f64 (.f64 a (/.f64 1 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2))) -1)
	44.5b	(*.f64 -2 (/.f64 b_2 a))
	53.0b	(/.f64 (.f64 (+.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (sqrt.f64 b_2)) (-.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)) 1/4) (sqrt.f64 b_2))) a)
	35.4b	(fma.f64 (/.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 1) (/.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) (neg.f64 (/.f64 b_2 a)))
	37.0b	(/.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) b_2) a)
	44.7b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	40.1b	(pow.f64 (fma.f64 -2 (/.f64 b_2 c) (*.f64 1/2 (/.f64 a b_2))) -1)
	44.8b	(pow.f64 (/.f64 a (-.f64 (fma.f64 1/2 (/.f64 (.f64 b_2 b_2) (sqrt.f64 (neg.f64 (.f64 c a)))) (sqrt.f64 (neg.f64 (*.f64 c a)))) b_2)) -1)
	40.1b	(*.f64 -1/2 (/.f64 c b_2))
	33.8b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 1 a)))
	45.6b	(neg.f64 (/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) (neg.f64 a)))
	35.3b	(/.f64 (fma.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (neg.f64 b_2)) a)

Compiler

Compiled 10152 to 3722 computations (63.3% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 a (/.f64 1 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)))
✓	0.2b	(pow.f64 (.f64 a (/.f64 1 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2))) -1)
✓	1.0b	(-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)
✓	11.9b	(sqrt.f64 (neg.f64 (*.f64 a c)))

series1.5s (11.8%)

Counts

4 → 36

Calls

4 calls:

972.0ms	(pow.f64 (.f64 a (/.f64 1 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2))) -1)
371.0ms	(.f64 a (/.f64 1 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2)))
149.0ms	(-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (*.f64 a c)))) b_2)
18.0ms	(sqrt.f64 (neg.f64 (*.f64 a c)))

rewrite75.0ms (0.6%)

Algorithm

2×	batch-egg-rewrite

Rules

660×	`prod-diff_binary64`
235×	`log1p-udef_binary64`
145×	`add-sqr-sqrt_binary64`
139×	`egg-rr`
138×	`log1p-expm1-u_binary64`

Counts

4 → 139

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	59
1	300	48
2	3345	48
3	5025	48
0	0	0
1	0	0

simplify64.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

606×	`associate-/l*_binary64`
572×	`associate-/r*_binary64`
361×	`fma-def_binary64`
345×	`fma-neg_binary64`
219×	`cancel-sign-sub-inv_binary64`

Counts

175 → 205

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	132	1464
1	415	1310
2	1368	1257
3	4799	1253
4	5284	1253

prune130.0ms (1%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	202	3	205
Fresh	3	9	12
Picked	0	1	1
Done	0	1	1
Total	205	14	219

Error

0.2b

Counts

219 → 14

Alt Table

Status	Error	Program
✓	33.3b	(neg.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) (neg.f64 a)))
	44.7b	(fma.f64 1/2 (/.f64 c b_2) (*.f64 -2 (/.f64 b_2 a)))
✓	30.7b	(pow.f64 (.f64 a (/.f64 1 (-.f64 (hypot.f64 b_2 (sqrt.f64 (neg.f64 (.f64 a c)))) b_2))) -1)
	50.5b	(fma.f64 1/16 (/.f64 (pow.f64 (neg.f64 (.f64 c a)) 3) (.f64 a (pow.f64 b_2 5))) (fma.f64 (/.f64 (.f64 (.f64 c a) (.f64 c a)) (.f64 a (pow.f64 b_2 3))) -1/8 (.f64 1/2 (/.f64 (neg.f64 (.f64 c a)) (*.f64 a b_2)))))
	53.0b	(/.f64 (.f64 (+.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (sqrt.f64 b_2)) (-.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)) 1/4) (sqrt.f64 b_2))) a)
	35.4b	(fma.f64 (/.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) 1) (/.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a) (neg.f64 (/.f64 b_2 a)))
	45.6b	(neg.f64 (/.f64 (.f64 (/.f64 (.f64 c a) b_2) -1/2) (neg.f64 a)))
	49.4b	(pow.f64 (.f64 a (/.f64 1 (-.f64 (hypot.f64 b_2 (.f64 (sqrt.f64 (neg.f64 a)) (sqrt.f64 c))) b_2))) -1)
	40.1b	(pow.f64 (fma.f64 -2 (/.f64 b_2 c) (*.f64 1/2 (/.f64 a b_2))) -1)
	44.7b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (/.f64 (.f64 c (*.f64 c a)) (pow.f64 b_2 3)) -1/8))
	40.1b	(*.f64 -1/2 (/.f64 c b_2))
	33.8b	(.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) (/.f64 1 a)))
	44.6b	(pow.f64 (.f64 a (/.f64 1 (-.f64 (hypot.f64 b_2 (.f64 (sqrt.f64 a) (sqrt.f64 (neg.f64 c)))) b_2))) -1)
	35.3b	(/.f64 (fma.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) (neg.f64 b_2)) a)

Compiler

Compiled 4968 to 2104 computations (57.6% saved)

regimes5.1s (39.6%)

Accuracy

Total 10.1b remaining (98.8%)

Threshold costs 0b (0%)

Counts

256 → 3

Compiler

Compiled 20616 to 12962 computations (37.1% saved)

bsearch209.0ms (1.6%)

Steps

Iters	Range		Point
8	8.465069142375711e-63	3.7472678123933726e-59	7.55826777129383e-61
7	-7.5273609115226e+63	-2.615825485129375e+62	-7.402099932985364e+63

Compiler

Compiled 4 to 3 computations (25% saved)

simplify4.0ms (0%)

Algorithm

1×	egg-herbie

Rules

7×	`+-commutative_binary64`
7×	`*-commutative_binary64`
6×	`sub-neg_binary64`
4×	`neg-sub0_binary64`
4×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	60
1	44	60
2	55	60
3	62	60
4	66	60
5	67	60
6	66	60

end217.0ms (1.7%)

Compiler: Compiled 387 to 235 computations (39.3% saved)

Details

analyze636.0ms (5%)

sample2.7s (21.4%)

simplify83.0ms (0.6%)

prune3.0ms (0%)

localize8.0ms (0.1%)

series190.0ms (1.5%)

rewrite95.0ms (0.7%)

simplify109.0ms (0.8%)

prune319.0ms (2.5%)

localize10.0ms (0.1%)

series137.0ms (1.1%)

rewrite95.0ms (0.7%)

simplify69.0ms (0.5%)

prune278.0ms (2.2%)

localize9.0ms (0.1%)

series283.0ms (2.2%)

rewrite57.0ms (0.4%)

simplify48.0ms (0.4%)

prune343.0ms (2.7%)

localize12.0ms (0.1%)

series1.5s (11.8%)

rewrite75.0ms (0.6%)

simplify64.0ms (0.5%)

prune130.0ms (1%)

regimes5.1s (39.6%)

bsearch209.0ms (1.6%)

simplify4.0ms (0%)

end217.0ms (1.7%)

Profiling