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.3s (16.1%)

Results

577.0ms	2055×	body	1024	valid
361.0ms	4432×	body	128	valid
200.0ms	1005×	body	512	valid
76.0ms	545×	body	256	valid
74.0ms	219×	body	2048	valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

simplify10.0ms (0.1%)

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

27.0b

Counts

2 → 1

Alt Table

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

series47.0ms (0.6%)

Counts

3 → 36

Calls

3 calls:

32.0ms	(cbrt.f64 x)
11.0ms	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
4.0ms	(cbrt.f64 (+.f64 x 1))

rewrite18.0ms (0.2%)

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))
2.0ms	(cbrt.f64 (+.f64 x 1))
1.0ms	(cbrt.f64 x)

simplify121.0ms (1.5%)

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

prune208.0ms (2.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	172	9	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	173	9	182

Error

8.5b

Counts

182 → 9

Alt Table

Status	Error	Program
	31.8b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	27.2b	(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)))
	51.0b	(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))))
	27.2b	(+.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))))))
	27.2b	(+.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))))))
	28.0b	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
	27.3b	(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 (cbrt.f64 x)))
▶	27.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
	27.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))))))

Compiler

Compiled 4184 to 2395 computations (42.8% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.1b	(cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))
	0.2b	(cbrt.f64 (+.f64 x 1))
	0.6b	(cbrt.f64 x)
	2.2b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series37.0ms (0.5%)

Counts

1 → 12

Calls

1 calls:

37.0ms

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

rewrite7.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

18×	`cbrt-prod_binary64`
10×	`add-sqr-sqrt_binary64`
9×	`*-un-lft-identity_binary64`
4×	`difference-of-squares_binary64`
3×	`distribute-lft-out--_binary64`

Counts

1 → 22

Calls

1 calls:

6.0ms

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

simplify78.0ms (1%)

Algorithm

1×	egg-herbie

Rules

707×	`associate-/r*_binary64`
576×	`fma-def_binary64`
346×	`cancel-sign-sub-inv_binary64`
288×	`associate-/l*_binary64`
239×	`fma-neg_binary64`

Counts

34 → 60

Iterations

Useful iterations: 3 (0.0ms)

Iter	Nodes	Cost
0	172	1798
1	449	1759
2	1550	1410
3	4851	1408
4	4925	1408

prune1.1s (13.8%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	723	0	723
Fresh	0	8	8
Picked	0	1	1
Done	0	0	0
Total	723	9	732

Error

8.5b

Counts

732 → 9

Alt Table

Status	Error	Program
	31.8b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	27.2b	(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)))
	51.0b	(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))))
	27.2b	(+.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))))))
▶	27.2b	(+.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))))))
	28.0b	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
	27.3b	(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 (cbrt.f64 x)))
✓	27.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
	27.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))))))

Compiler

Compiled 31341 to 20554 computations (34.4% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 x)
✓	0.6b	(cbrt.f64 (cbrt.f64 x))
✓	27.0b	(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))))))
✓	61.9b	(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)))))

series2.3s (28.1%)

Counts

3 → 36

Calls

3 calls:

2.1s

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

237.0ms

(cbrt.f64 (cbrt.f64 x))

13.0ms

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

rewrite3.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

9×	`cbrt-prod_binary64`
5×	`*-un-lft-identity_binary64`
5×	`add-sqr-sqrt_binary64`
5×	`add-cube-cbrt_binary64`
3×	`add-cbrt-cube_binary64`

Counts

3 → 36

Calls

3 calls:

1.0ms

(cbrt.f64 (cbrt.f64 x))

0.0ms

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

0.0ms

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

simplify81.0ms (1%)

Algorithm

1×	egg-herbie

Rules

787×	`fma-neg_binary64`
660×	`cancel-sign-sub-inv_binary64`
398×	`fma-def_binary64`
242×	`unswap-sqr_binary64`
230×	`neg-mul-1_binary64`

Counts

72 → 85

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	142	1373
1	327	1256
2	881	1099
3	2659	1030
4	4354	1029
5	4826	1029

prune648.0ms (7.9%)

Pruning

9 alts after pruning (8 fresh and 1 done)

	Pruned	Kept	Total
New	420	3	423
Fresh	2	5	7
Picked	1	0	1
Done	0	1	1
Total	423	9	432

Error

8.5b

Counts

432 → 9

Alt Table

