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

Results

534.0ms	2041×	body	1024	valid
355.0ms	4403×	body	128	valid
212.0ms	1058×	body	512	valid
79.0ms	238×	body	2048	valid
71.0ms	516×	body	256	valid

Compiler

Compiled 26 to 20 computations (23.1% saved)

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

29.9b

Counts

2 → 1

Alt Table

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

series48.0ms (0.9%)

Counts

3 → 36

Calls

3 calls:

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

rewrite18.0ms (0.3%)

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)

simplify118.0ms (2.2%)

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

prune209.0ms (3.8%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	173	8	181
Fresh	0	0	0
Picked	1	0	1
Done	0	0	0
Total	174	8	182

Error

7.9b

Counts

182 → 8

Alt Table

Status	Error	Program
	46.2b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))
	33.6b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
▶	29.9b	(expm1.f64 (log1p.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
	47.3b	(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 x)) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
	30.1b	(+.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))))))
	30.0b	(+.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.1b	(fma.f64 (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (sqrt.f64 (cbrt.f64 (+.f64 x 1))) (neg.f64 (cbrt.f64 x)))
	30.1b	(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)))

Compiler

Compiled 4072 to 2319 computations (43.1% saved)

localize7.0ms (0.1%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.0b	(expm1.f64 (log1p.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
	0.3b	(cbrt.f64 (+.f64 x 1))
	0.6b	(cbrt.f64 x)
	2.8b	(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series10.0ms (0.2%)

Counts

1 → 12

Calls

1 calls:

10.0ms

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

rewrite1.0ms (0%)

Algorithm

1×	rewrite-expression-head

Rules

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

Counts

1 → 11

Calls

1 calls:

0.0ms

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

simplify60.0ms (1.1%)

Algorithm

1×	egg-herbie

Rules

931×	`fma-neg_binary64`
434×	`associate-l_binary64`
413×	`associate-r_binary64`
386×	`cancel-sign-sub-inv_binary64`
230×	`times-frac_binary64`

Counts

23 → 43

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	87	617
1	228	582
2	591	496
3	1677	436
4	4778	435
5	5324	435

prune235.0ms (4.3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

	Pruned	Kept	Total
New	221	3	224
Fresh	2	5	7
Picked	1	0	1
Done	0	0	0
Total	224	8	232

Error

7.9b

Counts

232 → 8

Alt Table

Status	Error	Program
	46.2b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))
	33.6b	(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
	47.3b	(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 x)) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
	30.3b	(expm1.f64 (log1p.f64 (+.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))))))))
	30.1b	(+.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))))))
	30.2b	(expm1.f64 (log1p.f64 (+.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.9b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	30.1b	(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)))

Compiler

Compiled 5303 to 3293 computations (37.9% saved)

localize14.0ms (0.3%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	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)
✓	2.8b	(-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x)))

series57.0ms (1%)

Counts

3 → 36

Calls

3 calls:

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

rewrite26.0ms (0.5%)

Algorithm

1×	rewrite-expression-head

Rules

40×	`cbrt-prod_binary64`
35×	`add-sqr-sqrt_binary64`
33×	`*-un-lft-identity_binary64`
19×	`add-cube-cbrt_binary64`
17×	`pow1_binary64`

Counts

3 → 114

Calls

3 calls:

8.0ms	(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
8.0ms	(-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x)))
4.0ms	(*.f64 (cbrt.f64 x) (cbrt.f64 x))

simplify143.0ms (2.6%)

Algorithm

1×	egg-herbie

Rules

1036×	`fma-neg_binary64`
622×	`fma-def_binary64`
424×	`difference-of-squares_binary64`
293×	`cancel-sign-sub-inv_binary64`
253×	`sub-neg_binary64`

Counts

150 → 192

Iterations

Useful iterations: 4 (0.0ms)

Iter	Nodes	Cost
0	188	2576
1	439	2224
2	1212	2006
3	3362	1961
4	4314	1720
5	4904	1720
6	4821	1720

