Details

analyze664.0ms (6.2%)

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 (25.3%)

Results

767.0ms	5388×	body	128	valid
728.0ms	1157×	body	2048	valid
354.0ms	759×	body	1024	valid
296.0ms	431×	body	4096	valid
258.0ms	358×	body	512	valid
156.0ms	1019×	body	128	invalid
37.0ms	163×	body	256	valid

Compiler

Compiled 62 to 44 computations (29% saved)

simplify272.0ms (2.6%)

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.7b

Counts

3 → 2

Alt Table

Status	Error	Program
	32.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
▶	32.7b	(/.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))
✓	0.2b	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))
✓	0.4b	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
✓	20.9b	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))

series238.0ms (2.2%)

Counts

4 → 96

Calls

4 calls:

107.0ms	(/.f64 (+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (.f64 4 a) c)))) (.f64 2 a))
75.0ms	(+.f64 (neg.f64 b) (sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))))
46.0ms	(sqrt.f64 (-.f64 (.f64 b b) (.f64 (*.f64 4 a) c)))
10.0ms	(-.f64 (.f64 b b) (.f64 (*.f64 4 a) c))

rewrite126.0ms (1.2%)

Algorithm

2×	batch-egg-rewrite

Rules

156× egg-rr

Counts

4 → 156

Calls

2 calls:

123.0ms

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

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	74
1	337	62
2	4158	62
3	4987	62
4	4850	62
0	0	0
1	0	0

simplify80.0ms (0.8%)

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

252 → 229

Iterations

Useful iterations: 2 (0.0ms)

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

prune168.0ms (1.6%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	221	8	229
Fresh	0	1	1
Picked	1	0	1
Done	0	0	0
Total	222	9	231

Error

4.2b

Counts

231 → 9

Alt Table

Status	Error	Program
	46.5b	(pow.f64 (cbrt.f64 (.f64 (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c))))) (/.f64 1/2 a))) 3)
	33.5b	(/.f64 (+.f64 (neg.f64 b) (.f64 (sqrt.f64 (pow.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))) 2)) (sqrt.f64 (cbrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))) (.f64 2 a))
	44.9b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 2 a))
	44.3b	(/.f64 (neg.f64 b) a)
	46.3b	(pow.f64 (/.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))) -1)
▶	32.8b	(.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))
	39.3b	(neg.f64 (/.f64 c b))
	35.6b	(/.f64 (+.f64 (neg.f64 b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c))))))) (*.f64 2 a))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))

Compiler

Compiled 6067 to 3568 computations (41.2% saved)

localize10.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

series308.0ms (2.9%)

Counts

3 → 60

Calls

3 calls:

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

rewrite154.0ms (1.4%)

Algorithm

2×	batch-egg-rewrite

Rules

137× egg-rr

Counts

3 → 137

Calls

2 calls:

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

Iterations

Useful iterations: 0 (0.0ms)

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

simplify72.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

728×	`times-frac_binary64`
467×	`associate-/l*_binary64`
430×	`fma-neg_binary64`
421×	`fma-def_binary64`
410×	`associate-/r*_binary64`

Counts

197 → 204

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	1839
1	393	1816
2	1317	1730
3	4888	1730
4	5152	1730

prune151.0ms (1.4%)

Pruning

10 alts after pruning (10 fresh and 0 done)

	Pruned	Kept	Total
New	199	5	204
Fresh	3	5	8
Picked	1	0	1
Done	0	0	0
Total	203	10	213

Error

4.2b

Counts

213 → 10

Alt Table

Status	Error	Program
	44.9b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 2 a))
	44.3b	(/.f64 (neg.f64 b) a)
	50.2b	(cbrt.f64 (pow.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a)) 3))
	39.3b	(neg.f64 (/.f64 c b))
	46.3b	(pow.f64 (/.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))) -1)
	47.1b	(/.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))))))
	50.0b	(exp.f64 (log.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))))
▶	33.8b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))
	35.6b	(.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))

Compiler

Compiled 5821 to 3389 computations (41.8% saved)

localize18.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.4b	(pow.f64 (cbrt.f64 b) 2)
✓	0.5b	(cbrt.f64 b)
	20.9b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
✓	60.4b	(fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)

series118.0ms (1.1%)

Counts

3 → 36

Calls

3 calls:

44.0ms	(fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)
39.0ms	(pow.f64 (cbrt.f64 b) 2)
34.0ms	(cbrt.f64 b)

