Details

analyze610.0ms (6.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
21.8%	71.8%	6.4%	7
31.2%	62.4%	6.4%	8
35.9%	55.4%	8.7%	9
37.8%	48.8%	13.4%	10
42.7%	42.3%	15%	11
47.7%	34.2%	18.1%	12
49.1%	30.4%	20.5%	13
51.9%	25.8%	22.3%	14

Compiler

Compiled 21 to 15 computations (28.6% saved)

sample139.0ms (1.6%)

Algorithm

1×

intervals

Results

15.0ms	167×	body	128	valid
12.0ms	37×	body	2048	valid
7.0ms	26×	body	1024	valid
5.0ms	14×	body	4096	valid
2.0ms	9×	body	512	valid
1.0ms	23×	body	128	nan
1.0ms	13×	body	128	invalid
0.0ms	3×	body	256	valid

Compiler

Compiled 44 to 32 computations (27.3% saved)

simplify259.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

1743×	`fma-neg_binary64`
1393×	`fma-def_binary64`
800×	`div-sub_binary64`
619×	`times-frac_binary64`
473×	`associate-/r/_binary64`

Counts

1 → 2

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	15	26
1	33	22
2	67	22
3	138	22
4	204	22
5	338	22
6	558	22
7	924	22
8	1388	22
9	1604	22
10	2375	22
11	2742	22
12	2533	22
13	2621	22
14	3171	22
15	3313	22
16	3873	22
17	3679	22
18	4029	22
19	4317	22
20	4485	22
21	4561	22
22	4805	22
23	4793	22
24	4797	22
25	4797	22
26	4948	22

prune4.0ms (0%)

Pruning

3 alts after pruning (3 fresh and 0 done)

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

Error

31.8b

Counts

3 → 2

Alt Table

Status	Error	Program
	31.9b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	31.8b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize11.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	0.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series189.0ms (2.1%)

Counts

4 → 96

Calls

4 calls:

83.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
51.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
43.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
11.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite34.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

22×	`*-un-lft-identity_binary64`
11×	`add-sqr-sqrt_binary64`
10×	`fma-def_binary64`
10×	`add-cube-cbrt_binary64`
10×	`add-log-exp_binary64`

Counts

4 → 90

Calls

4 calls:

16.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
7.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
4.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
3.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

simplify124.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

701×	`fma-neg_binary64`
334×	`cancel-sign-sub-inv_binary64`
215×	`distribute-rgt-neg-in_binary64`
159×	`associate-r_binary64`
150×	`distribute-rgt-neg-out_binary64`

Counts

186 → 207

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	243	4208
1	695	3858
2	2512	3724
3	4694	3704
4	5031	3704

prune174.0ms (2%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	195	12	207
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	197	12	209

Error

5.3b

Counts

209 → 12

Alt Table

Status	Error	Program
	34.5b	(/.f64 (+.f64 (neg.f64 b) (.f64 (.f64 (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (cbrt.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)))) (*.f64 2 a))
	50.3b	(/.f64 (fma.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) -4)) (*.f64 2 a))
	31.9b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	46.4b	(/.f64 (neg.f64 b) a)
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.2b	(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 c 2) a) (pow.f64 b 3)) (/.f64 c b)))
	40.1b	(neg.f64 (/.f64 c b))
	50.6b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (pow.f64 b 2))) (*.f64 2 a))
	40.4b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
▶	30.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
	34.8b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	45.1b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))

Compiler

Compiled 5927 to 3471 computations (41.4% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
✓	0.1b	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) a)
✓	0.1b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
✓	13.2b	(sqrt.f64 (.f64 c (.f64 a -4)))

series885.0ms (10%)

Counts

4 → 28

Calls

4 calls:

484.0ms	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) a)
233.0ms	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
148.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
20.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

rewrite55.0ms (0.6%)

Algorithm

1×	rewrite-expression-head

Rules

111×	`add-sqr-sqrt_binary64`
84×	`times-frac_binary64`
81×	`*-un-lft-identity_binary64`
59×	`add-cube-cbrt_binary64`
57×	`sqrt-prod_binary64`

Counts

4 → 182

Calls

4 calls:

21.0ms	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
5.0ms	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) a)
4.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
3.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

simplify256.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

