Details

analyze730.0ms (5.9%)

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 (15.8%)

Results

630.0ms	5364×	body	128	valid
556.0ms	1171×	body	2048	valid
278.0ms	730×	body	1024	valid
221.0ms	408×	body	4096	valid
124.0ms	1081×	body	128	invalid
116.0ms	400×	body	512	valid
36.0ms	183×	body	256	valid

Compiler

Compiled 34 to 22 computations (35.3% saved)

preprocess62.0ms (0.5%)

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)

simplify115.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

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

35.6b

Counts

3 → 1

Alt Table

Status	Error	Program
▶	35.6b	(/.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)
✓	1.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
✓	1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
✓	25.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series112.0ms (0.9%)

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	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))	a	-inf

rewrite101.0ms (0.8%)

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

simplify57.0ms (0.5%)

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

prune292.0ms (2.3%)

Pruning

15 alts after pruning (15 fresh and 0 done)

	Pruned	Kept	Total
New	373	15	388
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	374	15	389

Error

7.0b

Counts

389 → 15

Alt Table

Status	Error	Program
	45.4b	(/.f64 (fma.f64 b_2 -2 (*.f64 (/.f64 1/2 (/.f64 b_2 c)) a)) a)
	45.5b	(/.f64 (.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (/.f64 1 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) a)
	35.6b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	45.3b	(fma.f64 1/2 (/.f64 c b_2) (/.f64 b_2 (/.f64 a -2)))
	45.2b	(/.f64 (*.f64 -2 b_2) a)
	35.6b	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)
	40.4b	(/.f64 (*.f64 c -1/2) b_2)
	35.8b	(/.f64 (-.f64 (pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) 2) b_2) a)
	56.5b	(/.f64 (-.f64 (fma.f64 (*.f64 (/.f64 c b_2) a) -1/2 b_2) b_2) a)
▶	35.6b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c))))) b_2) a)
	44.9b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a) -1/8))
	44.5b	(/.f64 (.f64 (/.f64 (.f64 c -1/2) b_2) a) a)
	56.7b	(/.f64 (-.f64 b_2 b_2) a)
	48.6b	(.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (sqrt.f64 a)))
	37.0b	(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)))

Compiler

Compiled 9737 to 3039 computations (68.8% saved)

localize13.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	1.0b	(-.f64 (sqrt.f64 (fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c))))) b_2)
✓	1.5b	(fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c))))
✓	25.7b	(sqrt.f64 (fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c)))))
✓	51.3b	(fma.f64 a (neg.f64 c) (*.f64 a c))

series83.0ms (0.7%)

Counts

4 → 100

Calls

33 calls:

5.0ms	(sqrt.f64 (fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c)))))	a	inf
5.0ms	(-.f64 (sqrt.f64 (fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c))))) b_2)	c	-inf
5.0ms	(-.f64 (sqrt.f64 (fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c))))) b_2)	c	inf
5.0ms	(-.f64 (sqrt.f64 (fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c))))) b_2)	a	-inf
5.0ms	(-.f64 (sqrt.f64 (fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c))))) b_2)	a	inf

rewrite87.0ms (0.7%)

Algorithm

1×	batch-egg-rewrite

Rules

