Details

analyze735.0ms (10.6%)

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.0s (28%)

Results

615.0ms	5325×	body	128	valid
572.0ms	1242×	body	2048	valid
278.0ms	760×	body	1024	valid
215.0ms	387×	body	4096	valid
119.0ms	1035×	body	128	invalid
103.0ms	365×	body	512	valid
34.0ms	177×	body	256	valid

Compiler

Compiled 34 to 22 computations (35.3% saved)

preprocess94.0ms (1.3%)

Algorithm

2×	egg-herbie

Rules

508×	`times-frac_binary64`
390×	`div-sub_binary64`
354×	`fma-def_binary64`
351×	`fma-neg_binary64`
312×	`distribute-rgt-in_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	30	80
1	65	72
2	112	72
3	222	72
4	365	72
5	620	72
6	1057	72
7	1768	72
8	4025	72
0	3	3

Stop Event

1×	saturated
1×	node limit

Compiler

Compiled 16 to 10 computations (37.5% saved)

simplify62.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	20
1	23	18
2	42	18
3	77	18
4	123	18
5	218	18
6	370	18
7	586	18
8	948	18
9	1471	18
10	2000	18
11	3220	18
12	4095	18
13	4427	18
14	4435	18
15	4443	18
16	4469	18
17	4485	18
18	4521	18
19	4553	18
20	4565	18

Stop Event

1×

saturated

Counts

1 → 2

prune5.0ms (0.1%)

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

35.4b

Counts

3 → 1

Alt Table

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

localize7.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)
✓	0.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	0.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	21.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series112.0ms (1.6%)

Counts

4 → 96

Calls

36 calls:

9.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)	a	-inf
8.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)	a	inf
6.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)	c	-inf
6.0ms	(/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)	c	inf
5.0ms	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)	a	inf

rewrite92.0ms (1.3%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	55
1	239	55
2	3605	55

Stop Event

1×	node limit

Counts

4 → 313

simplify54.0ms (0.8%)

Algorithm

1×	egg-herbie

Rules

738×	`times-frac_binary64`
492×	`associate-/l*_binary64`
401×	`associate-/r*_binary64`
360×	`fma-def_binary64`
133×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	120	2203
1	392	2175
2	1383	2133

Stop Event

1×	node limit

Counts

409 → 388

prune269.0ms (3.9%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	379	9	388
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	380	9	389

Error

4.3b

Counts

389 → 9

Alt Table

Status	Error	Program
	36.7b	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))
	45.0b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a)
	46.0b	(/.f64 (fma.f64 b_2 -2 (*.f64 (/.f64 1/2 (/.f64 b_2 c)) a)) a)
	45.9b	(/.f64 (*.f64 -2 b_2) a)
▶	35.9b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	36.9b	(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.4b	(*.f64 -1/2 (/.f64 c b_2))
	55.6b	(/.f64 (-.f64 b_2 b_2) a)
	46.2b	(/.f64 (/.f64 (-.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2) (pow.f64 b_2 3)) (fma.f64 b_2 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 9599 to 2923 computations (69.5% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	0.3b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
	0.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	21.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series48.0ms (0.7%)

Counts

1 → 20

Calls

9 calls:

10.0ms	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))	a	-inf
8.0ms	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))	a	inf
7.0ms	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))	c	-inf
6.0ms	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))	c	inf
4.0ms	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))	b_2	inf

rewrite55.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

337×	`fma-neg_binary64`
250×	`expm1-udef_binary64`
250×	`log1p-udef_binary64`
143×	`add-sqr-sqrt_binary64`
138×	`add-cbrt-cube_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	18
1	321	18
2	4203	18

Stop Event

1×	node limit

Counts

1 → 47

simplify39.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

881×	`fma-neg_binary64`
363×	`times-frac_binary64`
238×	`associate-/l*_binary64`
212×	`associate-r_binary64`
204×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	65	654
1	207	642
2	703	624
3	3903	624

