Details

analyze654.0ms (5.7%)

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)

sample2.7s (23.3%)

Results

756.0ms	1098×	body	2048	valid
741.0ms	5416×	body	128	valid
325.0ms	786×	body	1024	valid
310.0ms	407×	body	4096	valid
261.0ms	1088×	body	128	invalid
116.0ms	360×	body	512	valid
42.0ms	189×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify290.0ms (2.5%)

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

32.0b

Counts

3 → 2

Alt Table

Status	Error	Program
	32.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	32.0b	(/.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.1b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
✓	1.0b	(-.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))))
✓	22.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series217.0ms (1.9%)

Counts

4 → 96

Calls

4 calls:

84.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
81.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
42.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite29.0ms (0.3%)

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:

9.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
8.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))

simplify135.0ms (1.2%)

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

prune171.0ms (1.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

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

Error

5.7b

Counts

209 → 14

Alt Table

Status	Error	Program
	32.1b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	34.0b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	32.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	32.3b	(.f64 (/.f64 (.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) 2) (/.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) a))
	55.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
✓	32.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	49.5b	(exp.f64 (-.f64 (log.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))) (log.f64 (.f64 2 a))))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	46.5b	(/.f64 (neg.f64 b) a)
	46.0b	(-.f64 (neg.f64 (/.f64 c b)) (/.f64 (.f64 c (.f64 c a)) (pow.f64 b 3)))
	40.9b	(neg.f64 (/.f64 c b))
	33.7b	(/.f64 (exp.f64 (log.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) (*.f64 2 a))
▶	32.0b	(.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))
	58.6b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) a))))

Compiler

Compiled 5801 to 3413 computations (41.2% 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 (.f64 c (.f64 a -4))) b) b)) a)
✓	0.2b	(.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))
✓	0.2b	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
✓	14.0b	(sqrt.f64 (.f64 c (.f64 a -4)))

series929.0ms (8.2%)

Counts

4 → 28

Calls

4 calls:

533.0ms	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) a)
230.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))
146.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
19.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

rewrite65.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:

24.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))
6.0ms	(-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)
5.0ms	(/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) a)
3.0ms	(sqrt.f64 (.f64 c (.f64 a -4)))

simplify332.0ms (2.9%)

Algorithm

1×	egg-herbie

Rules

626×	`fma-def_binary64`
314×	`cancel-sign-sub-inv_binary64`
285×	`fma-neg_binary64`
193×	`associate-*r/_binary64`
182×	`associate-/l*_binary64`

Counts

210 → 313

Iterations

Useful iterations: 3 (0.0ms)

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

prune421.0ms (3.7%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	392	4	396
Fresh	4	8	12
Picked	1	0	1
Done	0	1	1
Total	397	13	410

Error

5.7b

Counts

410 → 13

Alt Table

Status	Error	Program
	44.2b	(.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.5b	(/.f64 (neg.f64 b) a)
	32.1b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	34.0b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	49.5b	(fma.f64 1/4 (/.f64 (.f64 -4 c) b) (fma.f64 1/32 (/.f64 (pow.f64 (.f64 -4 (.f64 c a)) 3) (.f64 a (pow.f64 b 5))) (fma.f64 (/.f64 (pow.f64 (.f64 -4 (.f64 c a)) 4) (.f64 a (pow.f64 b 7))) -5/256 (.f64 (.f64 (.f64 -4 c) (/.f64 (.f64 -4 (.f64 c a)) (pow.f64 b 3))) -1/16))))
▶	32.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	55.8b	(/.f64 (+.f64 (neg.f64 b) b) (*.f64 2 a))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	47.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b)) a))
	40.9b	(neg.f64 (/.f64 c b))
	32.1b	(.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)) 2) (fabs.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)))) (/.f64 (sqrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) a))
	58.6b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) a))))
✓	32.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 16559 to 10768 computations (35% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.2b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
✓	1.2b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
✓	22.4b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))

series235.0ms (2.1%)

Counts

4 → 96

Calls

4 calls:

128.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
54.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
42.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
10.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

rewrite22.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

42×	`add-sqr-sqrt_binary64`
32×	`*-un-lft-identity_binary64`
28×	`add-cube-cbrt_binary64`
18×	`prod-diff_binary64`
17×	`sqrt-prod_binary64`

Counts

4 → 109

Calls

4 calls:

8.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
5.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
1.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
0.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

simplify197.0ms (1.7%)

Algorithm

1×	egg-herbie

Rules

527×	`fma-neg_binary64`
338×	`distribute-rgt-in_binary64`
273×	`cancel-sign-sub-inv_binary64`
155×	`associate-l_binary64`
153×	`associate-r_binary64`

Counts

205 → 231

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	267	5424
1	673	4468
2	2524	4293
3	4550	4293
4	4991	4293
5	4994	4293
6	4884	4293

prune216.0ms (1.9%)

Pruning

13 alts after pruning (11 fresh and 2 done)

	Pruned	Kept	Total
New	230	1	231
Fresh	1	10	11
Picked	0	1	1
Done	0	1	1
Total	231	13	244

Error

5.7b

Counts

244 → 13

Alt Table

Status	Error	Program
	44.2b	(.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.5b	(/.f64 (neg.f64 b) a)
▶	32.1b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	34.0b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	49.5b	(fma.f64 1/4 (/.f64 (.f64 -4 c) b) (fma.f64 1/32 (/.f64 (pow.f64 (.f64 -4 (.f64 c a)) 3) (.f64 a (pow.f64 b 5))) (fma.f64 (/.f64 (pow.f64 (.f64 -4 (.f64 c a)) 4) (.f64 a (pow.f64 b 7))) -5/256 (.f64 (.f64 (.f64 -4 c) (/.f64 (.f64 -4 (.f64 c a)) (pow.f64 b 3))) -1/16))))
	32.1b	(.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)) 2) (fabs.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)))) (/.f64 (sqrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) a))
	55.8b	(*.f64 (-.f64 b b) (/.f64 1/2 a))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	47.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b)) a))
	40.9b	(neg.f64 (/.f64 c b))