514×	`log-prod_binary64`
367×	`fma-def_binary64`
217×	`fma-neg_binary64`
195×	`expm1-udef_binary64`
195×	`log1p-udef_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	11	77
1	233	57
2	3092	57

Stop Event

1×	node limit

Counts

4 → 191

simplify59.0ms (0.5%)

Algorithm

1×	egg-herbie

Rules

416×	`times-frac_binary64`
278×	`associate-/l*_binary64`
263×	`associate-r_binary64`
234×	`associate-/r*_binary64`
223×	`fma-def_binary64`

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	85	1573
1	272	1557
2	879	1533
3	4610	1533

Stop Event

1×	node limit

Counts

291 → 243

prune138.0ms (1.1%)

Pruning

17 alts after pruning (16 fresh and 1 done)

	Pruned	Kept	Total
New	241	2	243
Fresh	0	14	14
Picked	0	1	1
Done	0	0	0
Total	241	17	258

Error

7.0b

Counts

258 → 17

Alt Table

Status	Error	Program
	45.4b	(/.f64 (fma.f64 b_2 -2 (*.f64 (/.f64 1/2 (/.f64 b_2 c)) a)) a)
	45.5b	(/.f64 (.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (/.f64 1 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) a)
	49.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (fma.f64 a c (.f64 a (+.f64 c c))))) b_2)) (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (fma.f64 a c (*.f64 a (+.f64 c c))))) b_2)) 2)) a)
▶	35.6b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	45.3b	(fma.f64 1/2 (/.f64 c b_2) (/.f64 b_2 (/.f64 a -2)))
	45.2b	(/.f64 (*.f64 -2 b_2) a)
	35.6b	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)
	40.4b	(/.f64 (*.f64 c -1/2) b_2)
	54.2b	(/.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 b_2 (sqrt.f64 (fma.f64 a c (*.f64 a (+.f64 c c))))))) b_2) a)
	44.5b	(/.f64 (.f64 (/.f64 (.f64 c -1/2) b_2) a) a)
	35.8b	(/.f64 (-.f64 (pow.f64 (pow.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)) 1/4) 2) b_2) a)
	56.5b	(/.f64 (-.f64 (fma.f64 (*.f64 (/.f64 c b_2) a) -1/2 b_2) b_2) a)
✓	35.6b	(/.f64 (-.f64 (sqrt.f64 (fma.f64 b_2 b_2 (fma.f64 a (neg.f64 c) (fma.f64 a (neg.f64 c) (*.f64 a c))))) b_2) a)
	44.9b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a) -1/8))
	56.7b	(/.f64 (-.f64 b_2 b_2) a)
	48.6b	(.f64 (/.f64 1 (sqrt.f64 a)) (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (sqrt.f64 a)))
	37.0b	(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)))

Compiler

Compiled 6692 to 2055 computations (69.3% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))
	1.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
	1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	25.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series47.0ms (0.4%)

Counts

1 → 20

Calls

9 calls:

9.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))	a	-inf
9.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))	a	inf
6.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))	c	-inf
6.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))	c	inf
5.0ms	(.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c))) b_2) (/.f64 1 a))	c	0

rewrite54.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

699×	`fma-def_binary64`
320×	`fma-neg_binary64`
230×	`expm1-udef_binary64`
230×	`log1p-udef_binary64`
133×	`add-sqr-sqrt_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	18
1	272	18
2	3795	18

Stop Event

1×	node limit

Counts

1 → 43

simplify39.0ms (0.3%)

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

63 → 66

prune282.0ms (2.3%)

Pruning

14 alts after pruning (14 fresh and 0 done)

	Pruned	Kept	Total
New	380	3	383
Fresh	4	11	15
Picked	1	0	1
Done	1	0	1
Total	386	14	400

Error

7.0b

Counts

400 → 14

Alt Table

Status	Error	Program
	48.9b	(/.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))))))
	45.4b	(/.f64 (fma.f64 b_2 -2 (*.f64 (/.f64 1/2 (/.f64 b_2 c)) a)) a)
	45.5b	(/.f64 (.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (/.f64 1 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) a)
	49.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (fma.f64 a c (.f64 a (+.f64 c c))))) b_2)) (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (fma.f64 a c (*.f64 a (+.f64 c c))))) b_2)) 2)) a)
	45.3b	(fma.f64 1/2 (/.f64 c b_2) (/.f64 b_2 (/.f64 a -2)))
▶	35.6b	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)
	40.4b	(/.f64 (*.f64 c -1/2) b_2)
	54.2b	(/.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 b_2 (sqrt.f64 (fma.f64 a c (*.f64 a (+.f64 c c))))))) b_2) a)
	44.5b	(/.f64 (.f64 (/.f64 (.f64 c -1/2) b_2) a) a)
	56.5b	(.f64 (-.f64 (fma.f64 (.f64 (/.f64 c b_2) a) -1/2 b_2) b_2) (/.f64 1 a))
	44.9b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a) -1/8))
	56.7b	(/.f64 (-.f64 b_2 b_2) a)
	45.2b	(.f64 (.f64 b_2 -2) (/.f64 1 a))
	37.0b	(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)))

Compiler

Compiled 10281 to 3669 computations (64.3% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)
	1.0b	(-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)
	1.2b	(-.f64 (.f64 b_2 b_2) (.f64 a c))
	25.7b	(sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c)))

series626.0ms (5%)

Counts

1 → 20

Calls

9 calls:

172.0ms	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)	c	inf
166.0ms	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)	c	-inf
134.0ms	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)	a	-inf
130.0ms	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)	a	inf
6.0ms	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)	c	0

rewrite52.0ms (0.4%)

Algorithm

1×	batch-egg-rewrite

Rules

323×	`fma-neg_binary64`
238×	`expm1-udef_binary64`
238×	`log1p-udef_binary64`
137×	`add-sqr-sqrt_binary64`
133×	`log1p-expm1-u_binary64`

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	12	21
1	277	18
2	3912	18

Stop Event

1×	node limit

Counts

1 → 46

simplify39.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 2 (0.0ms)

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

Stop Event

