Details

analyze1.0ms (0%)

Algorithm

1×

Search

True	Other	False	Iter
0%	100%	0%	0
100%	0%	0%	1

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.2s (32.3%)

Results

524.0ms	2024×	body	1024	valid
348.0ms	4435×	body	128	valid
201.0ms	1040×	body	512	valid
73.0ms	228×	body	2048	valid
71.0ms	529×	body	256	valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify10.0ms (0.3%)

Algorithm

1×	egg-herbie

Rules

39×	`fma-def_binary64`
32×	`fma-neg_binary64`
14×	`cancel-sign-sub-inv_binary64`
12×	`sub-neg_binary64`
10×	`distribute-rgt-in_binary64`

Counts

1 → 1

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

prune4.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

	Kept	Total
New	1	1
Fresh	1	1
Picked	0	0
Done	0	0
Total	2	2

Error

33.9b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	33.9b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

Compiler

Compiled 24 to 18 computations (25% saved)

localize5.0ms (0.1%)

Local error

Found 3 expressions with local error:

New	Error	Program
✓	0.3b	(cbrt.f64 (+.f64 x 1))
✓	0.5b	(cbrt.f64 x)
✓	4.7b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series49.0ms (1.3%)

Counts

3 → 36

Calls

3 calls:

35.0ms	(cbrt.f64 x)
10.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
4.0ms	(cbrt.f64 (+.f64 x 1))

rewrite57.0ms (1.5%)

Algorithm

2×	batch-egg-rewrite

Rules

731×	`log1p-expm1-u_binary64`
731×	`expm1-log1p-u_binary64`
698×	`prod-diff_binary64`
130×	`egg-rr`
72×	`add-sqr-sqrt_binary64`

Counts

3 → 130

Calls

3 calls:

54.0ms	(cbrt.f64 (+.f64 x 1))
54.0ms	(cbrt.f64 x)
54.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	7	20
1	147	20
2	1806	20
3	5734	20
0	0	0
1	0	0

simplify84.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

420×	`cancel-sign-sub-inv_binary64`
382×	`fma-neg_binary64`
357×	`associate-l_binary64`
339×	`associate-r_binary64`
287×	`fma-def_binary64`

Counts

166 → 176

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	80	815
1	252	797
2	646	621
3	1832	505
4	4653	477
5	4961	477
6	4918	477

prune148.0ms (3.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	168	8	176
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	169	8	177

Error

16.9b

Counts

177 → 8

Alt Table

Status	Error	Program
	34.1b	(-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3) (cbrt.f64 x))
	44.6b	(fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))))))
	35.5b	(-.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
▶	34.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3))
	49.7b	(+.f64 (fma.f64 (pow.f64 (sqrt.f64 (+.f64 x 1)) 1/3) (pow.f64 (sqrt.f64 (+.f64 x 1)) 1/3) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (pow.f64 (pow.f64 x 2/3) 1/3)))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (pow.f64 (pow.f64 x 2/3) 1/3) (.f64 (cbrt.f64 (cbrt.f64 x)) (pow.f64 (pow.f64 x 2/3) 1/3))))
	49.0b	(-.f64 (.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 x 5)) 1/3)))
	35.2b	(/.f64 (+.f64 (+.f64 x 1) (pow.f64 (neg.f64 (cbrt.f64 x)) 3)) (+.f64 (pow.f64 (+.f64 x 1) 2/3) (-.f64 (.f64 (neg.f64 (cbrt.f64 x)) (neg.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (cbrt.f64 x))))))
	49.8b	(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x 1) 2/3) (+.f64 (pow.f64 x 2/3) (cbrt.f64 (*.f64 (+.f64 x 1) x)))) (-.f64 (+.f64 x 1) x)))

Compiler

Compiled 3650 to 2493 computations (31.7% saved)

localize7.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.5b	(cbrt.f64 x)
✓	0.6b	(cbrt.f64 (cbrt.f64 x))
✓	0.7b	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)
✓	25.5b	(-.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3))

