Details

Time bar (total: 7.4s)

analyze1.0ms (0%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
100%0%0%1
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.3s (18%)

Results
549.0ms2017×body1024valid
374.0ms4437×body128valid
223.0ms1044×body512valid
78.0ms545×body256valid
73.0ms213×body2048valid
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)

IterNodesCost
0711
11211
21611
32311
43011
54711
67211
79211
810911
911911
1012311
1112511
1211111

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
31.8b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶31.8b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
Compiler

Compiled 24 to 18 computations (25% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

NewErrorProgram
✓0.3b
(cbrt.f64 (+.f64 x 1))
✓0.5b
(cbrt.f64 x)
✓3.8b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series48.0ms (0.7%)

Counts
3 → 36
Calls

3 calls:

34.0ms
(cbrt.f64 x)
9.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
4.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)

simplify166.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)

IterNodesCost
02003526
14552550
213362116
339572052
448882052
548142052

prune186.0ms (2.5%)

Pruning

9 alts after pruning (9 fresh and 0 done)

PrunedKeptTotal
New1729181
Fresh000
Picked101
Done000
Total1739182
Error
9.0b
Counts
182 → 9
Alt Table
StatusErrorProgram
▶31.9b
(/.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)))))
45.2b
(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.9b
(cbrt.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)) 3))
31.9b
(+.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))))))
31.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
31.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
31.9b
(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)))
34.4b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
31.9b
(*.f64 (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
Compiler

Compiled 4054 to 2355 computations (41.9% saved)

localize14.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.5b
(cbrt.f64 x)
✓0.8b
(pow.f64 (cbrt.f64 x) 3)
✓3.2b
(-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3))

series137.0ms (1.9%)

Counts
3 → 36
Calls

3 calls:

85.0ms
(pow.f64 (cbrt.f64 x) 3)
38.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
13.0ms
(-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 x) 3))

rewrite105.0ms (1.4%)

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))
8.0ms
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
2.0ms
(pow.f64 (cbrt.f64 x) 3)

simplify253.0ms (3.4%)

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)

IterNodesCost
03084199
13623383
214572248
328722248
440932246
546432246
646082246

prune1.2s (16.4%)

Pruning

6 alts after pruning (6 fresh and 0 done)

PrunedKeptTotal
New3901391
Fresh358
Picked101
Done000
Total3946400
Error
0.4b
Counts
400 → 6
Alt Table
StatusErrorProgram
31.9b
(cbrt.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)) 3))
▶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)))))
31.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
34.4b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
45.2b
(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.9b
(*.f64 (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
Compiler

Compiled 20994 to 13097 computations (37.6% saved)

localize10.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.3b
(cbrt.f64 (+.f64 x 1))
✓0.3b
(*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1)))
0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.5b
(cbrt.f64 x)

series7.0ms (0.1%)

Counts
1 → 12
Calls

1 calls:

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

rewrite13.0ms (0.2%)

Algorithm
1×rewrite-expression-head
Rules
24×cbrt-prod_binary64
23×*-un-lft-identity_binary64
17×add-sqr-sqrt_binary64
12×cbrt-div_binary64
9×swap-sqr_binary64
Counts
1 → 55
Calls

1 calls:

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

simplify116.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
885×fma-def_binary64
821×fma-neg_binary64
352×distribute-rgt-in_binary64
310×distribute-lft-in_binary64
290×cancel-sign-sub-inv_binary64
Counts
67 → 85
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
01001143
12131105
25001003
31339979
42928824
54491824
64782824
74955824
85069824

prune758.0ms (10.3%)

Pruning

18 alts after pruning (17 fresh and 1 done)

PrunedKeptTotal
New32313336
Fresh145
Picked011
Done000
Total32418342
Error
0.2b
Counts
342 → 18
Alt Table
StatusErrorProgram
1.9b
(/.f64 1 (+.f64 (expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
31.9b
(cbrt.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)) 3))
▶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.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
0.7b
(/.f64 1 (+.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))) (*.f64 (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)))))
15.5b
(/.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)))))
17.3b
(/.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)))))
1.9b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (exp.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
45.2b
(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 (*.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)))))
16.2b
(/.f64 1 (+.f64 (pow.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1/3) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
31.9b
(*.f64 (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
17.2b
(/.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)))))
17.9b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (+.f64 x 1) 1/3)) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
21.0b
(/.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)))))
0.7b
(/.f64 1 (+.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (pow.f64 (cbrt.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 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)))))
Compiler