Stop Event

1×	node limit

Counts

67 → 70

prune436.0ms (6.3%)

Pruning

10 alts after pruning (9 fresh and 1 done)

	Pruned	Kept	Total
New	703	1	704
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	703	10	713

Error

4.3b

Counts

713 → 10

Alt Table

Status	Error	Program
	37.4b	(*.f64 -1/2 (/.f64 c b_2))
	48.7b	(/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (.f64 a (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))
▶	36.7b	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))
	45.0b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a)
	46.0b	(/.f64 (fma.f64 b_2 -2 (*.f64 (/.f64 1/2 (/.f64 b_2 c)) a)) a)
	45.9b	(/.f64 (*.f64 -2 b_2) a)
✓	35.9b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	36.9b	(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)))
	55.6b	(/.f64 (-.f64 b_2 b_2) a)
	46.2b	(/.f64 (/.f64 (-.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2) (pow.f64 b_2 3)) (fma.f64 b_2 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)

Compiler

Compiled 26916 to 7090 computations (73.7% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
	0.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	21.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
✓	24.5b	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))

series58.0ms (0.8%)

Counts

1 → 20

Calls

9 calls:

17.0ms	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))	a	-inf
9.0ms	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))	c	-inf
8.0ms	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))	a	inf
7.0ms	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))	b_2	inf
6.0ms	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))	c	inf

rewrite47.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

417×	`fma-def_binary64`
224×	`expm1-udef_binary64`
224×	`log1p-udef_binary64`
186×	`fma-neg_binary64`
138×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	13	24
1	285	21
2	3788	21

Stop Event

1×	node limit

Counts

1 → 25

simplify40.0ms (0.6%)

Algorithm

1×	egg-herbie

Rules

881×	`fma-neg_binary64`
363×	`times-frac_binary64`
238×	`associate-/l*_binary64`
212×	`associate-r_binary64`
204×	`associate-/r*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	65	654
1	207	642
2	703	624
3	3903	624

Stop Event

1×	node limit

Counts

45 → 48

prune165.0ms (2.4%)

Pruning

11 alts after pruning (9 fresh and 2 done)

	Pruned	Kept	Total
New	259	2	261
Fresh	1	7	8
Picked	0	1	1
Done	0	1	1
Total	260	11	271

Error

4.3b

Counts

271 → 11

Alt Table

Status	Error	Program
	37.4b	(*.f64 -1/2 (/.f64 c b_2))
	48.7b	(/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (.f64 a (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))
✓	36.7b	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))
	45.0b	(/.f64 (/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))))) a)
▶	36.8b	(fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))
	46.2b	(/.f64 (/.f64 (-.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2) (pow.f64 b_2 3)) (fma.f64 b_2 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
	46.0b	(/.f64 (fma.f64 b_2 -2 (*.f64 (/.f64 1/2 (/.f64 b_2 c)) a)) a)
	45.9b	(/.f64 (*.f64 -2 b_2) a)
✓	35.9b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	55.6b	(/.f64 (-.f64 b_2 b_2) a)
	61.6b	(fma.f64 b_2 (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))

Compiler

Compiled 7556 to 2342 computations (69% saved)

localize13.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	21.8b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
✓	22.6b	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))
✓	23.4b	(fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))

series102.0ms (1.5%)

Counts

2 → 32

Calls

18 calls:

38.0ms	(cbrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))	b_2	0
8.0ms	(fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))	a	-inf
8.0ms	(fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))	a	inf
7.0ms	(fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))	c	inf
6.0ms	(fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))	c	-inf

rewrite55.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

247×	`expm1-udef_binary64`
247×	`log1p-udef_binary64`
156×	`add-sqr-sqrt_binary64`
153×	`log1p-expm1-u_binary64`
153×	`expm1-log1p-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	16	50
1	342	33
2	4336	33