626×	`fma-def_binary64`
314×	`cancel-sign-sub-inv_binary64`
285×	`fma-neg_binary64`
192×	`associate-*r/_binary64`
180×	`*-commutative_binary64`

Counts

210 → 313

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	355	7302
1	885	6951
2	2998	6668
3	4737	6472
4	4964	6472
5	5000	6472
6	4892	6472

prune406.0ms (4.6%)

Pruning

12 alts after pruning (11 fresh and 1 done)

	Pruned	Kept	Total
New	395	1	396
Fresh	1	10	11
Picked	0	1	1
Done	0	0	0
Total	396	12	408

Error

5.3b

Counts

408 → 12

Alt Table

Status	Error	Program
▶	31.9b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	46.4b	(/.f64 (neg.f64 b) a)
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	44.2b	(neg.f64 (+.f64 (/.f64 (*.f64 (pow.f64 c 2) a) (pow.f64 b 3)) (/.f64 c b)))
	40.1b	(neg.f64 (/.f64 c b))
	50.3b	(/.f64 (fma.f64 -2 (+.f64 (/.f64 (.f64 c a) b) (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3))) (.f64 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) -4)) (*.f64 2 a))
	50.6b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (pow.f64 b 2))) (*.f64 2 a))
	40.4b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
✓	30.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
	34.8b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	45.1b	(/.f64 (-.f64 (.f64 (neg.f64 b) (neg.f64 b)) (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (.f64 (.f64 2 a) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	44.4b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (.f64 b b))) (.f64 a (sqrt.f64 (+.f64 b (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b))))))

Compiler

Compiled 16579 to 10751 computations (35.2% saved)

localize12.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))))
	0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
	0.7b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
	21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series249.0ms (2.8%)

Counts

1 → 20

Calls

1 calls:

248.0ms

(/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))

rewrite11.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

11×	`*-un-lft-identity_binary64`
6×	`add-cbrt-cube_binary64`
6×	`add-exp-log_binary64`
5×	`associate-/r*_binary64`
5×	`times-frac_binary64`

Counts

1 → 29

Calls

1 calls:

9.0ms

(/.f64 (*.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (*.f64 b b) (*.f64 (*.f64 4 a) c)))))

simplify64.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

828×	`fma-def_binary64`
683×	`associate-/l*_binary64`
438×	`associate-/r*_binary64`
214×	`associate-*l/_binary64`
170×	`associate-*r/_binary64`

Counts

49 → 67

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	128	1496
1	379	1270
2	1259	1198
3	4760	1198
4	5333	1198

prune166.0ms (1.9%)

Pruning

10 alts after pruning (8 fresh and 2 done)

	Pruned	Kept	Total
New	204	3	207
Fresh	5	5	10
Picked	0	1	1
Done	0	1	1
Total	209	10	219

Error

5.3b

Counts

219 → 10

Alt Table

Status	Error	Program
✓	30.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
▶	29.6b	(/.f64 1 (.f64 (/.f64 (.f64 a 2) (.f64 4 (.f64 c a))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	46.4b	(/.f64 1 (neg.f64 (/.f64 a b)))
	40.1b	(neg.f64 (/.f64 c b))
✓	31.9b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	40.4b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	34.8b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	39.9b	(/.f64 1 (-.f64 (/.f64 a b) (/.f64 b c)))
	44.4b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (.f64 b b))) (.f64 a (sqrt.f64 (+.f64 b (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b))))))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))

Compiler

Compiled 6197 to 3809 computations (38.5% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	1.2b	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	13.7b	(/.f64 (.f64 a 2) (.f64 4 (*.f64 c a)))
	21.6b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series59.0ms (0.7%)

Counts

2 → 44

Calls

2 calls:

54.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
5.0ms	(/.f64 (.f64 a 2) (.f64 4 (*.f64 c a)))

rewrite28.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

60×	`prod-diff_binary64`
49×	`*-un-lft-identity_binary64`
49×	`add-sqr-sqrt_binary64`
45×	`add-cube-cbrt_binary64`
34×	`sqrt-prod_binary64`

Counts

2 → 122

Calls

2 calls:

9.0ms	(-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
5.0ms	(/.f64 (.f64 a 2) (.f64 4 (*.f64 c a)))

simplify107.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

539×	`fma-def_binary64`
525×	`associate-/l/_binary64`
216×	`times-frac_binary64`
196×	`fma-neg_binary64`
153×	`cancel-sign-sub-inv_binary64`

Counts

166 → 163

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	238	6008
1	581	3949
2	2390	2912
3	4914	2912

prune217.0ms (2.4%)

Pruning

10 alts after pruning (7 fresh and 3 done)

	Pruned	Kept	Total
New	246	0	246
Fresh	0	7	7
Picked	0	1	1
Done	0	2	2
Total	246	10	256

Error

5.3b

Counts

256 → 10

Alt Table

Status	Error	Program
✓	30.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (*.f64 a -4))) b) b)) a))
✓	29.6b	(/.f64 1 (.f64 (/.f64 (.f64 a 2) (.f64 4 (.f64 c a))) (-.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))))
	46.4b	(/.f64 1 (neg.f64 (/.f64 a b)))
	40.1b	(neg.f64 (/.f64 c b))
