Details

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

sample1.5s (22.9%)

Results

1.2s	7942×	body	128	valid
127.0ms	859×	body	128	invalid
84.0ms	314×	body	256	valid

Compiler

Compiled 106 to 76 computations (28.3% saved)

simplify256.0ms (3.8%)

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

28.4b

Counts

3 → 2

Alt Table

Status	Error	Program
▶	28.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	28.4b	(/.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)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
✓	0.3b	(fma.f64 a (.f64 c -4) (.f64 b b))
✓	0.4b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
✓	28.3b	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)

series125.0ms (1.9%)

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))
34.0ms	(-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)
26.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
11.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))

rewrite77.0ms (1.2%)

Algorithm

2×	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:

72.0ms	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
72.0ms	(fma.f64 a (.f64 c -4) (.f64 b b))
72.0ms	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
72.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
0	0	0
1	0	0

simplify81.0ms (1.2%)

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

prune196.0ms (2.9%)

Pruning

20 alts after pruning (20 fresh and 0 done)

	Pruned	Kept	Total
New	221	20	241
Fresh	1	0	1
Picked	1	0	1
Done	0	0	0
Total	223	20	243

Error

0.6b

Counts

243 → 20

Alt Table

Status	Error	Program
	28.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 1 (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	28.4b	(pow.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))) 3)
	27.5b	(/.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)))))
	28.4b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	29.4b	(.f64 (.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	29.0b	(.f64 (+.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 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	7.6b	(.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))
	28.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) 2)) (/.f64 1/2 a))
	29.2b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	7.7b	(.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))
	28.6b	(.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))
	29.4b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	30.6b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))) (/.f64 1/2 a))
	27.7b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (/.f64 1/2 a)) (+.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)))))))
▶	7.5b	(-.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))))
	28.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))
	27.5b	(/.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))))))
	27.5b	(.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)))) (/.f64 1/2 a))
	27.7b	(.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))
	27.5b	(.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))) (/.f64 1/2 a))

Compiler

Compiled 7717 to 4593 computations (40.5% saved)

localize22.0ms (0.3%)

Local error

Found 4 expressions with local error:

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

series200.0ms (3%)

Counts

4 → 108

Calls

4 calls:

93.0ms	(/.f64 (*.f64 (pow.f64 a 3) (pow.f64 c 4)) (pow.f64 b 7))
57.0ms	(.f64 (.f64 a a) (pow.f64 c 3))
32.0ms	(/.f64 (*.f64 c c) (pow.f64 b 3))
17.0ms	(*.f64 (pow.f64 a 3) (pow.f64 c 4))

rewrite312.0ms (4.6%)

Algorithm

2×	batch-egg-rewrite

Rules

297×	`log1p-udef_binary64`
174×	`add-sqr-sqrt_binary64`
173×	`log1p-expm1-u_binary64`
173×	`expm1-log1p-u_binary64`
169×	`add-cbrt-cube_binary64`

Counts

4 → 115

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	46
1	389	46
2	4336	46
3	4913	46
0	0	0
1	0	0

simplify127.0ms (1.9%)

Algorithm

1×	egg-herbie

Rules

711×	`associate-/l*_binary64`
616×	`associate-l_binary64`
521×	`associate-r_binary64`
406×	`sqr-pow_binary64`
367×	`associate-/r*_binary64`

Counts

223 → 120

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	19	1296
1	52	1296
2	156	1296
3	660	1296
4	3819	1296
5	3872	1296
6	4063	1296
7	4392	1296
8	4734	1296
9	4998	1296

prune271.0ms (4%)

Pruning

21 alts after pruning (21 fresh and 0 done)

	Pruned	Kept	Total
New	117	3	120
Fresh	1	18	19
Picked	1	0	1
Done	0	0	0
Total	119	21	140

Error

0.5b

Counts

140 → 21

Alt Table

Status	Error	Program
	28.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 1 (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	28.4b	(pow.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))) 3)
	9.2b	(-.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 a a) (pow.f64 c 3)))) 1) (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))))
	27.5b	(/.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)))))
	28.4b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	12.0b	(-.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 (exp.f64 (log1p.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)))) 1) a (/.f64 c b))))
	29.4b	(.f64 (.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	29.0b	(.f64 (+.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 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
▶	7.6b	(.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))
	28.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) 2)) (/.f64 1/2 a))
	29.2b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	7.7b	(.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))
	28.6b	(.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))
	29.4b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	30.6b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))) (/.f64 1/2 a))
	27.7b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (/.f64 1/2 a)) (+.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)))))))
	8.0b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (log.f64 (exp.f64 (/.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))))
	28.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))
	27.5b	(.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)))) (/.f64 1/2 a))
	27.7b	(.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))
	27.5b	(.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))) (/.f64 1/2 a))