series525.0ms (13.6%)

Counts

3 → 36

Calls

3 calls:

273.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)
242.0ms	(cbrt.f64 (cbrt.f64 x))
9.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3))

rewrite72.0ms (1.9%)

Algorithm

2×	batch-egg-rewrite

Rules

877×	`expm1-log1p-u_binary64`
842×	`prod-diff_binary64`
179×	`egg-rr`
89×	`add-sqr-sqrt_binary64`
89×	`log1p-expm1-u_binary64`

Counts

3 → 179

Calls

3 calls:

67.0ms	(cbrt.f64 (cbrt.f64 x))
67.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)
67.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	19
1	193	18
2	2202	18
3	5246	18
0	0	0
1	0	0

simplify60.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

917×	`fma-neg_binary64`
450×	`associate-l_binary64`
421×	`associate-r_binary64`
383×	`cancel-sign-sub-inv_binary64`
230×	`times-frac_binary64`

Counts

215 → 208

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	75	594
1	225	582
2	590	496
3	1651	436
4	4610	435
5	5138	435

prune223.0ms (5.8%)

Pruning

11 alts after pruning (10 fresh and 1 done)

	Pruned	Kept	Total
New	227	4	231
Fresh	1	6	7
Picked	0	1	1
Done	0	0	0
Total	228	11	239

Error

16.9b

Counts

239 → 11

Alt Table

Status	Error	Program
▶	34.1b	(-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3) (cbrt.f64 x))
	44.6b	(fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))))))
	50.2b	(+.f64 (fma.f64 (pow.f64 (+.f64 x 1) 1/6) (pow.f64 (+.f64 x 1) 1/6) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 x) 2/3)) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 x) 2/3))) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3)) (.f64 (*.f64 (cbrt.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 x) 2/3)) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3)))))
	35.5b	(-.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
✓	34.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3))
	35.2b	(/.f64 (+.f64 (+.f64 x 1) (pow.f64 (neg.f64 (cbrt.f64 x)) 3)) (+.f64 (pow.f64 (+.f64 x 1) 2/3) (-.f64 (.f64 (neg.f64 (cbrt.f64 x)) (neg.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (+.f64 x 1)) (neg.f64 (cbrt.f64 x))))))
	50.3b	(+.f64 (fma.f64 (pow.f64 (sqrt.f64 (+.f64 x 1)) 1/3) (pow.f64 (sqrt.f64 (+.f64 x 1)) 1/3) (neg.f64 (.f64 (pow.f64 x 1/9) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3)) 3)))) (fma.f64 (neg.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3)) 3) (.f64 (pow.f64 x 1/9) (pow.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3)) 3))))
	49.8b	(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x 1) 2/3) (+.f64 (pow.f64 x 2/3) (cbrt.f64 (*.f64 (+.f64 x 1) x)))) (-.f64 (+.f64 x 1) x)))
	50.1b	(+.f64 (fma.f64 (pow.f64 (+.f64 x 1) 1/6) (pow.f64 (+.f64 x 1) 1/6) (neg.f64 (.f64 (pow.f64 x 1/9) (.f64 (pow.f64 (cbrt.f64 x) 2/3) 1)))) (fma.f64 (neg.f64 (pow.f64 x 1/9)) (.f64 (pow.f64 (cbrt.f64 x) 2/3) 1) (.f64 (pow.f64 x 1/9) (*.f64 (pow.f64 (cbrt.f64 x) 2/3) 1))))
	50.1b	(+.f64 (fma.f64 (pow.f64 (+.f64 x 1) 1/6) (pow.f64 (+.f64 x 1) 1/6) (neg.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 x) 1/6) (pow.f64 (cbrt.f64 x) 2/3)) (pow.f64 (cbrt.f64 x) 1/6)))) (fma.f64 (neg.f64 (.f64 (pow.f64 (cbrt.f64 x) 1/6) (pow.f64 (cbrt.f64 x) 2/3))) (pow.f64 (cbrt.f64 x) 1/6) (.f64 (*.f64 (pow.f64 (cbrt.f64 x) 1/6) (pow.f64 (cbrt.f64 x) 2/3)) (pow.f64 (cbrt.f64 x) 1/6))))
	49.0b	(-.f64 (.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 x 5)) 1/3)))