Stop Event

1×	node limit

Counts

2 → 52

simplify35.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

675×	`associate-l_binary64`
449×	`times-frac_binary64`
334×	`fma-def_binary64`
322×	`associate-/r*_binary64`
321×	`associate-/l*_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	128	1336
1	398	1320
2	1387	1298

Stop Event

1×	node limit

Counts

84 → 91

prune258.0ms (3.7%)

Pruning

11 alts after pruning (8 fresh and 3 done)

	Pruned	Kept	Total
New	468	1	469
Fresh	1	7	8
Picked	0	1	1
Done	0	2	2
Total	469	11	480

Error

4.3b

Counts

480 → 11

Alt Table

Status	Error	Program
	46.0b	(/.f64 (fma.f64 b_2 -2 (*.f64 (/.f64 1/2 (/.f64 b_2 c)) a)) a)
	38.3b	(fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (exp.f64 (log.f64 (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))
	37.4b	(*.f64 -1/2 (/.f64 c b_2))
	48.7b	(/.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (.f64 a (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))))))
✓	36.8b	(fma.f64 (.f64 (cbrt.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (cbrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))
	46.2b	(/.f64 (/.f64 (-.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 3/2) (pow.f64 b_2 3)) (fma.f64 b_2 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))) (-.f64 (.f64 b_2 b_2) (.f64 a c)))) a)
	45.9b	(/.f64 (*.f64 -2 b_2) a)
✓	35.9b	(.f64 (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) 1) (/.f64 (sqrt.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2)) a))
	55.6b	(/.f64 (-.f64 b_2 b_2) a)
✓	36.7b	(fma.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))
	61.6b	(fma.f64 b_2 (/.f64 1 a) (neg.f64 (/.f64 b_2 a)))

Compiler

Compiled 17902 to 4817 computations (73.1% saved)

regimes2.0s (28.8%)

Accuracy

Total 5.0b remaining (48.7%)

Threshold costs 0b (0%)

Counts

176 → 3

Compiler

Compiled 16276 to 9330 computations (42.7% saved)

bsearch69.0ms (1%)

Algorithm

2×	binary-search

Calls

2 calls:

43.0ms	b_2
20.0ms	b_2

Steps

Iters	Point		Range
1.4308690840704123e-132	∈ [	4.298232057103934e-146	,	2.724328096350955e-132	]
-1.3484291912101877e+151	∈ [	-1.1700128715067601e+170	,	-5.205135728034179e+149	]

Compiler

Compiled 4 to 3 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`+-commutative_binary64`
8×	`*-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	30	57
1	42	57
2	58	57
3	68	57
4	75	57
5	77	57

Stop Event

1×

saturated

end136.0ms (1.9%)

Stop Event

1×

fuel

Compiler

Compiled 308 to 172 computations (44.2% saved)

Details

analyze735.0ms (10.6%)

sample2.0s (28%)

preprocess94.0ms (1.3%)

simplify62.0ms (0.9%)

prune5.0ms (0.1%)

localize7.0ms (0.1%)

series112.0ms (1.6%)

rewrite92.0ms (1.3%)

simplify54.0ms (0.8%)

prune269.0ms (3.9%)

localize10.0ms (0.1%)

series48.0ms (0.7%)

rewrite55.0ms (0.8%)

simplify39.0ms (0.6%)

prune436.0ms (6.3%)

localize10.0ms (0.1%)

series58.0ms (0.8%)

rewrite47.0ms (0.7%)

simplify40.0ms (0.6%)

prune165.0ms (2.4%)

localize13.0ms (0.2%)

series102.0ms (1.5%)

rewrite55.0ms (0.8%)

simplify35.0ms (0.5%)

prune258.0ms (3.7%)

regimes2.0s (28.8%)

bsearch69.0ms (1%)

simplify3.0ms (0.1%)

end136.0ms (1.9%)

Profiling