Compiler

Compiled 6760 to 4250 computations (37.1% saved)

localize28.0ms (0.4%)

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

series164.0ms (2.4%)

Counts

4 → 96

Calls

4 calls:

66.0ms	(/.f64 (.f64 (.f64 c a) (*.f64 c a)) (pow.f64 b 3))
64.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))
19.0ms	(*.f64 (pow.f64 c 4) (pow.f64 a 4))
14.0ms	(.f64 (.f64 c a) (*.f64 c a))

rewrite42.0ms (0.6%)

Algorithm

2×	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
0	0	0
1	0	0

simplify82.0ms (1.2%)

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

prune260.0ms (3.9%)

Pruning

24 alts after pruning (24 fresh and 0 done)

	Pruned	Kept	Total
New	76	4	80
Fresh	0	20	20
Picked	1	0	1
Done	0	0	0
Total	77	24	101

Error

0.5b

Counts

101 → 24

Alt Table

Status	Error	Program
	28.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 1 (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	28.4b	(pow.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))) 3)
	9.2b	(-.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 a a) (pow.f64 c 3)))) 1) (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))))
	27.5b	(/.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)))))
	28.4b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	7.9b	(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))
	27.7b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (/.f64 1/2 a)) (+.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)))))))
	8.4b	(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))) 3)
	28.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))
▶	7.5b	(/.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))))) 1/2) a)
	27.5b	(.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)))) (/.f64 1/2 a))
	27.8b	(-.f64 (exp.f64 (log1p.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)))) 1)
	27.7b	(.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))
	12.0b	(-.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 (exp.f64 (log1p.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)))) 1) a (/.f64 c b))))
	29.4b	(.f64 (.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	29.0b	(.f64 (+.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 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	28.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) 2)) (/.f64 1/2 a))
	29.2b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	7.7b	(.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))
	28.6b	(.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))
	29.4b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	30.6b	(.f64 (log.f64 (exp.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b))) (/.f64 1/2 a))
	8.0b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (log.f64 (exp.f64 (/.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))))
	27.5b	(.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))) (/.f64 1/2 a))

Compiler

Compiled 5515 to 3655 computations (33.7% saved)

localize25.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

series104.0ms (1.5%)

Counts

4 → 108

Calls

4 calls:

68.0ms	(/.f64 (pow.f64 (*.f64 c a) 2) (pow.f64 b 3))
16.0ms	(pow.f64 (*.f64 c a) 4)
11.0ms	(pow.f64 (*.f64 c a) 3)
8.0ms	(pow.f64 (*.f64 c a) 2)

rewrite92.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

605×	`log-prod_binary64`
210×	`prod-diff_binary64`
204×	`expm1-udef_binary64`
204×	`log1p-udef_binary64`
192×	`log-pow_binary64`

Counts

4 → 137

Calls

4 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	13	34
1	282	34
2	2854	34
3	4950	34
4	5190	34
0	0	0
1	0	0

simplify107.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

1459×	`associate-*l/_binary64`
620×	`times-frac_binary64`
460×	`associate-/l*_binary64`
320×	`unswap-sqr_binary64`
299×	`sqr-pow_binary64`

Counts

245 → 139

Iterations

Useful iterations: 6 (0.0ms)

Iter	Nodes	Cost
0	18	1296
1	49	1296
2	155	1296
3	677	1296
4	2717	1152
5	2782	1152
6	2901	972
7	3067	972
8	3219	972
9	3404	972
10	5474	972

prune394.0ms (5.9%)

Pruning

25 alts after pruning (24 fresh and 1 done)

	Pruned	Kept	Total
New	137	2	139
Fresh	1	22	23
Picked	0	1	1
Done	0	0	0
Total	138	25	163

Error

0.5b

Counts

163 → 25

Alt Table