Compiler

Compiled 6451 to 4547 computations (29.5% saved)

localize8.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(cbrt.f64 (cbrt.f64 (+.f64 x 1)))
✓	0.4b	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3)
	0.5b	(cbrt.f64 x)
✓	25.5b	(-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3) (cbrt.f64 x))

series25.0ms (0.6%)

Counts

3 → 36

Calls

3 calls:

11.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3)
10.0ms	(-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3) (cbrt.f64 x))
4.0ms	(cbrt.f64 (cbrt.f64 (+.f64 x 1)))

rewrite68.0ms (1.8%)

Algorithm

2×	batch-egg-rewrite

Rules

876×	`expm1-log1p-u_binary64`
853×	`prod-diff_binary64`
178×	`egg-rr`
89×	`add-sqr-sqrt_binary64`
89×	`log1p-expm1-u_binary64`

Counts

3 → 178

Calls

3 calls:

64.0ms	(cbrt.f64 (cbrt.f64 (+.f64 x 1)))
64.0ms	(pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3)
64.0ms	(-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3) (cbrt.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	10	25
1	193	24
2	2200	24
3	5273	24
0	0	0
1	0	0

simplify87.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

782×	`fma-neg_binary64`
494×	`fma-def_binary64`
294×	`sub-neg_binary64`
224×	`cancel-sign-sub-inv_binary64`
183×	`distribute-rgt-neg-in_binary64`

Counts

214 → 245

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	131	1170
1	413	1144
2	1128	879
3	3545	711
4	4798	683
5	4975	683
6	4968	683

prune246.0ms (6.3%)

Pruning

12 alts after pruning (10 fresh and 2 done)

	Pruned	Kept	Total
New	264	4	268
Fresh	3	6	9
Picked	0	1	1
Done	0	1	1
Total	267	12	279

Error

16.9b

Counts

279 → 12

Alt Table

Status	Error	Program
✓	34.1b	(-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3) (cbrt.f64 x))
	44.6b	(fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))))))
	50.2b	(+.f64 (fma.f64 (pow.f64 (+.f64 x 1) 1/6) (pow.f64 (+.f64 x 1) 1/6) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 x) 2/3)) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 x) 2/3))) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3)) (.f64 (*.f64 (cbrt.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 x) 2/3)) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3)))))
▶	35.5b	(-.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
✓	34.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3))
	50.0b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) 1/9)) (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3)) (neg.f64 (cbrt.f64 x))) (fma.f64 (neg.f64 (pow.f64 x 1/6)) (pow.f64 x 1/6) (cbrt.f64 x)))
	50.1b	(+.f64 (fma.f64 (pow.f64 (+.f64 x 1) 1/6) (pow.f64 (+.f64 x 1) 1/6) (neg.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 x) 1/6) (pow.f64 (cbrt.f64 x) 2/3)) (pow.f64 (cbrt.f64 x) 1/6)))) (fma.f64 (neg.f64 (.f64 (pow.f64 (cbrt.f64 x) 1/6) (pow.f64 (cbrt.f64 x) 2/3))) (pow.f64 (cbrt.f64 x) 1/6) (.f64 (*.f64 (pow.f64 (cbrt.f64 x) 1/6) (pow.f64 (cbrt.f64 x) 2/3)) (pow.f64 (cbrt.f64 x) 1/6))))
	49.0b	(-.f64 (.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 x 5)) 1/3)))
	49.9b	(+.f64 (fma.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3))) (cbrt.f64 (pow.f64 (+.f64 x 1) 1/9)) (neg.f64 (cbrt.f64 x))) (fma.f64 (neg.f64 (pow.f64 x 1/6)) (pow.f64 x 1/6) (cbrt.f64 x)))
	50.1b	(+.f64 (fma.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3) 1) (pow.f64 (+.f64 x 1) 1/9) (neg.f64 (cbrt.f64 x))) (fma.f64 (neg.f64 (pow.f64 x 1/6)) (pow.f64 x 1/6) (cbrt.f64 x)))
	50.0b	(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 1/6) (*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 1/6) (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3)) (neg.f64 (cbrt.f64 x))) (fma.f64 (neg.f64 (pow.f64 x 1/6)) (pow.f64 x 1/6) (cbrt.f64 x)))
	49.8b	(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x 1) 2/3) (+.f64 (pow.f64 x 2/3) (cbrt.f64 (*.f64 (+.f64 x 1) x)))) (-.f64 (+.f64 x 1) x)))

