Details

analyze355.0ms (6.1%)

Algorithm

1×

Search

True	Other	False	Iter
0%	0%	100%	0
0%	0%	100%	1
0%	0%	100%	2
0%	0%	100%	3
0%	0%	100%	4
0%	0%	100%	5
0%	0%	100%	6
0%	0%	100%	7
0%	0%	100%	8
0%	0%	100%	9
0%	0%	100%	10
0%	0%	100%	11
0%	0%	100%	12
0%	0%	100%	13
0%	0%	100%	14

Compiler

Compiled 43 to 31 computations (27.9% saved)

sample2.7s (46.2%)

Results

1.1s	3871×	body	256	valid
836.0ms	1539×	body	512	valid
432.0ms	2846×	body	128	valid
189.0ms	855×	body	128	invalid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify260.0ms (4.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.1%)

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

52.0b

Counts

3 → 2

Alt Table

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

Compiler

Compiled 111 to 74 computations (33.3% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
✓	0.1b	(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))
✓	28.0b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)

series126.0ms (2.2%)

Counts

4 → 96

Calls

4 calls:

53.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
35.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
27.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
10.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

rewrite79.0ms (1.4%)

Algorithm

1×	batch-egg-rewrite

Rules

781×	`prod-diff_binary64`
244×	`log1p-udef_binary64`
165×	`egg-rr`
138×	`add-sqr-sqrt_binary64`
132×	`log1p-expm1-u_binary64`

Counts

4 → 165

Calls

4 calls:

75.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
75.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))
75.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
75.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	62
1	279	62
2	3385	62
3	5102	62

simplify84.0ms (1.4%)

Algorithm

1×	egg-herbie

Rules

742×	`times-frac_binary64`
467×	`associate-/l*_binary64`
436×	`fma-def_binary64`
432×	`fma-neg_binary64`
426×	`associate-/r*_binary64`

Counts

261 → 237

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	121	2241
1	398	2164
2	1327	2078
3	4954	2078
4	5218	2078

prune152.0ms (2.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	231	6	237
Fresh	1	0	1
Picked	0	1	1
Done	0	0	0
Total	232	7	239

Error

0.2b

Counts

239 → 7

Alt Table

Status	Error	Program
	52.1b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (/.f64 1/2 a)) (.f64 (neg.f64 b) (/.f64 1/2 a)))
▶	1.4b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	51.3b	(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (/.f64 1 (+.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))))) (/.f64 1/2 a))
✓	52.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	1.8b	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/2 a))
	51.1b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	51.6b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))) (/.f64 1/2 a))

Compiler

Compiled 6583 to 3851 computations (41.5% saved)

localize24.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(/.f64 (*.f64 c c) (pow.f64 b 3))
✓	0.3b	(.f64 (.f64 a a) (pow.f64 c 3))
✓	0.3b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
✓	0.4b	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

series147.0ms (2.5%)

Counts

4 → 108

Calls

4 calls:

83.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
34.0ms	(/.f64 (*.f64 c c) (pow.f64 b 3))
16.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))
13.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite71.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

295×	`log1p-udef_binary64`
173×	`add-sqr-sqrt_binary64`
173×	`log1p-expm1-u_binary64`
173×	`expm1-log1p-u_binary64`
168×	`add-cbrt-cube_binary64`

Counts

4 → 115

Calls

4 calls:

69.0ms	(/.f64 (*.f64 c c) (pow.f64 b 3))
69.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
69.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
69.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	46
1	389	46
2	4347	46
3	4916	46

simplify122.0ms (2.1%)

Algorithm

1×	egg-herbie

Rules

688×	`times-frac_binary64`
593×	`associate-l_binary64`
500×	`associate-r_binary64`
483×	`associate-/l*_binary64`
400×	`sqr-pow_binary64`

Counts

223 → 122

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	1296
1	52	1296
2	152	1296
3	602	1296
4	3824	1296
5	3899	1296
6	4081	1296
7	4404	1296
8	4741	1296
9	4994	1296

prune172.0ms (3%)

Pruning

7 alts after pruning (5 fresh and 2 done)

	Pruned	Kept	Total