Compiled 11786 to 7589 computations (35.6% saved)

localize15.0ms (0.2%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.5b
(cbrt.f64 x)
✓0.6b
(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))

series665.0ms (9%)

Counts
2 → 24
Calls

2 calls:

352.0ms
(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))
313.0ms
(*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))

rewrite10.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
10×add-sqr-sqrt_binary64
9×cbrt-prod_binary64
9×pow1_binary64
7×pow1/3_binary64
6×*-un-lft-identity_binary64
Counts
2 → 47
Calls

2 calls:

4.0ms
(*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))))
3.0ms
(cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))

simplify88.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
517×associate-*r/_binary64
457×associate-*l/_binary64
298×sqr-pow_binary64
293×unswap-sqr_binary64
288×swap-sqr_binary64
Counts
71 → 75
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
0611134
11101066
2262973
3766955
41459771
52110771
64470771
74886771

prune1.2s (16.2%)

Pruning

21 alts after pruning (19 fresh and 2 done)

PrunedKeptTotal
New4067413
Fresh41216
Picked011
Done011
Total41021431
Error
0.1b
Counts
431 → 21
Alt Table
StatusErrorProgram
1.9b
(/.f64 1 (+.f64 (expm1.f64 (log1p.f64 (pow.f64 (cbrt.f64 (+.f64 1 x)) 2))) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
31.9b
(cbrt.f64 (pow.f64 (-.f64 (cbrt.f64 (+.f64 1 x)) (cbrt.f64 x)) 3))
✓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)))))
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 (pow.f64 (cbrt.f64 (cbrt.f64 x)) 5) (cbrt.f64 (cbrt.f64 x))))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
0.7b
(/.f64 1 (+.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (pow.f64 (cbrt.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 x)))))
31.3b
(/.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) (*.f64 (pow.f64 (*.f64 -1 x) 1/3) (cbrt.f64 -1))))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
15.9b
(/.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)))) (pow.f64 (pow.f64 x 2) 1/9)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
31.9b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
0.7b
(/.f64 1 (+.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1)))) (*.f64 (cbrt.f64 (cbrt.f64 (+.f64 x 1))) (cbrt.f64 (cbrt.f64 (+.f64 x 1))))) (*.f64 (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)))))
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)))))
0.7b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 2))) 4) (pow.f64 (cbrt.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 2))) 2)) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
45.2b
(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)))
16.2b
(/.f64 1 (+.f64 (pow.f64 (*.f64 (+.f64 x 1) (+.f64 x 1)) 1/3) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
1.3b
(/.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 (exp.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
31.9b
(*.f64 (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))) (sqrt.f64 (-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))))
17.2b
(/.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)))))
17.9b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (pow.f64 (+.f64 x 1) 1/3)) (+.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
1.4b
(/.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)))) (expm1.f64 (log1p.f64 (cbrt.f64 (pow.f64 (cbrt.f64 x) 2))))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
33.7b
(/.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) (*.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.f64 (cbrt.f64 x)))))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x)))))
17.3b
(/.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)))))
Compiler

Compiled 18875 to 8495 computations (55% saved)

regimes586.0ms (7.9%)

Accuracy

Total 0.4b remaining (68.4%)

Threshold costs 0.4b (68.4%)

Counts
270 → 1
Compiler

Compiled 15473 to 10312 computations (33.4% saved)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Rules
3×+-commutative_binary64
2×*-commutative_binary64
1×1-exp_binary64
1×unpow1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01955
12655
22555

end429.0ms (5.8%)

Compiler

Compiled 778 to 526 computations (32.4% saved)

Profiling

Loading profile data...