Status	Error	Program
	28.6b	(.f64 (+.f64 (fma.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) 1 (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	28.4b	(pow.f64 (cbrt.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))) 3)
	9.2b	(-.f64 (.f64 -2 (/.f64 (-.f64 (exp.f64 (log1p.f64 (.f64 (.f64 a a) (pow.f64 c 3)))) 1) (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))))
	27.5b	(/.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)))))
	28.4b	(.f64 (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b)) 3) (/.f64 1/2 a))
	7.9b	(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))
	27.7b	(/.f64 (.f64 (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 3/2) (pow.f64 b 3)) (/.f64 1/2 a)) (+.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)))))))
	8.0b	(-.f64 (.f64 -2 (/.f64 (.f64 (.f64 a a) (pow.f64 c 3)) (pow.f64 b 5))) (fma.f64 5 (log.f64 (exp.f64 (/.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))))
	21.8b	(/.f64 (.f64 (-.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (+.f64 (log.f64 (sqrt.f64 (exp.f64 (pow.f64 (.f64 c a) 2)))) (log.f64 (sqrt.f64 (exp.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)
	8.4b	(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))) 3)
	28.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))
✓	7.5b	(/.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))))) 1/2) a)
	27.5b	(.f64 (/.f64 1 (/.f64 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)))) (/.f64 1/2 a))
	27.8b	(-.f64 (exp.f64 (log1p.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)))) 1)
	27.7b	(.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))
	12.0b	(-.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 (exp.f64 (log1p.f64 (/.f64 (*.f64 c c) (pow.f64 b 3)))) 1) a (/.f64 c b))))
	29.4b	(.f64 (.f64 (+.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b)) (-.f64 (pow.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) 1/4) (sqrt.f64 b))) (/.f64 1/2 a))
	29.0b	(.f64 (+.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 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	28.4b	(.f64 (.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) (pow.f64 (cbrt.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b)) 2)) (/.f64 1/2 a))
	29.2b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (cbrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) (neg.f64 b)) (fma.f64 (neg.f64 (sqrt.f64 b)) (sqrt.f64 b) b)) (/.f64 1/2 a))
	7.7b	(.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))
	28.6b	(.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))
	29.4b	(.f64 (+.f64 (fma.f64 (cbrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) (cbrt.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))) (neg.f64 (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (fma.f64 (neg.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2))) (sqrt.f64 (cbrt.f64 (pow.f64 b 4))) (*.f64 (sqrt.f64 (pow.f64 (cbrt.f64 b) 2)) (sqrt.f64 (cbrt.f64 (pow.f64 b 4)))))) (/.f64 1/2 a))
	20.1b	(/.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 (+.f64 (log.f64 (.f64 (cbrt.f64 (exp.f64 (pow.f64 (.f64 c a) 4))) (cbrt.f64 (exp.f64 (pow.f64 (.f64 c a) 4))))) (log.f64 (cbrt.f64 (exp.f64 (pow.f64 (*.f64 c a) 4))))) (pow.f64 b 7))))) 1/2) a)
	27.5b	(.f64 (.f64 (-.f64 (fma.f64 a (.f64 c -4) (.f64 b b)) (.f64 b b)) (/.f64 1 (+.f64 b (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))) (/.f64 1/2 a))

Compiler

Compiled 7757 to 4739 computations (38.9% saved)

regimes1.2s (17.5%)

Accuracy

Total 4.3b remaining (86.9%)

Threshold costs 0b (0%)

Counts

176 → 2

Compiler

Compiled 24936 to 17046 computations (31.6% saved)

bsearch16.0ms (0.2%)

Steps

Iters	Range		Point
1	1.2875381003246968	1.3634319583275036	1.3065115648253984

Compiler

Compiled 4 to 3 computations (25% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

8×	`*-commutative_binary64`
6×	`+-commutative_binary64`
5×	`sub-neg_binary64`
3×	`neg-sub0_binary64`
3×	`neg-mul-1_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	107
1	60	107
2	69	107
3	75	107
4	78	107
5	77	107

end640.0ms (9.5%)

Compiler: Compiled 1232 to 827 computations (32.9% saved)

Details

analyze369.0ms (5.5%)

sample1.5s (22.9%)

simplify256.0ms (3.8%)

prune4.0ms (0.1%)

localize9.0ms (0.1%)

series125.0ms (1.9%)

rewrite77.0ms (1.2%)

simplify81.0ms (1.2%)

prune196.0ms (2.9%)

localize22.0ms (0.3%)

series200.0ms (3%)

rewrite312.0ms (4.6%)

simplify127.0ms (1.9%)

prune271.0ms (4%)

localize28.0ms (0.4%)

series164.0ms (2.4%)

rewrite42.0ms (0.6%)

simplify82.0ms (1.2%)

prune260.0ms (3.9%)

localize25.0ms (0.4%)

series104.0ms (1.5%)

rewrite92.0ms (1.4%)

simplify107.0ms (1.6%)

prune394.0ms (5.9%)

regimes1.2s (17.5%)

bsearch16.0ms (0.2%)

simplify5.0ms (0.1%)

end640.0ms (9.5%)

Profiling