New	122	0	122
Fresh	0	5	5
Picked	0	1	1
Done	0	1	1
Total	122	7	129

Error

0.2b

Counts

129 → 7

Alt Table

Status	Error	Program
	52.1b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (/.f64 1/2 a)) (.f64 (neg.f64 b) (/.f64 1/2 a)))
✓	1.4b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	51.3b	(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (/.f64 1 (+.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))))) (/.f64 1/2 a))
✓	52.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	1.8b	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/2 a))
	51.1b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	51.6b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))) (/.f64 1/2 a))

Compiler

Compiled 5594 to 3490 computations (37.6% saved)

localize34.0ms (0.6%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (pow.f64 c 2) (pow.f64 a 2))
✓	0.4b	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
✓	0.4b	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/2 a))
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))

series230.0ms (4%)

Counts

4 → 36

Calls

4 calls:

108.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
93.0ms	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/2 a))
19.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
10.0ms	(*.f64 (pow.f64 c 2) (pow.f64 a 2))

rewrite72.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

731×	`log1p-udef_binary64`
405×	`log1p-expm1-u_binary64`
405×	`expm1-log1p-u_binary64`
381×	`add-log-exp_binary64`
370×	`pow1_binary64`

Counts

4 → 62

Calls

4 calls:

71.0ms	(*.f64 (pow.f64 c 2) (pow.f64 a 2))
71.0ms	(/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))
71.0ms	(.f64 (neg.f64 (+.f64 (.f64 2 (/.f64 (.f64 c a) b)) (+.f64 (.f64 2 (/.f64 (.f64 (pow.f64 c 2) (pow.f64 a 2)) (pow.f64 b 3))) (+.f64 (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))) (.f64 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5))))))) (/.f64 1/2 a))
70.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	38	93
1	882	93
2	4820	93
3	6081	93

simplify52.0ms (0.9%)

Algorithm

1×	egg-herbie

Rules

888×	`fma-neg_binary64`
415×	`associate-/l/_binary64`
340×	`distribute-rgt-neg-in_binary64`
337×	`distribute-lft-neg-in_binary64`
285×	`unswap-sqr_binary64`

Counts

98 → 76

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	42	1359
1	136	1359
2	451	1315
3	2257	1296
4	5015	1296

prune109.0ms (1.9%)

Pruning

9 alts after pruning (7 fresh and 2 done)

	Pruned	Kept	Total
New	73	3	76
Fresh	0	4	4
Picked	1	0	1
Done	0	2	2
Total	74	9	83

Error

0.2b

Counts

83 → 9

Alt Table

Status	Error	Program
	51.1b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	3.2b	(*.f64 c (-.f64 (/.f64 -1 b) (/.f64 c (/.f64 (pow.f64 b 3) a))))
	52.1b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (/.f64 1/2 a)) (.f64 (neg.f64 b) (/.f64 1/2 a)))
✓	1.4b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	51.3b	(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (/.f64 1 (+.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))))) (/.f64 1/2 a))
✓	52.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	2.0b	(cbrt.f64 (pow.f64 (.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 c a) b) (fma.f64 2 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 10 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (/.f64 1/2 a)) 3))
▶	1.7b	(/.f64 (.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 c a) b) (fma.f64 2 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 10 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) 1/2) a)
	51.6b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))) (/.f64 1/2 a))

Compiler