Status	Error	Program
	31.8b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	27.2b	(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)))
	51.0b	(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))))
	28.0b	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
✓	27.1b	(.f64 (.f64 (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))) (cbrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
	27.6b	(+.f64 (exp.f64 (log.f64 (fma.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (neg.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))))))
	27.2b	(+.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)) (.f64 (cbrt.f64 (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (cbrt.f64 x))))))))
	27.2b	(+.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))))))
▶	27.1b	(+.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)))))) 0)

Compiler

Compiled 24172 to 8076 computations (66.6% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.5b	(*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))
	0.6b	(cbrt.f64 x)
	0.6b	(cbrt.f64 (cbrt.f64 x))
	27.0b	(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))))))

series285.0ms (3.5%)

Counts

1 → 12

Calls

1 calls:

285.0ms

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

rewrite13.0ms (0.2%)

Algorithm

1×	rewrite-expression-head

Rules

54×	`cbrt-prod_binary64`
31×	`add-sqr-sqrt_binary64`
13×	`*-un-lft-identity_binary64`
13×	`add-cube-cbrt_binary64`
9×	`associate-r_binary64`

Counts

1 → 56

Calls

1 calls:

9.0ms

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

simplify122.0ms (1.5%)

Algorithm

1×	egg-herbie

Rules

582×	`unswap-sqr_binary64`
491×	`fma-def_binary64`
458×	`log-div_binary64`
388×	`sqr-pow_binary64`
355×	`*-commutative_binary64`

Counts

68 → 73

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	67	1032
1	108	998
2	247	930
3	509	903
4	907	727
5	1571	727
6	2833	727
7	4581	727
8	5076	727

prune1.0s (12.2%)

Pruning

9 alts after pruning (9 fresh and 0 done)

	Pruned	Kept	Total
New	231	4	235
Fresh	2	5	7
Picked	1	0	1
Done	1	0	1
Total	235	9	244

Error

8.5b

Counts

244 → 9

Alt Table

Status	Error	Program
	31.8b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	51.0b	(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))))
	28.0b	(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
	28.4b	(+.f64 (fma.f64 x (+.f64 1/3 (*.f64 x -1/9)) (-.f64 1 (cbrt.f64 x))) 0)
	27.6b	(+.f64 (exp.f64 (log.f64 (fma.f64 (cbrt.f64 (.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (neg.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))))))
	27.4b	(+.f64 (exp.f64 (log.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)))))))) 0)
	27.5b	(+.f64 (exp.f64 (log.f64 (fma.f64 (cbrt.f64 (*.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 (+.f64 1 x)))) (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (neg.f64 (cbrt.f64 x))))) 0)
	27.2b	(+.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))))))
	27.2b	(+.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)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))) 0)

Compiler

Compiled 8342 to 4951 computations (40.6% saved)

regimes467.0ms (5.7%)

Accuracy

Total 0.4b remaining (4.7%)

Threshold costs 0.4b (4.7%)

Counts

152 → 3

Compiler

Compiled 7219 to 4528 computations (37.3% saved)

bsearch32.0ms (0.4%)

Steps

Iters	Range		Point
2	7.530252905608672e-5	93350.54854846688	0.013917355932293938
11	-1.7805996507799417e+27	-0.0004649154544440425	-0.9923966394082389

Compiler

Compiled 2 to 1 computations (50% saved)

simplify5.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

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

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	45	100
1	53	100
2	57	100
3	59	100
4	60	100
5	59	100

end205.0ms (2.5%)

Compiler: Compiled 385 to 270 computations (29.9% 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.3s (16.1%)

simplify10.0ms (0.1%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series47.0ms (0.6%)

rewrite18.0ms (0.2%)

simplify121.0ms (1.5%)

prune208.0ms (2.5%)

localize9.0ms (0.1%)

series37.0ms (0.5%)

rewrite7.0ms (0.1%)

simplify78.0ms (1%)

prune1.1s (13.8%)

localize16.0ms (0.2%)

series2.3s (28.1%)

rewrite3.0ms (0%)

simplify81.0ms (1%)

prune648.0ms (7.9%)

localize14.0ms (0.2%)

series285.0ms (3.5%)

rewrite13.0ms (0.2%)

simplify122.0ms (1.5%)

prune1.0s (12.2%)

regimes467.0ms (5.7%)

bsearch32.0ms (0.4%)

simplify5.0ms (0.1%)

end205.0ms (2.5%)

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