Details

Time bar (total: 6.8s)

analyze743.0ms (10.9%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
0%100%0%3
25%75%0%4
37.5%62.5%0%5
37.5%62.5%0%6
40.6%59.3%0%7
41.4%58.6%0%8
41.8%58.2%0%9
42%58%0%10
42.1%57.9%0%11
42.2%57.7%0%12
42.3%57.6%0%13
42.5%57.4%0%14
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample1.4s (21.1%)

Results
617.0ms2107×body1024valid
403.0ms4354×body128valid
229.0ms1045×body512valid
82.0ms231×body2048valid
78.0ms519×body256valid
Compiler

Compiled 17 to 13 computations (23.5% saved)

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

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

prune5.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
28.2b
Counts
2 → 1
Alt Table
StatusErrorProgram
▶28.2b
(-.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:

NewErrorProgram
✓0.3b
(cbrt.f64 (+.f64 x 1))
✓0.6b
(cbrt.f64 x)
✓2.1b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))

series54.0ms (0.8%)

Counts
3 → 36
Calls

3 calls:

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

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

9.0ms
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 x))
4.0ms
(cbrt.f64 (+.f64 x 1))
1.0ms
(cbrt.f64 x)

simplify121.0ms (1.8%)

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

prune204.0ms (3%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New1738181
Fresh000
Picked101
Done000
Total1748182
Error
8.8b
Counts
182 → 8
Alt Table
StatusErrorProgram
28.4b
(-.f64 (cbrt.f64 (+.f64 x 1)) (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (cbrt.f64 x))))
28.4b
(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)))
29.4b
(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
34.7b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
49.9b
(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.3b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))
28.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))))))
28.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))))))
Compiler

Compiled 4044 to 2317 computations (42.7% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

NewErrorProgram
✓0.5b
(*.f64 (cbrt.f64 x) (cbrt.f64 x))
0.6b
(cbrt.f64 x)
✓0.6b
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))
✓2.1b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))

series82.0ms (1.2%)

Counts
3 → 36
Calls

3 calls:

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

rewrite27.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Rules
46×cbrt-prod_binary64
41×*-un-lft-identity_binary64
41×add-sqr-sqrt_binary64
29×add-cube-cbrt_binary64
28×prod-diff_binary64
Counts
3 → 109
Calls

3 calls:

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

simplify124.0ms (1.8%)

Algorithm
1×egg-herbie
Rules
702×associate-/r*_binary64
648×fma-def_binary64
494×fma-neg_binary64
463×times-frac_binary64
333×cancel-sign-sub-inv_binary64
Counts
145 → 180
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02002746
14092044
213241719
343371675
449521675
547841675

prune238.0ms (3.5%)

Pruning

8 alts after pruning (8 fresh and 0 done)

PrunedKeptTotal
New2322234
Fresh167
Picked101
Done000
Total2348242
Error
8.8b
Counts
242 → 8
Alt Table
StatusErrorProgram
29.4b
(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
34.7b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
49.9b
(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.4b
(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)))
28.4b
(-.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (cbrt.f64 x)) (cbrt.f64 (cbrt.f64 x)))) (cbrt.f64 x))))
▶28.3b
(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3)) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
28.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))))))
28.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))))))
Compiler

Compiled 6158 to 2613 computations (57.6% saved)

localize18.0ms (0.3%)

Local error

Found 4 expressions with local error:

NewErrorProgram
0.6b
(cbrt.f64 x)
0.6b
(cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))
✓0.7b
(pow.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3)
✓1.7b
(-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3))

series71.0ms (1%)

Counts
2 → 24
Calls

2 calls:

55.0ms
(pow.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3)
16.0ms
(-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3))

rewrite103.0ms (1.5%)

Algorithm
1×rewrite-expression-head
Rules
280×prod-diff_binary64
213×*-un-lft-identity_binary64
211×cube-prod_binary64
211×unpow-prod-down_binary64
181×add-sqr-sqrt_binary64
Counts
2 → 385
Calls

2 calls:

26.0ms
(-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3))
3.0ms
(pow.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3)

simplify234.0ms (3.4%)