Compiled 4179 to 2841 computations (32% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
✓	0.5b	(pow.f64 (*.f64 c a) 2)
✓	0.7b	(pow.f64 (*.f64 c a) 3)
✓	0.9b	(pow.f64 (*.f64 c a) 4)

series116.0ms (2%)

Counts

4 → 108

Calls

4 calls:

83.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
15.0ms	(pow.f64 (*.f64 c a) 4)
12.0ms	(pow.f64 (*.f64 c a) 3)
7.0ms	(pow.f64 (*.f64 c a) 2)

rewrite66.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

628×	`log-prod_binary64`
224×	`expm1-udef_binary64`
224×	`log1p-udef_binary64`
207×	`log-pow_binary64`
138×	`log1p-expm1-u_binary64`

Counts

4 → 133

Calls

4 calls:

63.0ms	(/.f64 (pow.f64 (*.f64 c a) 3) (pow.f64 b 5))
63.0ms	(pow.f64 (*.f64 c a) 2)
63.0ms	(pow.f64 (*.f64 c a) 3)
63.0ms	(pow.f64 (*.f64 c a) 4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	14	34
1	307	34
2	3085	34
3	5105	34

simplify113.0ms (2%)

Algorithm

1×	egg-herbie

Rules

1529×	`associate-*l/_binary64`
736×	`associate-/l*_binary64`
398×	`associate-/r*_binary64`
327×	`unswap-sqr_binary64`
290×	`sqr-pow_binary64`

Counts

241 → 139

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	19	1296
1	49	1296
2	152	1296
3	728	1296
4	3112	1044
5	3185	1044
6	3301	972
7	3459	972
8	3606	972
9	3787	972
10	5743	972

prune206.0ms (3.6%)

Pruning

9 alts after pruning (6 fresh and 3 done)

	Pruned	Kept	Total
New	139	0	139
Fresh	0	6	6
Picked	0	1	1
Done	0	2	2
Total	139	9	148

Error

0.2b

Counts

148 → 9

Alt Table

Status	Error	Program
	51.1b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	3.2b	(*.f64 c (-.f64 (/.f64 -1 b) (/.f64 c (/.f64 (pow.f64 b 3) a))))
	52.1b	(+.f64 (.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (/.f64 1/2 a)) (.f64 (neg.f64 b) (/.f64 1/2 a)))
✓	1.4b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (/.f64 (.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7)) (fma.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)) a (/.f64 c b))))
	51.3b	(.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (/.f64 1 (+.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))))) (/.f64 1/2 a))
✓	52.0b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	2.0b	(cbrt.f64 (pow.f64 (.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 c a) b) (fma.f64 2 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 10 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) (/.f64 1/2 a)) 3))
✓	1.7b	(/.f64 (.f64 (neg.f64 (fma.f64 2 (/.f64 (.f64 c a) b) (fma.f64 2 (/.f64 (pow.f64 (.f64 c a) 2) (pow.f64 b 3)) (fma.f64 4 (/.f64 (pow.f64 (.f64 c a) 3) (pow.f64 b 5)) (.f64 10 (/.f64 (pow.f64 (.f64 c a) 4) (pow.f64 b 7))))))) 1/2) a)
	51.6b	(.f64 (/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))) (/.f64 1/2 a))

Compiler

Compiled 7282 to 4411 computations (39.4% saved)

regimes278.0ms (4.8%)

Accuracy

Total 1.3b remaining (88.2%)

Threshold costs 0b (0%)

Counts

53 → 1

Compiler

Compiled 7556 to 5006 computations (33.7% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

7×	`*-commutative_binary64`
6×	`+-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	28	56
1	35	56
2	45	56
3	58	56
4	64	56
5	67	56
6	68	56
7	67	56

end208.0ms (3.6%)

Compiler: Compiled 383 to 252 computations (34.2% saved)

Details

analyze355.0ms (6.1%)

sample2.7s (46.2%)

simplify260.0ms (4.5%)

prune4.0ms (0.1%)

localize10.0ms (0.2%)

series126.0ms (2.2%)

rewrite79.0ms (1.4%)

simplify84.0ms (1.4%)

prune152.0ms (2.6%)

localize24.0ms (0.4%)

series147.0ms (2.5%)

rewrite71.0ms (1.2%)

simplify122.0ms (2.1%)

prune172.0ms (3%)

localize34.0ms (0.6%)

series230.0ms (4%)

rewrite72.0ms (1.2%)

simplify52.0ms (0.9%)

prune109.0ms (1.9%)

localize25.0ms (0.4%)

series116.0ms (2%)

rewrite66.0ms (1.1%)

simplify113.0ms (2%)

prune206.0ms (3.6%)

regimes278.0ms (4.8%)

simplify4.0ms (0.1%)

end208.0ms (3.6%)

Profiling