prune308.0ms (5.6%)

Pruning

7 alts after pruning (6 fresh and 1 done)

	Pruned	Kept	Total
New	243	3	246
Fresh	4	3	7
Picked	0	1	1
Done	0	0	0
Total	247	7	254

Error

0.3b

Counts

254 → 7

Alt Table

Status	Error	Program
	47.3b	(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 x)) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
	30.6b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 (pow.f64 (.f64 (+.f64 x 1) (+.f64 x 1)) 1/3) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
✓	29.9b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	30.1b	(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)))
	46.2b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))
▶	8.0b	(expm1.f64 (log1p.f64 (/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	31.9b	(expm1.f64 (log1p.f64 (/.f64 (*.f64 2/3 (cbrt.f64 (/.f64 1 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))

Compiler

Compiled 7830 to 5079 computations (35.1% saved)

localize21.0ms (0.4%)

Local error

Found 4 expressions with local error:

New	Error	Program
✓	0.3b	(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)
✓	0.4b	(pow.f64 (cbrt.f64 (+.f64 1 x)) 4)
	0.6b	(cbrt.f64 x)
✓	7.6b	(/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))

series264.0ms (4.8%)

Counts

3 → 36

Calls

3 calls:

239.0ms

(/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))

14.0ms

(pow.f64 (cbrt.f64 (+.f64 1 x)) 4)

10.0ms

(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)

rewrite20.0ms (0.4%)

Algorithm

1×	rewrite-expression-head

Rules

43×	`*-un-lft-identity_binary64`
19×	`add-sqr-sqrt_binary64`
19×	`add-cube-cbrt_binary64`
15×	`times-frac_binary64`
14×	`unpow-prod-down_binary64`

Counts

3 → 88

Calls

3 calls:

6.0ms

(/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))

5.0ms

(pow.f64 (cbrt.f64 (+.f64 1 x)) 2)

3.0ms

(pow.f64 (cbrt.f64 (+.f64 1 x)) 4)

simplify156.0ms (2.8%)

Algorithm

1×	egg-herbie

Rules

391×	`fma-def_binary64`
272×	`associate-+r+_binary64`
226×	`+-commutative_binary64`
223×	`associate-r_binary64`
215×	`*-commutative_binary64`

Counts

124 → 167

Iterations

Useful iterations: 2 (0.0ms)

Iter	Nodes	Cost
0	449	5758
1	1313	5456
2	4537	5394
3	4968	5394

prune550.0ms (10.1%)

Pruning

16 alts after pruning (14 fresh and 2 done)

	Pruned	Kept	Total
New	211	10	221
Fresh	1	4	5
Picked	0	1	1
Done	0	1	1
Total	212	16	228

Error

0.2b

Counts

228 → 16

Alt Table

Status	Error	Program
	47.3b	(+.f64 (fma.f64 1 (cbrt.f64 (+.f64 x 1)) (neg.f64 (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x))))) (fma.f64 (neg.f64 (cbrt.f64 (sqrt.f64 x))) (cbrt.f64 (sqrt.f64 x)) (.f64 (cbrt.f64 (sqrt.f64 x)) (cbrt.f64 (sqrt.f64 x)))))
	20.2b	(expm1.f64 (log1p.f64 (/.f64 (*.f64 (/.f64 (sqrt.f64 (+.f64 x (+.f64 1 x))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (/.f64 (sqrt.f64 (+.f64 x (+.f64 1 x))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	7.9b	(expm1.f64 (log1p.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
✓	8.0b	(expm1.f64 (log1p.f64 (/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	20.3b	(expm1.f64 (log1p.f64 (/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (expm1.f64 (log1p.f64 (cbrt.f64 x))) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	7.9b	(expm1.f64 (log1p.f64 (/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (sqrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	8.1b	(expm1.f64 (log1p.f64 (/.f64 (.f64 (/.f64 (.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (*.f64 (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (/.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	31.9b	(expm1.f64 (log1p.f64 (/.f64 (*.f64 2/3 (cbrt.f64 (/.f64 1 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
✓	29.9b	(expm1.f64 (log1p.f64 (/.f64 (-.f64 (.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (.f64 (cbrt.f64 x) (cbrt.f64 x))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	30.1b	(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)))
	46.2b	(fma.f64 1/3 (cbrt.f64 (/.f64 1 (.f64 x x))) (.f64 (cbrt.f64 (/.f64 1 (pow.f64 x 5))) -1/9))
	8.2b	(expm1.f64 (log1p.f64 (/.f64 (.f64 (/.f64 1 (.f64 (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (/.f64 (+.f64 x (+.f64 1 x)) (cbrt.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	35.9b	(expm1.f64 (log1p.f64 (/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (.f64 (pow.f64 (.f64 -1 x) 1/3) (cbrt.f64 -1)) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	8.1b	(expm1.f64 (log1p.f64 (/.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (.f64 (pow.f64 (.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) (cbrt.f64 (cbrt.f64 (+.f64 1 x)))) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (+.f64 1 x))) 4)))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	8.2b	(expm1.f64 (log1p.f64 (/.f64 (.f64 (.f64 (cbrt.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)))) (cbrt.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (cbrt.f64 (/.f64 (+.f64 x (+.f64 1 x)) (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
	7.9b	(expm1.f64 (log1p.f64 (/.f64 (/.f64 (*.f64 (cbrt.f64 (+.f64 x (+.f64 1 x))) (cbrt.f64 (+.f64 x (+.f64 1 x)))) (/.f64 (fma.f64 (cbrt.f64 x) (fma.f64 (cbrt.f64 x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 2) x) (pow.f64 (cbrt.f64 (+.f64 1 x)) 4)) (cbrt.f64 (+.f64 x (+.f64 1 x))))) (+.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))

Compiler

Compiled 12575 to 9015 computations (28.3% saved)

regimes1.3s (23.8%)

Accuracy

Total 0.4b remaining (58%)

Threshold costs 0.4b (58%)

Counts

351 → 3

Compiler

Compiled 17879 to 12545 computations (29.8% saved)

bsearch53.0ms (1%)

Steps

Iters	Range		Point
2	8.836217758140423e+42	8.216441210691383e+43	1.560200924407642e+43
8	-6.719675461942472e+126	-8.215422331634882e+123	-1.9028890590158987e+126

Compiler

Compiled 2 to 1 computations (50% saved)

simplify4.0ms (0.1%)

Algorithm

1×	egg-herbie

Rules

3×	`+-commutative_binary64`
1×	`*-commutative_binary64`
1×	`1-exp_binary64`
1×	`if-if-or-not_binary64`

Iterations

Useful iterations: 0 (0.0ms)

Iter	Nodes	Cost
0	37	119
1	44	119
2	43	119

end544.0ms (9.9%)

Compiler: Compiled 938 to 660 computations (29.6% 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 (23.4%)

simplify13.0ms (0.2%)

prune2.0ms (0%)

localize5.0ms (0.1%)

series48.0ms (0.9%)

rewrite18.0ms (0.3%)

simplify118.0ms (2.2%)

prune209.0ms (3.8%)

localize7.0ms (0.1%)

series10.0ms (0.2%)

rewrite1.0ms (0%)

simplify60.0ms (1.1%)

prune235.0ms (4.3%)

localize14.0ms (0.3%)

series57.0ms (1%)

rewrite26.0ms (0.5%)

simplify143.0ms (2.6%)

prune308.0ms (5.6%)

localize21.0ms (0.4%)

series264.0ms (4.8%)

rewrite20.0ms (0.4%)

simplify156.0ms (2.8%)

prune550.0ms (10.1%)

regimes1.3s (23.8%)

bsearch53.0ms (1%)

simplify4.0ms (0.1%)

end544.0ms (9.9%)

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