Algorithm
1×egg-herbie
Rules
1214×fma-neg_binary64
435×cancel-sign-sub-inv_binary64
344×exp-prod_binary64
316×*-commutative_binary64
257×sqr-pow_binary64
Counts
409 → 234
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
02543200
13022620
211111455
323011455
445411455
548201455

prune763.0ms (11.2%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New5371538
Fresh437
Picked011
Done000
Total5415546
Error
0.4b
Counts
546 → 5
Alt Table
StatusErrorProgram
29.4b
(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
34.7b
(/.f64 1 (+.f64 (pow.f64 x 2/3) (*.f64 (cbrt.f64 (+.f64 1 x)) (+.f64 (cbrt.f64 x) (cbrt.f64 (+.f64 1 x))))))
49.9b
(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.3b
(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3)) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
▶0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
Compiler

Compiled 44991 to 16311 computations (63.7% saved)

localize16.0ms (0.2%)

Local error

Found 4 expressions with local error:

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

series40.0ms (0.6%)

Counts
1 → 12
Calls

1 calls:

40.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))

rewrite8.0ms (0.1%)

Algorithm
1×rewrite-expression-head
Rules
8×pow1_binary64
7×add-sqr-sqrt_binary64
6×pow1/3_binary64
5×*-un-lft-identity_binary64
5×add-cube-cbrt_binary64
Counts
1 → 33
Calls

1 calls:

5.0ms
(*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))

simplify113.0ms (1.6%)

Algorithm
1×egg-herbie
Rules
449×log-prod_binary64
314×log-div_binary64
284×*-commutative_binary64
256×associate-*r/_binary64
247×associate-/l*_binary64
Counts
45 → 50
Iterations

Useful iterations: 4 (0.0ms)

IterNodesCost
050415
186397
2185361
3455347
4982287
51301287
63373287
74869287
84865287

prune1.3s (19.2%)

Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New44213455
Fresh123
Picked101
Done011
Total44416460
Error
0.2b
Counts
460 → 16
Alt Table
StatusErrorProgram
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))) (cbrt.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
✓28.3b
(/.f64 (-.f64 (pow.f64 (cbrt.f64 (+.f64 x 1)) 3) (pow.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) 3)) (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
16.7b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (pow.f64 (*.f64 x x) 1/3) (cbrt.f64 x)))))))
1.2b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (exp.f64 (log.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)))) (cbrt.f64 x)))))))
29.4b
(-.f64 (pow.f64 (+.f64 x 1) 1/3) (cbrt.f64 x))
49.9b
(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))))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))) (*.f64 (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (cbrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
0.6b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x))) (pow.f64 (cbrt.f64 (cbrt.f64 x)) 4)) (cbrt.f64 x)))))))
14.3b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (expm1.f64 (log1p.f64 (cbrt.f64 x)))))))))
34.0b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (cbrt.f64 (pow.f64 x 2/3)) (cbrt.f64 (cbrt.f64 x)))))))))
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 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
33.8b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))))) (*.f64 (sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (sqrt.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (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 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))))))
34.1b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (*.f64 (pow.f64 x 1/6) (cbrt.f64 (sqrt.f64 x))) (*.f64 (pow.f64 x 1/6) (cbrt.f64 (sqrt.f64 x)))) (cbrt.f64 x)))))))
34.2b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (pow.f64 (pow.f64 x 1/6) 3) (sqrt.f64 (cbrt.f64 x))) (cbrt.f64 x)))))))
31.0b
(/.f64 1 (+.f64 (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (+.f64 x 1))) (+.f64 (*.f64 (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x))) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (cbrt.f64 x)))) (*.f64 (cbrt.f64 (+.f64 x 1)) (cbrt.f64 (*.f64 (*.f64 (cbrt.f64 x) (cbrt.f64 x)) (*.f64 (pow.f64 (*.f64 -1 x) 1/3) (cbrt.f64 -1))))))))
Compiler

Compiled 23368 to 9002 computations (61.5% saved)

regimes696.0ms (10.2%)

Accuracy

Total 0.3b remaining (56.3%)

Threshold costs 0.3b (56.3%)

Counts
295 → 1
Compiler

Compiled 19219 to 10836 computations (43.6% saved)

simplify3.0ms (0%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01452
12152
22052

end366.0ms (5.4%)

Compiler

Compiled 909 to 441 computations (51.5% saved)

Profiling

Loading profile data...