rewrite115.0ms (1.1%)

Algorithm

2×	batch-egg-rewrite

Rules

253× egg-rr

Counts

3 → 253

Calls

2 calls:

110.0ms	((fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b) (cbrt.f64 b) (pow.f64 (cbrt.f64 b) 2))
0.0ms	()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	23
1	143	11
2	1246	11
3	4890	11
4	6285	11
0	0	0
1	0	0

simplify102.0ms (1%)

Algorithm

1×	egg-herbie

Rules

1246×	`fma-def_binary64`
735×	`sqr-pow_binary64`
412×	`unswap-sqr_binary64`
317×	`*-commutative_binary64`
255×	`fma-neg_binary64`

Counts

289 → 263

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	182
1	38	182
2	70	182
3	174	182
4	530	182
5	896	182
6	937	182
7	1118	182
8	1363	182
9	1658	182
10	1997	182
11	2358	182
12	2807	182
13	3517	182
14	4433	182
15	4877	182

prune695.0ms (6.5%)

Pruning

12 alts after pruning (12 fresh and 0 done)

	Pruned	Kept	Total
New	373	4	377
Fresh	1	8	9
Picked	1	0	1
Done	0	0	0
Total	375	12	387

Error

4.1b

Counts

387 → 12

Alt Table

Status	Error	Program
	46.3b	(pow.f64 (/.f64 (.f64 a 2) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (*.f64 a c)))))) -1)
	46.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (+.f64 (+.f64 b b) (+.f64 b b))) (/.f64 1/2 a))
	44.9b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 2 a))
	44.3b	(/.f64 (neg.f64 b) a)
▶	35.6b	(.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))
	52.8b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (+.f64 (fma.f64 (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))) (cbrt.f64 (cbrt.f64 b)) (neg.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (cbrt.f64 (pow.f64 b 2/3))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3))) (cbrt.f64 (pow.f64 b 2/3)) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (cbrt.f64 (pow.f64 b 2/3)))))) (/.f64 1/2 a))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	44.6b	(*.f64 (+.f64 (-.f64 (neg.f64 b) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))
	47.1b	(/.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))))))
	50.0b	(exp.f64 (log.f64 (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (/.f64 1/2 a))))
	39.3b	(neg.f64 (/.f64 c b))
	52.7b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (+.f64 (fma.f64 (cbrt.f64 (pow.f64 b 2/3)) (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 b))) (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))) (.f64 (cbrt.f64 (cbrt.f64 b)) (*.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))))))) (/.f64 1/2 a))

Compiler

Compiled 14952 to 8355 computations (44.1% saved)

localize14.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))
✓	5.4b	(exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))))
	20.9b	(sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b)))
✓	22.3b	(-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))) b)

series258.0ms (2.4%)

Counts

3 → 60

Calls

3 calls:

123.0ms

(*.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))

82.0ms

(exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b)))))

53.0ms

(-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) b)

rewrite78.0ms (0.7%)

Algorithm

2×	batch-egg-rewrite

Rules

138× egg-rr

Counts

3 → 138

Calls

2 calls:

74.0ms

((-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) b) (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) (*.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (*.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a)))

0.0ms

()

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	15	51
1	295	51
2	3556	51
3	5296	51
0	0	0
1	0	0

simplify73.0ms (0.7%)

Algorithm

1×	egg-herbie

Rules

728×	`times-frac_binary64`
467×	`associate-/l*_binary64`
430×	`fma-neg_binary64`
421×	`fma-def_binary64`
410×	`associate-/r*_binary64`

Counts

198 → 204

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	118	1839
1	393	1816
2	1317	1730
3	4888	1730
4	5152	1730

prune226.0ms (2.1%)

Pruning

13 alts after pruning (12 fresh and 1 done)

	Pruned	Kept	Total
New	246	3	249
Fresh	2	9	11
Picked	0	1	1
Done	0	0	0
Total	248	13	261

Error

4.1b

Counts

261 → 13

Alt Table

Status	Error	Program
	44.9b	(/.f64 (/.f64 (-.f64 (fma.f64 b b (.f64 -4 (.f64 a c))) (.f64 b b)) (+.f64 b (sqrt.f64 (fma.f64 b b (.f64 -4 (.f64 a c)))))) (.f64 2 a))
	44.3b	(/.f64 (neg.f64 b) a)
	32.8b	(/.f64 1 (/.f64 a (.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) 1/2)))
