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.4s (15.6%)

Results

575.0ms	2039×	body	1024	valid
372.0ms	4375×	body	128	valid
229.0ms	1065×	body	512	valid
87.0ms	546×	body	256	valid
82.0ms	231×	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

30.3b

Counts

2 → 1

Alt Table

Status	Error	Program
▶	30.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.3b	(cbrt.f64 (+.f64 x 1))
✓	0.6b	(cbrt.f64 x)
✓	3.9b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series48.0ms (0.5%)

Counts

3 → 36

Calls

3 calls:

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

rewrite17.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:

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

prune202.0ms (2.3%)

Pruning

6 alts after pruning (6 fresh and 0 done)

	Pruned	Kept	Total
New	175	6	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	176	6	182

Error

7.5b

Counts

182 → 6

Alt Table

Status	Error	Program
	30.3b	(.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))))
	45.4b	(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)))
	30.6b	(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.4b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
	39.0b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
▶	30.2b	(+.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 3946 to 2279 computations (42.2% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series2.4s (27.5%)

Counts

3 → 36

Calls

3 calls:

2.1s

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

355.0ms

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

11.0ms

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

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

3×	`*-un-lft-identity_binary64`
3×	`add-sqr-sqrt_binary64`
3×	`add-cube-cbrt_binary64`
3×	`add-cbrt-cube_binary64`
3×	`add-exp-log_binary64`

Counts

3 → 31

Calls

3 calls:

3.0ms

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

2.0ms

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

0.0ms

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

simplify106.0ms (1.2%)

Algorithm

1×	egg-herbie

Rules

714×	`fma-neg_binary64`
497×	`cancel-sign-sub-inv_binary64`
249×	`fma-def_binary64`
230×	`times-frac_binary64`
221×	`sub-neg_binary64`

Counts

67 → 85

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	117	1468
1	281	1119
2	744	898
3	2161	838
4	4517	809
5	4987	809
6	4998	809
7	4838	809

prune305.0ms (3.4%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	288	3	291
Fresh	1	4	5
Picked	0	1	1
Done	0	0	0
Total	289	8	297

Error

7.5b

Counts

297 → 8

Alt Table

Status	Error	Program
	30.3b	(.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))))
	30.6b	(+.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)))))) (expm1.f64 (log1p.f64 (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))))))))
	45.4b	(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)))
	30.6b	(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)))
	61.3b	(+.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.2b	(+.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 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	39.0b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
✓	30.2b	(+.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 12861 to 3467 computations (73% saved)

localize20.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series2.3s (26%)

Counts

2 → 24

Calls

2 calls:

2.0s

(fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))

295.0ms

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

rewrite6.0ms (0.1%)

Algorithm

1×	rewrite-expression-head

Rules

2×	`*-un-lft-identity_binary64`
2×	`add-sqr-sqrt_binary64`
2×	`add-cube-cbrt_binary64`
2×	`add-cbrt-cube_binary64`
2×	`add-exp-log_binary64`

Counts

2 → 21

Calls

2 calls:

5.0ms

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

0.0ms

(fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))

simplify87.0ms (1%)

Algorithm

1×	egg-herbie

Rules

614×	`associate-/r*_binary64`
364×	`fma-neg_binary64`
361×	`*-commutative_binary64`
319×	`unsub-neg_binary64`
295×	`fma-def_binary64`

Counts

45 → 44

Iterations

Useful iterations: 5 (0.0ms)

Iter	Nodes	Cost
0	50	672
1	81	502
2	193	448
3	679	311
4	1308	311
5	1845	301
6	3570	301
7	4553	301
8	4983	301
9	4708	301

prune149.0ms (1.7%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	129	1	130
Fresh	1	5	6
Picked	1	0	1
Done	0	1	1
Total	131	7	138

Error

7.5b

Counts

138 → 7

Alt Table

Status	Error	Program
	30.6b	(+.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)))))) (expm1.f64 (log1p.f64 (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))))))))
	45.4b	(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)))
	30.6b	(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)))
	61.3b	(+.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 (.f64 (.f64 (cbrt.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))))))) (cbrt.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)))))))) (cbrt.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 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	39.0b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
✓	30.2b	(+.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 6781 to 1831 computations (73% saved)

localize24.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
	0.6b	(cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))
	0.6b	(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
	10.7b	(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))))))
	61.9b	(fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))

prune1.0s (11.5%)

Pruning

8 alts after pruning (7 fresh and 1 done)

	Pruned	Kept	Total
New	256	2	258
Fresh	0	5	5
Picked	1	0	1
Done	0	1	1
Total	257	8	265

Error

7.5b

Counts

265 → 8

Alt Table

Status	Error	Program
	30.3b	(+.f64 (.f64 (.f64 (cbrt.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))))))) (cbrt.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)))))))) (cbrt.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)))))))) (+.f64 (neg.f64 (cbrt.f64 x)) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))))))
	30.6b	(+.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)))))) (expm1.f64 (log1p.f64 (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))))))))
	45.4b	(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)))
	30.6b	(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)))
	61.3b	(+.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 (.f64 (.f64 (cbrt.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))))))) (cbrt.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)))))))) (cbrt.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)))))))) (.f64 (.f64 (cbrt.f64 (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (cbrt.f64 (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x))))))) (cbrt.f64 (fma.f64 (neg.f64 (cbrt.f64 (cbrt.f64 x))) (cbrt.f64 (.f64 (cbrt.f64 x) (cbrt.f64 (.f64 (.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))))))
	39.0b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
✓	30.2b	(+.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 23240 to 7321 computations (68.5% saved)

regimes374.0ms (4.2%)

Accuracy

Total 0.5b remaining (5.3%)

Threshold costs 0.5b (5.3%)

Counts

131 → 3

Compiler

Compiled 7430 to 4055 computations (45.4% saved)

bsearch26.0ms (0.3%)

Steps

Iters	Range		Point
1	5.336976250259491e-43	6.183904729519749	1.7226177030967663e-21
10	-33273678.46348828	-0.0005681719633583311	-0.9949826766648939

Compiler

Compiled 2 to 1 computations (50% saved)

simplify4.0ms (0%)

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	39	88
1	47	88
2	51	88
3	53	88
4	54	88
5	53	88

end195.0ms (2.2%)

Compiler: Compiled 511 to 253 computations (50.5% 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.4s (15.6%)

simplify10.0ms (0.1%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series48.0ms (0.5%)

rewrite17.0ms (0.2%)

simplify121.0ms (1.4%)

prune202.0ms (2.3%)

localize14.0ms (0.2%)

series2.4s (27.5%)

rewrite6.0ms (0.1%)

simplify106.0ms (1.2%)

prune305.0ms (3.4%)

localize20.0ms (0.2%)

series2.3s (26%)

rewrite6.0ms (0.1%)

simplify87.0ms (1%)

prune149.0ms (1.7%)

localize24.0ms (0.3%)

prune1.0s (11.5%)

regimes374.0ms (4.2%)

bsearch26.0ms (0.3%)

simplify4.0ms (0%)

end195.0ms (2.2%)

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