Details

analyze21.0ms (0.5%)

Algorithm

1×

Search

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

Compiler

Compiled 9 to 7 computations (22.2% saved)

sample24.0ms (0.6%)

Algorithm

1×

intervals

Results

9.0ms	64×	body	1024	valid
4.0ms	138×	body	128	valid
3.0ms	40×	body	512	valid
1.0ms	6×	body	2048	valid
0.0ms	8×	body	256	valid

Compiler

Compiled 18 to 14 computations (22.2% saved)

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

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

29.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	29.3b	(-.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.2b	(cbrt.f64 (+.f64 x 1))
✓	0.6b	(cbrt.f64 x)
✓	1.8b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

rewrite20.0ms (0.5%)

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:

8.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
5.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

series230.0ms (5.4%)

Counts

3 → 36

Calls

3 calls:

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

simplify143.0ms (3.4%)

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 → 257

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

prune213.0ms (5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	248	9	257
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	249	9	258

Error

9.0b

Counts

258 → 9

Alt Table

Status	Error	Program
	29.4b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
	29.5b	(+.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))))))
	32.3b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
▶	29.1b	(/.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)))))
	29.4b	(+.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))))))
	29.3b	(-.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (+.f64 x 1)))) (cbrt.f64 x))
	29.5b	(+.f64 (fma.f64 1 (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))))))
	29.4b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
	48.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))

Compiler

Compiled 4186 to 2379 computations (43.2% saved)

localize16.0ms (0.4%)

Local error

Found 4 expressions with local error:

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

rewrite86.0ms (2%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

2 → 492

Calls

2 calls:

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

series308.0ms (7.3%)

Counts

2 → 24

Calls

2 calls:

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

simplify297.0ms (7%)

Algorithm

1×	egg-herbie

Rules

918×	`exp-prod_binary64`
576×	`log-prod_binary64`
545×	`cube-prod_binary64`
329×	`*-commutative_binary64`
305×	`sqr-pow_binary64`

Counts

516 → 1010

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	282	3054
1	332	1917
2	1300	1909
3	2866	1909
4	4138	1907
5	4508	1907
6	4775	1907

prune470.0ms (11.1%)

Pruning

5 alts after pruning (4 fresh and 1 done)

	Pruned	Kept	Total
New	1131	2	1133
Fresh	6	2	8
Picked	0	1	1
Done	0	0	0
Total	1137	5	1142

Error

0.4b

Counts

1142 → 5

Alt Table

Status	Error	Program
	29.4b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
▶	0.5b	(/.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)))))
✓	29.1b	(/.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)))))
	29.4b	(/.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) 3)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) 3) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (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)))))
	48.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))

Compiler

Compiled 17520 to 10929 computations (37.6% saved)

localize11.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.6b	(cbrt.f64 x)
	0.6b	(cbrt.f64 x)

rewrite7.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

17×	`add-sqr-sqrt_binary64`
16×	`cbrt-prod_binary64`
9×	`*-un-lft-identity_binary64`
9×	`add-cube-cbrt_binary64`
8×	`pow1_binary64`

Counts

1 → 42

Calls

1 calls:

5.0ms

(*.f64 (cbrt.f64 x) (cbrt.f64 x))

series220.0ms (5.2%)

Counts

1 → 12

Calls

1 calls:

220.0ms

(*.f64 (cbrt.f64 x) (cbrt.f64 x))

simplify92.0ms (2.2%)

Algorithm

1×	egg-herbie

Rules

451×	`log-prod_binary64`
315×	`log-div_binary64`
306×	`*-commutative_binary64`
259×	`associate-*r/_binary64`
257×	`associate-/l*_binary64`

Counts

54 → 102

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	50	493
1	85	461
2	201	425
3	482	411
4	931	333
5	1343	333
6	3411	333
7	4917	333
8	4871	333

