Details

analyze357.0ms (5.5%)

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.6s (40.6%)

Results

1.0s	3948×	body	256	valid
672.0ms	1529×	body	512	valid
643.0ms	2779×	body	128	valid
123.0ms	875×	body	128	invalid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify257.0ms (4%)

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

51.4b

Counts

3 → 2

Alt Table

Status	Error	Program
	51.4b	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
▶	51.4b	(.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)

localize9.0ms (0.1%)

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))
✓	26.5b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)

series132.0ms (2%)

Counts

4 → 96

Calls

4 calls:

56.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
37.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
28.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
10.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

rewrite78.0ms (1.2%)

Algorithm

1×	batch-egg-rewrite

Rules

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

Counts

4 → 169

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))
74.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

simplify82.0ms (1.3%)

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

265 → 241

Iterations

Useful iterations: 2 (0.0ms)

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

prune346.0ms (5.3%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	230	11	241
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	232	11	243

Error

0.1b

Counts

243 → 11

Alt Table

Status	Error	Program
	51.2b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1/2 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	51.4b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	51.4b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	2.8b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
	50.9b	(.f64 (/.f64 1 (/.f64 (+.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 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)))) (/.f64 1/2 a))
	3.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 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)))))) (/.f64 1/2 a))
	51.2b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
▶	2.6b	(-.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))))
	50.8b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/2 a))
	51.4b	(.f64 (-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 3))) b) (/.f64 1/2 a))
	50.9b	(.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (+.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))

Compiler

Compiled 6945 to 4073 computations (41.4% saved)

localize23.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 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
✓	0.4b	(.f64 (.f64 a a) (pow.f64 c 3))
✓	0.4b	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))

series221.0ms (3.4%)

Counts

4 → 120

Calls

4 calls:

95.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
81.0ms	(/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))
31.0ms	(/.f64 (*.f64 c c) (pow.f64 b 3))
13.0ms	(.f64 (.f64 a a) (pow.f64 c 3))

rewrite73.0ms (1.1%)

Algorithm

1×	batch-egg-rewrite

Rules

357×	`log1p-udef_binary64`
209×	`add-sqr-sqrt_binary64`
208×	`log1p-expm1-u_binary64`
208×	`expm1-log1p-u_binary64`
202×	`add-cbrt-cube_binary64`

Counts

4 → 115

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	21	52
1	463	52
2	4548	52
3	5315	52

simplify152.0ms (2.3%)

Algorithm

1×	egg-herbie

Rules

656×	`associate-l_binary64`
586×	`associate-/r*_binary64`
574×	`associate-r_binary64`
296×	`sqr-pow_binary64`
268×	`associate-/l/_binary64`

Counts

235 → 121

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	22	1632
1	61	1632
2	191	1632
3	885	1632
4	4139	1632
5	4226	1632
6	4425	1632
7	4760	1632
8	5007	1632

prune184.0ms (2.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	121	0	121
Fresh	0	10	10
Picked	0	1	1
Done	0	0	0
Total	121	11	132

Error

0.1b

Counts

132 → 11

Alt Table

Status	Error	Program
	51.2b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1/2 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	51.4b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	51.4b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
▶	2.8b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
	50.9b	(.f64 (/.f64 1 (/.f64 (+.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 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)))) (/.f64 1/2 a))
	3.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 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)))))) (/.f64 1/2 a))
	51.2b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
✓	2.6b	(-.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))))
	50.8b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/2 a))
	51.4b	(.f64 (-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 3))) b) (/.f64 1/2 a))
	50.9b	(.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (+.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))

Compiler

Compiled 5925 to 3685 computations (37.8% saved)

localize30.0ms (0.5%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
✓	0.4b	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
✓	0.4b	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
✓	0.5b	(.f64 (.f64 c a) (*.f64 c a))

series160.0ms (2.5%)

Counts

4 → 96

Calls

4 calls:

67.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
65.0ms	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
18.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
10.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite42.0ms (0.6%)

Algorithm

1×	batch-egg-rewrite

Rules

342×	`log1p-expm1-u_binary64`
342×	`expm1-log1p-u_binary64`
329×	`add-cbrt-cube_binary64`
326×	`add-log-exp_binary64`
325×	`add-exp-log_binary64`

Counts

4 → 62

Calls

4 calls:

40.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
40.0ms	(.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (fma.f64 4 (/.f64 (.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)) (.f64 10 (/.f64 (.f64 (pow.f64 c 4) (pow.f64 a 4)) (pow.f64 b 7))))) (/.f64 1/2 a))
40.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
40.0ms	(.f64 (.f64 c a) (*.f64 c a))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	33	90
1	747	90
2	5054	90

simplify85.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

888×	`fma-neg_binary64`
344×	`distribute-rgt-neg-in_binary64`
341×	`distribute-lft-neg-in_binary64`
335×	`neg-mul-1_binary64`
323×	`unswap-sqr_binary64`

Counts

158 → 80

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	44	2175
1	141	2175
2	489	2131
3	2472	2131
4	4720	2131
5	5153	2131

prune122.0ms (1.9%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	79	1	80
Fresh	0	9	9
Picked	1	0	1
Done	0	1	1
Total	80	11	91

Error

0.1b

Counts

91 → 11

Alt Table

Status	Error	Program
	51.2b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1/2 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	51.4b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	50.9b	(.f64 (/.f64 1 (/.f64 (+.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 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)))) (/.f64 1/2 a))
	3.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 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)))))) (/.f64 1/2 a))