Compiler

Compiled 6596 to 4660 computations (29.4% saved)

localize9.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(expm1.f64 (cbrt.f64 (+.f64 x 1)))
	0.5b	(cbrt.f64 x)
✓	1.2b	(log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1))))
✓	1.4b	(-.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

series28.0ms (0.7%)

Counts

3 → 36

Calls

3 calls:

14.0ms	(expm1.f64 (cbrt.f64 (+.f64 x 1)))
9.0ms	(-.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
4.0ms	(log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1))))

rewrite61.0ms (1.6%)

Algorithm

2×	batch-egg-rewrite

Rules

806×	`expm1-log1p-u_binary64`
805×	`log1p-expm1-u_binary64`
733×	`prod-diff_binary64`
128×	`egg-rr`
80×	`add-sqr-sqrt_binary64`

Counts

3 → 128

Calls

3 calls:

58.0ms	(expm1.f64 (cbrt.f64 (+.f64 x 1)))
58.0ms	(log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1))))
58.0ms	(-.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	9	25
1	166	25
2	1996	25
3	6234	25
0	0	0
1	0	0

simplify86.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

742×	`fma-def_binary64`
406×	`fma-neg_binary64`
346×	`times-frac_binary64`
339×	`cancel-sign-sub-inv_binary64`
238×	`associate-l_binary64`

Counts

164 → 199

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	166	1680
1	531	1638
2	1672	1233
3	4652	1095
4	4992	1095
5	4941	1095

prune185.0ms (4.8%)

Pruning

12 alts after pruning (9 fresh and 3 done)

	Pruned	Kept	Total
New	222	0	222
Fresh	0	9	9
Picked	0	1	1
Done	0	2	2
Total	222	12	234

Error

16.9b

Counts

234 → 12

Alt Table

Status	Error	Program
✓	34.1b	(-.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) 3) (cbrt.f64 x))
	44.6b	(fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9 (.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))))))
	50.2b	(+.f64 (fma.f64 (pow.f64 (+.f64 x 1) 1/6) (pow.f64 (+.f64 x 1) 1/6) (neg.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 x) 2/3)) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3))))) (fma.f64 (neg.f64 (.f64 (cbrt.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 x) 2/3))) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3)) (.f64 (*.f64 (cbrt.f64 (pow.f64 x 1/9)) (pow.f64 (cbrt.f64 x) 2/3)) (cbrt.f64 (pow.f64 (cbrt.f64 x) 2/3)))))