✓	35.6b	(.f64 (-.f64 (exp.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))))) b) (/.f64 1/2 a))
	52.8b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (+.f64 (fma.f64 (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))) (cbrt.f64 (cbrt.f64 b)) (neg.f64 (.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (cbrt.f64 (pow.f64 b 2/3))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3))) (cbrt.f64 (pow.f64 b 2/3)) (.f64 (*.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (cbrt.f64 (pow.f64 b 2/3)))))) (/.f64 1/2 a))
	47.1b	(/.f64 (.f64 -2 (fma.f64 (/.f64 c b) a (/.f64 (.f64 (.f64 c a) (.f64 c a)) (pow.f64 b 3)))) (*.f64 2 a))
	44.6b	(*.f64 (+.f64 (-.f64 (neg.f64 b) b) (fma.f64 (neg.f64 (cbrt.f64 b)) (pow.f64 (cbrt.f64 b) 2) b)) (/.f64 1/2 a))
	46.5b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b))) b) (+.f64 (+.f64 b b) (+.f64 b b))) (/.f64 1/2 a))
	47.1b	(/.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))))))
	46.6b	(*.f64 (-.f64 (exp.f64 (log.f64 (neg.f64 b))) b) (/.f64 1/2 a))
	39.3b	(neg.f64 (/.f64 c b))
	36.8b	(.f64 (-.f64 (pow.f64 (exp.f64 (pow.f64 (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))))) 2)) (cbrt.f64 (log.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (*.f64 b b)))))) b) (/.f64 1/2 a))
	52.7b	(.f64 (+.f64 (-.f64 (sqrt.f64 (fma.f64 a (.f64 c -4) (.f64 b b))) b) (+.f64 (fma.f64 (cbrt.f64 (pow.f64 b 2/3)) (.f64 (cbrt.f64 (cbrt.f64 b)) (pow.f64 b 2/3)) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 b)) (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 b))) (.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))) (.f64 (cbrt.f64 (cbrt.f64 b)) (*.f64 (pow.f64 b 2/3) (cbrt.f64 (pow.f64 b 2/3))))))) (/.f64 1/2 a))

Compiler

Compiled 6966 to 4116 computations (40.9% saved)

regimes3.7s (34.6%)

Accuracy

Total 4.6b remaining (44.3%)

Threshold costs 0b (0%)

Counts

222 → 3

Compiler

Compiled 21952 to 14826 computations (32.5% saved)

bsearch82.0ms (0.8%)

Steps

Iters	Range		Point
10	1.5641535248602722e-80	8.26668635655845e-71	2.0627980826047655e-71
3	-4.905015133134337e+159	-7.706913201840932e+152	-5.560568612734722e+153

Compiler

Compiled 4 to 3 computations (25% saved)

simplify6.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

16×	`neg-sub0_binary64`
16×	`neg-mul-1_binary64`
14×	`*-commutative_binary64`
14×	`distribute-rgt-neg-in_binary64`
14×	`cancel-sign-sub-inv_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	29	54
1	55	54
2	79	54
3	106	54
4	127	54
5	139	54
6	153	54
7	160	54
8	162	54
9	157	54

end225.0ms (2.1%)

Compiler: Compiled 454 to 295 computations (35% saved)

Details

analyze664.0ms (6.2%)

sample2.7s (25.3%)

simplify272.0ms (2.6%)

prune4.0ms (0%)

localize11.0ms (0.1%)

series238.0ms (2.2%)

rewrite126.0ms (1.2%)

simplify80.0ms (0.8%)

prune168.0ms (1.6%)

localize10.0ms (0.1%)

series308.0ms (2.9%)

rewrite154.0ms (1.4%)

simplify72.0ms (0.7%)

prune151.0ms (1.4%)

localize18.0ms (0.2%)

series118.0ms (1.1%)

rewrite115.0ms (1.1%)

simplify102.0ms (1%)

prune695.0ms (6.5%)

localize14.0ms (0.1%)

series258.0ms (2.4%)

rewrite78.0ms (0.7%)

simplify73.0ms (0.7%)

prune226.0ms (2.1%)

regimes3.7s (34.6%)

bsearch82.0ms (0.8%)

simplify6.0ms (0.1%)

end225.0ms (2.1%)

Profiling