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)

sample42.0ms (0.9%)

Algorithm

1×

intervals

Results

7.0ms	66×	body	1024	valid
4.0ms	37×	body	512	valid
4.0ms	133×	body	128	valid
1.0ms	6×	body	2048	valid
1.0ms	14×	body	256	valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

simplify11.0ms (0.2%)

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

prune2.0ms (0%)

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

30.1b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	30.1b	(-.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.6b	(cbrt.f64 x)
✓	1.7b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series55.0ms (1.2%)

Counts

3 → 36

Calls

3 calls:

39.0ms	(cbrt.f64 x)
11.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
5.0ms	(cbrt.f64 (+.f64 x 1))

rewrite18.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

67×	`cbrt-prod_binary64`
58×	`*-un-lft-identity_binary64`
43×	`add-sqr-sqrt_binary64`
42×	`prod-diff_binary64`
35×	`add-cube-cbrt_binary64`

Counts

3 → 104

Calls

3 calls:

9.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
2.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

simplify122.0ms (2.7%)

Algorithm

1×	egg-herbie

Rules

959×	`fma-neg_binary64`
417×	`associate-/r*_binary64`
348×	`times-frac_binary64`
258×	`cancel-sign-sub-inv_binary64`
133×	`associate--l+_binary64`

Counts

140 → 181

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	200	3526
1	455	2550
2	1336	2116
3	3957	2052
4	4888	2052
5	4814	2052

prune214.0ms (4.7%)

Pruning

11 alts after pruning (11 fresh and 0 done)

	Pruned	Kept	Total
New	170	11	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	171	11	182

Error

9.8b

Counts

182 → 11

Alt Table

Status	Error	Program
	30.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
	33.7b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	30.3b	(fma.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
▶	30.0b	(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3)) (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	47.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	30.2b	(-.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
	30.3b	(+.f64 (fma.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))))))
	31.4b	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
	30.3b	(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	30.3b	(+.f64 (fma.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	30.3b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))

Compiler

Compiled 4276 to 2461 computations (42.4% saved)

localize15.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
	0.6b	(cbrt.f64 x)
✓	0.8b	(pow.f64 (cbrt.f64 x) 3)
✓	1.5b	(-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3))

series105.0ms (2.3%)

Counts

3 → 36

Calls

3 calls:

52.0ms	(pow.f64 (cbrt.f64 x) 3)
38.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
14.0ms	(-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3))

rewrite104.0ms (2.3%)

Algorithm

1×	rewrite-expression-head

Rules

360×	`prod-diff_binary64`
340×	`cbrt-prod_binary64`
322×	`*-un-lft-identity_binary64`
301×	`cube-prod_binary64`
301×	`unpow-prod-down_binary64`

Counts

3 → 534

Calls

3 calls:

28.0ms	(-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3))
5.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
3.0ms	(pow.f64 (cbrt.f64 x) 3)

simplify258.0ms (5.6%)

Algorithm

1×	egg-herbie

Rules

746×	`fma-neg_binary64`
686×	`exp-prod_binary64`
437×	`*-commutative_binary64`
433×	`log-prod_binary64`
320×	`sqr-pow_binary64`

Counts

570 → 319

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	308	4199
1	362	3383
2	1457	2248
3	2872	2248
4	4093	2246
5	4643	2246
6	4608	2246

prune494.0ms (10.8%)

Pruning

4 alts after pruning (3 fresh and 1 done)

	Pruned	Kept	Total
New	390	1	391
Fresh	8	2	10
Picked	0	1	1
Done	0	0	0
Total	398	4	402

Error

0.4b

Counts

402 → 4

Alt Table

Status	Error	Program
✓	30.0b	(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3)) (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	47.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	31.4b	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
▶	0.6b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))

Compiler

Compiled 20938 to 13058 computations (37.6% saved)

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
✓	0.3b	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
	0.6b	(cbrt.f64 x)

series19.0ms (0.4%)

Counts

2 → 24

Calls

2 calls:

13.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
5.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))

rewrite21.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

35×	`cbrt-prod_binary64`
30×	`*-un-lft-identity_binary64`
30×	`add-sqr-sqrt_binary64`
14×	`associate-l_binary64`
14×	`cbrt-div_binary64`

Counts

2 → 88

Calls

2 calls:

9.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
7.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

simplify102.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

371×	`fma-neg_binary64`
366×	`associate-/l/_binary64`
347×	`fma-def_binary64`
219×	`cancel-sign-sub-inv_binary64`
217×	`*-commutative_binary64`

Counts

112 → 167

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	175	2164
1	404	2050
2	1093	1862
3	2546	1780
4	4818	1780
5	4950	1780

prune533.0ms (11.6%)

Pruning

16 alts after pruning (15 fresh and 1 done)

	Pruned	Kept	Total
New	264	13	277
Fresh	0	2	2
Picked	1	0	1
Done	0	1	1
Total	265	16	281

Error

0.2b

Counts

281 → 16

Alt Table

Status	Error	Program
	17.3b	(/.f64 1 (+.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (+.f64 1 x))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
✓	30.0b	(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3)) (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	33.3b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (exp.f64 (log.f64 (cbrt.f64 x)))))))
	31.4b	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
	17.4b	(/.f64 1 (+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 1 x))) 4)) (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 1 x))) 4))) (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 1 x))) 4))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