✓	35.5b	(-.f64 (log1p.f64 (expm1.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
✓	34.0b	(-.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3))
	50.0b	(+.f64 (fma.f64 (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3)) (*.f64 (cbrt.f64 (pow.f64 (+.f64 x 1) 1/9)) (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3)) (neg.f64 (cbrt.f64 x))) (fma.f64 (neg.f64 (pow.f64 x 1/6)) (pow.f64 x 1/6) (cbrt.f64 x)))
	50.1b	(+.f64 (fma.f64 (pow.f64 (+.f64 x 1) 1/6) (pow.f64 (+.f64 x 1) 1/6) (neg.f64 (.f64 (.f64 (pow.f64 (cbrt.f64 x) 1/6) (pow.f64 (cbrt.f64 x) 2/3)) (pow.f64 (cbrt.f64 x) 1/6)))) (fma.f64 (neg.f64 (.f64 (pow.f64 (cbrt.f64 x) 1/6) (pow.f64 (cbrt.f64 x) 2/3))) (pow.f64 (cbrt.f64 x) 1/6) (.f64 (*.f64 (pow.f64 (cbrt.f64 x) 1/6) (pow.f64 (cbrt.f64 x) 2/3)) (pow.f64 (cbrt.f64 x) 1/6))))
	49.0b	(-.f64 (.f64 1/3 (pow.f64 (/.f64 1 (pow.f64 x 2)) 1/3)) (.f64 1/9 (pow.f64 (/.f64 1 (pow.f64 x 5)) 1/3)))
	49.9b	(+.f64 (fma.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3) (cbrt.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3))) (cbrt.f64 (pow.f64 (+.f64 x 1) 1/9)) (neg.f64 (cbrt.f64 x))) (fma.f64 (neg.f64 (pow.f64 x 1/6)) (pow.f64 x 1/6) (cbrt.f64 x)))
	50.1b	(+.f64 (fma.f64 (*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3) 1) (pow.f64 (+.f64 x 1) 1/9) (neg.f64 (cbrt.f64 x))) (fma.f64 (neg.f64 (pow.f64 x 1/6)) (pow.f64 x 1/6) (cbrt.f64 x)))
	50.0b	(+.f64 (fma.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 1/6) (*.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 1/6) (pow.f64 (cbrt.f64 (+.f64 x 1)) 2/3)) (neg.f64 (cbrt.f64 x))) (fma.f64 (neg.f64 (pow.f64 x 1/6)) (pow.f64 x 1/6) (cbrt.f64 x)))
	49.8b	(/.f64 1 (/.f64 (+.f64 (pow.f64 (+.f64 x 1) 2/3) (+.f64 (pow.f64 x 2/3) (cbrt.f64 (*.f64 (+.f64 x 1) x)))) (-.f64 (+.f64 x 1) x)))

Compiler

Compiled 5101 to 3676 computations (27.9% saved)

regimes293.0ms (7.6%)

Accuracy

Total 0.1b remaining (0.9%)

Threshold costs 0.1b (0.9%)

Counts

105 → 2

Compiler

Compiled 3882 to 2952 computations (24% saved)

bsearch3.0ms (0.1%)

Compiler: Compiled 8 to 6 computations (25% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	31	67
1	38	67
2	43	67
3	45	67
4	46	67
5	45	67

end271.0ms (7%)

Compiler: Compiled 443 to 341 computations (23% saved)

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11

Details

analyze1.0ms (0%)

sample1.2s (32.3%)

simplify10.0ms (0.3%)

prune4.0ms (0.1%)

localize5.0ms (0.1%)

series49.0ms (1.3%)

rewrite57.0ms (1.5%)

simplify84.0ms (2.2%)

prune148.0ms (3.8%)

localize7.0ms (0.2%)

series525.0ms (13.6%)

rewrite72.0ms (1.9%)

simplify60.0ms (1.6%)

prune223.0ms (5.8%)

localize8.0ms (0.2%)

series25.0ms (0.6%)

rewrite68.0ms (1.8%)

simplify87.0ms (2.2%)

prune246.0ms (6.3%)

localize9.0ms (0.2%)

series28.0ms (0.7%)

rewrite61.0ms (1.6%)

simplify86.0ms (2.2%)

prune185.0ms (4.8%)

regimes293.0ms (7.6%)

bsearch3.0ms (0.1%)

simplify3.0ms (0.1%)

end271.0ms (7%)

Profiling

Iter	Nodes	Cost
0	7	11
1	12	11
2	16	11
3	23	11
4	30	11
5	47	11
6	72	11
7	92	11
8	109	11
9	119	11
10	123	11
11	125	11
12	111	11