▶	3.2b	(cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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))
	51.2b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
✓	2.6b	(-.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))))
	50.8b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/2 a))
	51.4b	(.f64 (-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 3))) b) (/.f64 1/2 a))
	51.4b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	50.9b	(.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (+.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))

Compiler

Compiled 4285 to 2804 computations (34.6% saved)

localize26.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.6b	(cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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))
✓	0.8b	(pow.f64 (*.f64 c a) 3)
✓	0.8b	(pow.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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.0b	(pow.f64 (*.f64 c a) 4)

series277.0ms (4.3%)

Counts

4 → 120

Calls

4 calls:

157.0ms	(cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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))
92.0ms	(pow.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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)
15.0ms	(pow.f64 (*.f64 c a) 4)
12.0ms	(pow.f64 (*.f64 c a) 3)

rewrite49.0ms (0.8%)

Algorithm

1×	batch-egg-rewrite

Rules

324×	`log1p-expm1-u_binary64`
324×	`expm1-log1p-u_binary64`
310×	`add-cbrt-cube_binary64`
307×	`add-log-exp_binary64`
306×	`add-exp-log_binary64`

Counts

4 → 74

Calls

4 calls:

46.0ms	(cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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))
46.0ms	(pow.f64 (*.f64 c a) 3)
46.0ms	(pow.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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)
46.0ms	(pow.f64 (*.f64 c a) 4)

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	32	143
1	705	143
2	4707	143

simplify83.0ms (1.3%)

Algorithm

1×	egg-herbie

Rules

803×	`associate-/l*_binary64`
525×	`associate-/r*_binary64`
439×	`fma-def_binary64`
207×	`associate-/r/_binary64`
118×	`unswap-sqr_binary64`

Counts

194 → 108

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	139	3859
1	427	3847
2	1641	3791
3	5172	3791

prune149.0ms (2.3%)

Pruning

14 alts after pruning (12 fresh and 2 done)

	Pruned	Kept	Total
New	105	3	108
Fresh	0	9	9
Picked	0	1	1
Done	0	1	1
Total	105	14	119

Error

0.1b

Counts

119 → 14

Alt Table

Status	Error	Program
	51.2b	(/.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1/2 a)) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	51.4b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	50.9b	(.f64 (/.f64 1 (/.f64 (+.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 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)))) (/.f64 1/2 a))
	3.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 4 (/.f64 (*.f64 (pow.f64 c 3) (pow.f64 a 3)) (pow.f64 b 5)))))) (/.f64 1/2 a))
✓	3.2b	(cbrt.f64 (pow.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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))
	51.2b	(/.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))))
✓	2.6b	(-.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))))
	3.1b	(cbrt.f64 (neg.f64 (fma.f64 3 (/.f64 (.f64 (pow.f64 c 4) a) (pow.f64 b 5)) (fma.f64 28 (/.f64 (.f64 (pow.f64 c 6) (pow.f64 a 3)) (pow.f64 b 9)) (fma.f64 9 (/.f64 (.f64 (pow.f64 c 5) (.f64 a a)) (pow.f64 b 7)) (/.f64 (pow.f64 c 3) (pow.f64 b 3)))))))
	50.8b	(.f64 (fma.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 1/4) (neg.f64 b)) (/.f64 1/2 a))
	51.4b	(.f64 (-.f64 (sqrt.f64 (cbrt.f64 (pow.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)) 3))) b) (/.f64 1/2 a))
	5.5b	(.f64 (cbrt.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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))) (pow.f64 (pow.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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)) 2) 1/3))
	51.4b	(/.f64 (/.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2) (pow.f64 (cbrt.f64 a) 2)) (cbrt.f64 a))
	50.9b	(.f64 (/.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (+.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))
	3.6b	(cbrt.f64 (.f64 (pow.f64 (pow.f64 (cbrt.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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))) 2) 3) (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.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))))

Compiler

Compiled 5772 to 3824 computations (33.7% saved)

regimes548.0ms (8.4%)

Accuracy

Total 1.3b remaining (88.4%)

Threshold costs 0b (0%)

Counts

113 → 1

Compiler

Compiled 13944 to 9634 computations (30.9% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
2×	`+-commutative_binary64`
2×	`sub-neg_binary64`
1×	`neg-sub0_binary64`
1×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	28	57
1	33	57
2	38	57
3	40	57
4	41	57
5	41	57

end366.0ms (5.6%)

Compiler: Compiled 706 to 471 computations (33.3% saved)

Details

analyze357.0ms (5.5%)

sample2.6s (40.6%)

simplify257.0ms (4%)

prune4.0ms (0.1%)

localize9.0ms (0.1%)

series132.0ms (2%)

rewrite78.0ms (1.2%)

simplify82.0ms (1.3%)

prune346.0ms (5.3%)

localize23.0ms (0.4%)

series221.0ms (3.4%)

rewrite73.0ms (1.1%)

simplify152.0ms (2.3%)

prune184.0ms (2.8%)

localize30.0ms (0.5%)

series160.0ms (2.5%)

rewrite42.0ms (0.6%)

simplify85.0ms (1.3%)

prune122.0ms (1.9%)

localize26.0ms (0.4%)

series277.0ms (4.3%)

rewrite49.0ms (0.8%)

simplify83.0ms (1.3%)

prune149.0ms (2.3%)

regimes548.0ms (8.4%)

simplify4.0ms (0.1%)

end366.0ms (5.6%)

Profiling