✓	32.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	58.6b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) a))))
✓	32.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))

Compiler

Compiled 6577 to 3878 computations (41% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.2b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	1.0b	(-.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))))
	22.4b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series91.0ms (0.8%)

Counts

1 → 20

Calls

1 calls:

91.0ms

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

rewrite21.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

53×	`times-frac_binary64`
37×	`*-un-lft-identity_binary64`
22×	`add-exp-log_binary64`
21×	`add-sqr-sqrt_binary64`
21×	`add-cube-cbrt_binary64`

Counts

1 → 74

Calls

1 calls:

11.0ms

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

simplify117.0ms (1%)

Algorithm

1×	egg-herbie

Rules

665×	`associate-/l*_binary64`
599×	`div-sub_binary64`
349×	`fma-def_binary64`
295×	`fma-neg_binary64`
265×	`associate-/r/_binary64`

Counts

94 → 117

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	164	3247
1	439	2847
2	1517	2670
3	4595	2670
4	6178	2670

prune233.0ms (2%)

Pruning

14 alts after pruning (11 fresh and 3 done)

	Pruned	Kept	Total
New	256	1	257
Fresh	0	10	10
Picked	0	1	1
Done	0	2	2
Total	256	14	270

Error

5.7b

Counts

270 → 14

Alt Table

Status	Error	Program
	44.2b	(.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.5b	(/.f64 (neg.f64 b) a)
✓	32.1b	(/.f64 1 (/.f64 (.f64 2 a) (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c))))))
	34.0b	(/.f64 (/.f64 (.f64 4 (.f64 c a)) (-.f64 (neg.f64 b) (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b))) (*.f64 2 a))
	49.5b	(fma.f64 1/4 (/.f64 (.f64 -4 c) b) (fma.f64 1/32 (/.f64 (pow.f64 (.f64 -4 (.f64 c a)) 3) (.f64 a (pow.f64 b 5))) (fma.f64 (/.f64 (pow.f64 (.f64 -4 (.f64 c a)) 4) (.f64 a (pow.f64 b 7))) -5/256 (.f64 (.f64 (.f64 -4 c) (/.f64 (.f64 -4 (.f64 c a)) (pow.f64 b 3))) -1/16))))
	32.1b	(.f64 (.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)) 2) (fabs.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 -4 (.f64 c a))) b) b)))) (/.f64 (sqrt.f64 (cbrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b))) a))
	55.8b	(*.f64 (-.f64 b b) (/.f64 1/2 a))
	46.7b	(-.f64 (/.f64 c b) (/.f64 b a))
	47.8b	(.f64 (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b)) 2) (/.f64 (sqrt.f64 (-.f64 (hypot.f64 (.f64 (sqrt.f64 c) (sqrt.f64 (*.f64 a -4))) b) b)) a))
	40.9b	(neg.f64 (/.f64 c b))
✓	32.1b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	58.6b	(log.f64 (sqrt.f64 (exp.f64 (/.f64 (-.f64 (hypot.f64 (sqrt.f64 (.f64 c (.f64 a -4))) b) b) a))))
✓	32.0b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
	46.6b	(/.f64 1 (/.f64 (.f64 2 a) (.f64 b -2)))

Compiler

Compiled 7785 to 4772 computations (38.7% saved)

regimes3.9s (34.6%)

Accuracy

Total 3.3b remaining (36.5%)

Threshold costs 0b (0%)

Counts

210 → 4

Compiler

Compiled 21972 to 15462 computations (29.6% saved)

bsearch134.0ms (1.2%)

Steps

Iters	Range	Point
7	1.385437444728236e+101	9.54664635571292e+102	2.3361535024269667e+101
7	3.555679662482471e-165	7.472419051743934e-148	3.9562943804830147e-153
7	-2.0090974871823676e+135	-7.483300153678867e+133	-1.747572511563342e+134

Iters

Range

Point

1.385437444728236e+101

9.54664635571292e+102

2.3361535024269667e+101

3.555679662482471e-165

7.472419051743934e-148

3.9562943804830147e-153

-2.0090974871823676e+135

-7.483300153678867e+133

-1.747572511563342e+134

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 1 (0.0ms)

Iter	Nodes	Cost
0	39	89
1	56	87
2	67	87
3	73	87
4	75	87
5	75	87

end226.0ms (2%)

Compiler: Compiled 455 to 308 computations (32.3% saved)

Details

analyze654.0ms (5.7%)

sample2.7s (23.3%)

simplify290.0ms (2.5%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series217.0ms (1.9%)

rewrite29.0ms (0.3%)

simplify135.0ms (1.2%)

prune171.0ms (1.5%)

localize11.0ms (0.1%)

series929.0ms (8.2%)

rewrite65.0ms (0.6%)

simplify332.0ms (2.9%)

prune421.0ms (3.7%)

localize10.0ms (0.1%)

series235.0ms (2.1%)

rewrite22.0ms (0.2%)

simplify197.0ms (1.7%)

prune216.0ms (1.9%)

localize14.0ms (0.1%)

series91.0ms (0.8%)

rewrite21.0ms (0.2%)

simplify117.0ms (1%)

prune233.0ms (2%)

regimes3.9s (34.6%)

bsearch134.0ms (1.2%)

simplify5.0ms (0%)

end226.0ms (2%)

Profiling