▶	0.6b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
	0.6b	(/.f64 1 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))) (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	1.9b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))))
	22.1b	(/.f64 1 (+.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 1 (pow.f64 x 3))) (cbrt.f64 (+.f64 1 (pow.f64 x 3)))) (.f64 (cbrt.f64 (fma.f64 x x (-.f64 1 x))) (cbrt.f64 (fma.f64 x x (-.f64 1 x))))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	17.4b	(/.f64 1 (+.f64 (.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1))))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	15.5b	(/.f64 1 (+.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 x x -1)) (cbrt.f64 (fma.f64 x x -1))) (.f64 (cbrt.f64 (+.f64 x -1)) (cbrt.f64 (+.f64 x -1)))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	0.7b	(/.f64 1 (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 5) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	17.4b	(/.f64 1 (+.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1)))) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1))))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	0.6b	(/.f64 1 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	47.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	18.0b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 -1) (cbrt.f64 (.f64 -1 (pow.f64 (/.f64 -1 x) -2)))))))

Compiler

Compiled 9828 to 6355 computations (35.3% saved)

localize13.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))
	0.5b	(*.f64 (cbrt.f64 x) (cbrt.f64 x))
	0.6b	(cbrt.f64 x)
✓	0.6b	(cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))

series42.0ms (0.9%)

Counts

2 → 24

Calls

2 calls:

30.0ms	(cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))
12.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))

rewrite15.0ms (0.3%)

Algorithm

1×	rewrite-expression-head

Rules

21×	`pow1_binary64`
10×	`pow1/3_binary64`
9×	`pow-prod-up_binary64`
7×	`add-exp-log_binary64`
6×	`associate-r_binary64`

Counts

2 → 49

Calls

2 calls:

7.0ms	(.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))
5.0ms	(cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))

simplify73.0ms (1.6%)

Algorithm

1×	egg-herbie

Rules

539×	`distribute-rgt-in_binary64`
478×	`distribute-lft-in_binary64`
409×	`fma-def_binary64`
398×	`*-commutative_binary64`
316×	`unswap-sqr_binary64`

Counts

73 → 66

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	63	322
1	101	270
2	268	268
3	736	268
4	1573	258
5	3253	258
6	4697	258
7	4782	258

prune502.0ms (11%)

Pruning

15 alts after pruning (14 fresh and 1 done)

	Pruned	Kept	Total
New	266	2	268
Fresh	2	12	14
Picked	1	0	1
Done	0	1	1
Total	269	15	284

Error

0.2b

Counts

284 → 15

Alt Table

Status	Error	Program
	17.3b	(/.f64 1 (+.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (+.f64 1 x))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
✓	30.0b	(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3)) (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	0.6b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
	33.3b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (exp.f64 (log.f64 (cbrt.f64 x)))))))
	31.4b	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
	17.4b	(/.f64 1 (+.f64 (.f64 (.f64 (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 1 x))) 4)) (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 1 x))) 4))) (cbrt.f64 (pow.f64 (sqrt.f64 (cbrt.f64 (+.f64 1 x))) 4))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	17.4b	(/.f64 1 (+.f64 (.f64 (.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1)))) (.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1))))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	15.5b	(/.f64 1 (+.f64 (/.f64 (.f64 (cbrt.f64 (fma.f64 x x -1)) (cbrt.f64 (fma.f64 x x -1))) (.f64 (cbrt.f64 (+.f64 x -1)) (cbrt.f64 (+.f64 x -1)))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	0.7b	(/.f64 1 (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 5) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	17.4b	(/.f64 1 (+.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1)))) (.f64 (cbrt.f64 (sqrt.f64 (+.f64 x 1))) (cbrt.f64 (sqrt.f64 (+.f64 x 1))))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	0.6b	(/.f64 1 (+.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	47.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (fma.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 11))) -10/243 (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))))
	32.0b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (.f64 (pow.f64 (*.f64 -1 x) 1/3) (cbrt.f64 -1))))))))
	0.6b	(/.f64 1 (+.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))) (cbrt.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	1.9b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (expm1.f64 (log1p.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))))

Compiler

Compiled 10043 to 5252 computations (47.7% saved)

regimes807.0ms (17.6%)

Accuracy

Total 0.3b remaining (62.4%)

Threshold costs 0.3b (62.4%)

Counts

334 → 1

Compiler

Compiled 20081 to 13700 computations (31.8% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

4×	`*-commutative_binary64`
3×	`+-commutative_binary64`
1×	`1-exp_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	18	68
1	27	68
2	26	68

end1.0ms (0%)

Compiler: Compiled 42 to 24 computations (42.9% saved)

sample988.0ms (21.6%)

Algorithm

1×

intervals

Results

237.0ms	2034×	body	1024	valid
131.0ms	4290×	body	128	valid
84.0ms	953×	body	512	valid
32.0ms	224×	body	2048	valid
29.0ms	499×	body	256	valid

Compiler

Compiled 571 to 407 computations (28.7% 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%)

sample42.0ms (0.9%)

simplify11.0ms (0.2%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series55.0ms (1.2%)

rewrite18.0ms (0.4%)

simplify122.0ms (2.7%)

prune214.0ms (4.7%)

localize15.0ms (0.3%)

series105.0ms (2.3%)

rewrite104.0ms (2.3%)

simplify258.0ms (5.6%)

prune494.0ms (10.8%)

localize16.0ms (0.4%)

series19.0ms (0.4%)

rewrite21.0ms (0.5%)

simplify102.0ms (2.2%)

prune533.0ms (11.6%)

localize13.0ms (0.3%)

series42.0ms (0.9%)

rewrite15.0ms (0.3%)

simplify73.0ms (1.6%)

prune502.0ms (11%)

regimes807.0ms (17.6%)

simplify4.0ms (0.1%)

end1.0ms (0%)

sample988.0ms (21.6%)

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