prune223.0ms (5.3%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	1239	11	1250
Fresh	0	3	3
Picked	0	1	1
Done	0	1	1
Total	1239	16	1255

Error

0.2b

Counts

1255 → 16

Alt Table

Status	Error	Program
✓	29.1b	(/.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 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)) (.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 (expm1.f64 (log1p.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
▶	0.5b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	16.0b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (cbrt.f64 (.f64 x x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	31.9b	(/.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 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	29.4b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
✓	0.5b	(/.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)))))
	48.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
	0.6b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 5) (cbrt.f64 (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 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)) (.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 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	29.4b	(/.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) 3)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) 3) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (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 (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	31.3b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))

Compiler

Compiled 4144 to 2549 computations (38.5% saved)

localize17.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 x)
	0.6b	(cbrt.f64 x)
	0.6b	(cbrt.f64 x)
	0.6b	(cbrt.f64 x)

rewrite0.0ms (0%)

Algorithm

1×	rewrite-expression-head

Counts

0 → 0

series0.0ms (0%)

Counts: 0 → 0

simplify225.0ms (5.3%)

Algorithm

1×	egg-herbie

Counts

0 → 0

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	0	0
1	0	0

prune324.0ms (7.6%)

Pruning

15 alts after pruning (13 fresh and 2 done)

	Pruned	Kept	Total
New	19676	4	19680
Fresh	4	9	13
Picked	1	0	1
Done	0	2	2
Total	19681	15	19696

Error

0.2b

Counts

19696 → 15

Alt Table

Status	Error	Program
✓	29.1b	(/.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.4b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (.f64 (pow.f64 (.f64 -1 x) 1/3) (cbrt.f64 -1)))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	31.6b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.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 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)) (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	0.5b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 x))) (.f64 (cbrt.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 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	31.9b	(/.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 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	29.4b	(-.f64 (cbrt.f64 (+.f64 x 1)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
✓	0.5b	(/.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)))))
	0.5b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 (.f64 (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 x))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 x))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	29.4b	(/.f64 (+.f64 (fma.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) 3)))) (fma.f64 (neg.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3)) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) 3) (.f64 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 3) (pow.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (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 (.f64 (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	48.5b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (fma.f64 5/81 (cbrt.f64 (/.f64 1 (pow.f64 x 8))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9)))
	31.3b	(/.f64 1 (+.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (sqrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))

Compiler

Compiled 3113 to 1714 computations (44.9% saved)

regimes267.0ms (6.3%)

Accuracy

Total 0.3b remaining (55.6%)

Threshold costs 0.3b (55.6%)

Compiler

Compiled 6587 to 4329 computations (34.3% saved)

simplify3.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	12	40
1	18	40
2	17	40

end1.0ms (0%)

Compiler: Compiled 26 to 18 computations (30.8% saved)

sample1.0s (23.6%)

Algorithm

1×

intervals

Results

230.0ms	1917×	body	1024	valid
138.0ms	4311×	body	128	valid
98.0ms	1070×	body	512	valid
35.0ms	238×	body	2048	valid
26.0ms	464×	body	256	valid

Compiler

Compiled 587 to 379 computations (35.4% 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

analyze21.0ms (0.5%)

sample24.0ms (0.6%)

simplify14.0ms (0.3%)

prune2.0ms (0%)

localize5.0ms (0.1%)

rewrite20.0ms (0.5%)

series230.0ms (5.4%)

simplify143.0ms (3.4%)

prune213.0ms (5%)

localize16.0ms (0.4%)

rewrite86.0ms (2%)

series308.0ms (7.3%)

simplify297.0ms (7%)

prune470.0ms (11.1%)

localize11.0ms (0.3%)

rewrite7.0ms (0.2%)

series220.0ms (5.2%)

simplify92.0ms (2.2%)

prune223.0ms (5.3%)

localize17.0ms (0.4%)

rewrite0.0ms (0%)

series0.0ms (0%)

simplify225.0ms (5.3%)

prune324.0ms (7.6%)

regimes267.0ms (6.3%)

simplify3.0ms (0.1%)

end1.0ms (0%)

sample1.0s (23.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