✓	31.9b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	40.4b	(/.f64 (/.f64 (+.f64 (pow.f64 (neg.f64 b) 3) (pow.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) 3)) (+.f64 (.f64 (neg.f64 b) (neg.f64 b)) (-.f64 (.f64 (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))) (.f64 2 a))
	34.8b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	39.9b	(/.f64 1 (-.f64 (/.f64 a b) (/.f64 b c)))
	44.4b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b)) (.f64 b b))) (.f64 a (sqrt.f64 (+.f64 b (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b))))))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))

Compiler

Compiled 10959 to 6368 computations (41.9% saved)

regimes3.0s (33.7%)

Accuracy

Total 1.1b remaining (17.6%)

Threshold costs 0b (0%)

Counts

210 → 4

Compiler

Compiled 26426 to 18460 computations (30.1% saved)

bsearch85.0ms (1%)

Steps

Iters	Range	Point
6	4.09517550128626e+69	2.4703547138907317e+70	2.2177230930404807e+70
4	-4.44138500771214e-283	-2.744554208186822e-283	-3.914749420105964e-283
9	-1.0078860194937878e+114	-2.5037999500913393e+105	-1.3129928478581586e+112

Iters

Range

Point

4.09517550128626e+69

2.4703547138907317e+70

2.2177230930404807e+70

-4.44138500771214e-283

-2.744554208186822e-283

-3.914749420105964e-283

-1.0078860194937878e+114

-2.5037999500913393e+105

-1.3129928478581586e+112

Compiler

Compiled 4 to 3 computations (25% saved)

simplify8.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

17×	`*-commutative_binary64`
16×	`+-commutative_binary64`
14×	`sub-neg_binary64`
12×	`neg-sub0_binary64`
12×	`neg-mul-1_binary64`

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	38	95
1	62	93
2	92	93
3	114	93
4	127	91
5	135	91
6	138	91
7	139	91
8	135	91

end1.0ms (0%)

Compiler: Compiled 64 to 41 computations (35.9% saved)

sample1.7s (19.1%)

Algorithm

1×

intervals

Results

367.0ms	1097×	body	2048	valid
365.0ms	5247×	body	128	valid
185.0ms	709×	body	1024	valid
166.0ms	408×	body	4096	valid
72.0ms	359×	body	512	valid
40.0ms	633×	body	128	nan
25.0ms	180×	body	256	valid
23.0ms	349×	body	128	invalid

Compiler

Compiled 349 to 234 computations (33% saved)

Details

analyze610.0ms (6.9%)

sample139.0ms (1.6%)

simplify259.0ms (2.9%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series189.0ms (2.1%)

rewrite34.0ms (0.4%)

simplify124.0ms (1.4%)

prune174.0ms (2%)

localize18.0ms (0.2%)

series885.0ms (10%)

rewrite55.0ms (0.6%)

simplify256.0ms (2.9%)

prune406.0ms (4.6%)

localize12.0ms (0.1%)

series249.0ms (2.8%)

rewrite11.0ms (0.1%)

simplify64.0ms (0.7%)

prune166.0ms (1.9%)

localize16.0ms (0.2%)

series59.0ms (0.7%)

rewrite28.0ms (0.3%)

simplify107.0ms (1.2%)

prune217.0ms (2.4%)

regimes3.0s (33.7%)

bsearch85.0ms (1%)

simplify8.0ms (0.1%)

end1.0ms (0%)

sample1.7s (19.1%)

Profiling