1×	node limit

Counts

66 → 69

prune245.0ms (2%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	384	2	386
Fresh	1	12	13
Picked	0	1	1
Done	0	0	0
Total	385	15	400

Error

7.0b

Counts

400 → 15

Alt Table

Status	Error	Program
	48.9b	(/.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))))))
	45.4b	(/.f64 (fma.f64 b_2 -2 (*.f64 (/.f64 1/2 (/.f64 b_2 c)) a)) a)
	45.5b	(/.f64 (.f64 (-.f64 (.f64 b_2 b_2) (fma.f64 b_2 b_2 (.f64 a c))) (/.f64 1 (+.f64 b_2 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (*.f64 a c)))))) a)
	45.3b	(fma.f64 (/.f64 b_2 a) -2 (*.f64 (/.f64 1/2 b_2) c))
✓	35.6b	(pow.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2)) -1)
	40.4b	(/.f64 (*.f64 c -1/2) b_2)
	54.2b	(/.f64 (-.f64 (exp.f64 (log.f64 (hypot.f64 b_2 (sqrt.f64 (fma.f64 a c (*.f64 a (+.f64 c c))))))) b_2) a)
	44.5b	(/.f64 (.f64 (/.f64 (.f64 c -1/2) b_2) a) a)
	48.4b	(/.f64 (sqrt.f64 (/.f64 (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2) a)) (sqrt.f64 (/.f64 a (-.f64 (sqrt.f64 (-.f64 (.f64 b_2 b_2) (.f64 a c))) b_2))))
	45.2b	(.f64 (.f64 b_2 -2) (/.f64 1 a))
	49.5b	(/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (fma.f64 a c (.f64 a (+.f64 c c))))) b_2)) (pow.f64 (cbrt.f64 (-.f64 (hypot.f64 b_2 (sqrt.f64 (fma.f64 a c (*.f64 a (+.f64 c c))))) b_2)) 2)) a)
	56.5b	(.f64 (-.f64 (fma.f64 (.f64 (/.f64 c b_2) a) -1/2 b_2) b_2) (/.f64 1 a))
	44.9b	(fma.f64 -1/2 (/.f64 c b_2) (.f64 (.f64 (/.f64 (*.f64 c c) (pow.f64 b_2 3)) a) -1/8))
	56.7b	(/.f64 (-.f64 b_2 b_2) a)
	37.0b	(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)))

Compiler

Compiled 10115 to 3516 computations (65.2% saved)

regimes7.0s (56.1%)

Accuracy

Total 4.3b remaining (43.3%)

Threshold costs 0b (0%)

Counts

351 → 3

Compiler

Compiled 28752 to 17790 computations (38.1% saved)

bsearch71.0ms (0.6%)

Algorithm

2×	binary-search

Calls

2 calls:

39.0ms	b_2
22.0ms	b_2

Steps

Iters	Point		Range
2.3e-42	∈ [	1.294991546918774e-42	,	3.788770423064029e-39	]
-7.5e+127	∈ [	-8.963619699256137e+127	,	-1.6333868850112616e+124	]

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

15×	`cancel-sign-sub-inv_binary64`
15×	`neg-sub0_binary64`
14×	`sub-neg_binary64`
14×	`neg-mul-1_binary64`
13×	`+-commutative_binary64`

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	29	56
1	42	55
2	56	55
3	70	53
4	93	53
5	117	53
6	137	53
7	152	53
8	174	53
9	184	53

Stop Event

1×

saturated

end163.0ms (1.3%)

Stop Event

1×

fuel

Compiler

Compiled 366 to 211 computations (42.3% saved)

Details

analyze730.0ms (5.9%)

sample2.0s (15.8%)

preprocess62.0ms (0.5%)

simplify115.0ms (0.9%)

prune3.0ms (0%)

localize7.0ms (0.1%)

series112.0ms (0.9%)

rewrite101.0ms (0.8%)

simplify57.0ms (0.5%)

prune292.0ms (2.3%)

localize13.0ms (0.1%)

series83.0ms (0.7%)

rewrite87.0ms (0.7%)

simplify59.0ms (0.5%)

prune138.0ms (1.1%)

localize10.0ms (0.1%)

series47.0ms (0.4%)

rewrite54.0ms (0.4%)

simplify39.0ms (0.3%)

prune282.0ms (2.3%)

localize9.0ms (0.1%)

series626.0ms (5%)

rewrite52.0ms (0.4%)

simplify39.0ms (0.3%)

prune245.0ms (2%)

regimes7.0s (56.1%)

bsearch71.0ms (0.6%)

simplify5.0ms (0%)

end163.0ms (1.3%)

Profiling