Details

Time bar (total: 6.6s)

analyze177.0ms (2.7%)

Algorithm
1×search
2×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02018
12018
022
122
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
50%50%0.1%3
50%50%0.1%4
74.9%25%0.1%5
74.9%25%0.1%6
87.4%12.5%0.1%7
87.4%12.5%0.1%8
93.7%6.2%0.1%9
93.7%6.2%0.1%10
96.8%3.1%0.1%11
96.8%3.1%0.1%12
98.3%1.6%0.1%13
98.3%1.6%0.1%14
Compiler

Compiled 7 to 7 computations (0% saved)

sample16.0ms (0.2%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 13 to 15 computations (-15.4% saved)

simplify8.0ms (0.1%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (3.0ms)

IterNodesCost
0129
1129

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
15.2b
Counts
2 → 1
Compiler

Compiled 12 to 12 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 2 expressions with local error:

0.5b
(/.f64 g (*.f64 2 a))
14.4b
(cbrt.f64 (/.f64 g (*.f64 2 a)))

rewrite61.0ms (0.9%)

Algorithm
1×rewrite-expression-head
Error
0.1b
Rules
7×add-exp-log_binary64_6254 add-cbrt-cube_binary64_6252 cbrt-prod_binary64_6247
6×add-cube-cbrt_binary64_6251 add-sqr-sqrt_binary64_6238 times-frac_binary64_6222 *-un-lft-identity_binary64_6216
3×associate-/l*_binary64_6161
2×pow1_binary64_6277 add-log-exp_binary64_6255 div-inv_binary64_6213 div-exp_binary64_6267 cbrt-undiv_binary64_6250
1×pow1/3_binary64_6298 cbrt-div_binary64_6248 prod-exp_binary64_6265 cbrt-unprod_binary64_6249 frac-2neg_binary64_6227 clear-num_binary64_6215 associate-/r*_binary64_6160
Counts
2 → 37
Calls

2 calls:

4.0ms
(/.f64 g (*.f64 2 a))
4.0ms
(cbrt.f64 (/.f64 g (*.f64 2 a)))
Compiler

Compiled 400 to 270 computations (32.5% saved)

series489.0ms (7.4%)

Error
5.1b
Counts
2 → 12
Calls

2 calls:

392.0ms
(cbrt.f64 (/.f64 g (*.f64 2 a)))
87.0ms
(/.f64 g (*.f64 2 a))
Compiler

Compiled 305 to 293 computations (3.9% saved)

simplify93.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
49 → 49
Iterations

Useful iterations: 0 (82.0ms)

IterNodesCost
05039504

prune47.0ms (0.7%)

Pruning

10 alts after pruning (10 fresh and 0 done)

PrunedKeptTotal
New391049
Fresh000
Picked101
Done000
Total401050
Error
0.2b
Counts
50 → 10
Compiler

Compiled 445 to 316 computations (29% saved)

localize6.0ms (0.1%)

Local error

Found 3 expressions with local error:

0.3b
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
0.6b
(cbrt.f64 (/.f64 1/2 a))
0.6b
(cbrt.f64 g)

rewrite120.0ms (1.8%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
39×cbrt-prod_binary64_6247
35×add-sqr-sqrt_binary64_6238
21×add-cube-cbrt_binary64_6251 *-un-lft-identity_binary64_6216
20×times-frac_binary64_6222
16×associate-*r*_binary64_6156
6×unswap-sqr_binary64_6184 associate-*l*_binary64_6157
5×pow1_binary64_6277 add-exp-log_binary64_6254
4×pow1/3_binary64_6298
3×add-log-exp_binary64_6255 add-cbrt-cube_binary64_6252
2×cbrt-div_binary64_6248 div-inv_binary64_6213 pow-prod-down_binary64_6287
1×prod-exp_binary64_6265 cbrt-unprod_binary64_6249 associate-*r/_binary64_6158 *-commutative_binary64_6147
Counts
3 → 74
Calls

3 calls:

10.0ms
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
3.0ms
(cbrt.f64 (/.f64 1/2 a))
1.0ms
(cbrt.f64 g)
Compiler

Compiled 1000 to 629 computations (37.1% saved)

series638.0ms (9.7%)

Error
0.2b
Counts
3 → 12
Calls

3 calls:

387.0ms
(*.f64 (cbrt.f64 g) (cbrt.f64 (/.f64 1/2 a)))
136.0ms
(cbrt.f64 (/.f64 1/2 a))
105.0ms
(cbrt.f64 g)
Compiler

Compiled 403 to 384 computations (4.7% saved)

simplify62.0ms (0.9%)

Algorithm
1×egg-herbie
Counts
86 → 86
Iterations

Useful iterations: 0 (46.0ms)

IterNodesCost
051851121

prune96.0ms (1.5%)

Pruning

14 alts after pruning (13 fresh and 1 done)

PrunedKeptTotal
New77986
Fresh549
Picked011
Done000
Total821496
Error
0.1b
Counts
96 → 14
Compiler

Compiled 1128 to 759 computations (32.7% saved)

localize9.0ms (0.1%)

Local error

Found 4 expressions with local error:

0.3b
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2)))
0.5b
(*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2))
0.5b
(cbrt.f64 (/.f64 -1 a))
0.6b
(cbrt.f64 g)

rewrite160.0ms (2.4%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
42×cbrt-prod_binary64_6247
38×add-sqr-sqrt_binary64_6238
24×add-cube-cbrt_binary64_6251 *-un-lft-identity_binary64_6216
22×associate-*l*_binary64_6157
20×times-frac_binary64_6222
11×pow1_binary64_6277 add-exp-log_binary64_6254
7×pow1/3_binary64_6298 pow-prod-down_binary64_6287 associate-*r*_binary64_6156
6×unswap-sqr_binary64_6184
5×add-cbrt-cube_binary64_6252
4×add-log-exp_binary64_6255 prod-exp_binary64_6265 cbrt-unprod_binary64_6249
3×cbrt-div_binary64_6248
2×div-inv_binary64_6213 associate-*l/_binary64_6159 *-commutative_binary64_6147
1×associate-*r/_binary64_6158
Counts
4 → 97
Calls

4 calls:

9.0ms
(*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2))
9.0ms
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2)))
2.0ms
(cbrt.f64 (/.f64 -1 a))
1.0ms
(cbrt.f64 g)
Compiler

Compiled 1536 to 1121 computations (27% saved)

series892.0ms (13.5%)

Error
0.1b
Counts
4 → 15
Calls

4 calls:

472.0ms
(*.f64 (cbrt.f64 g) (*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2)))
172.0ms
(*.f64 (cbrt.f64 (/.f64 -1 a)) (cbrt.f64 -1/2))
120.0ms
(cbrt.f64 (/.f64 -1 a))
116.0ms
(cbrt.f64 g)
Compiler

Compiled 573 to 551 computations (3.8% saved)

simplify69.0ms (1%)

Algorithm
1×egg-herbie
Counts
112 → 112
Iterations

Useful iterations: 0 (49.0ms)

IterNodesCost
049581456
149581456

prune140.0ms (2.1%)

Pruning

18 alts after pruning (16 fresh and 2 done)

PrunedKeptTotal
New1075112
Fresh11112
Picked011
Done011
Total10818126
Error
0.0b
Counts
126 → 18
Compiler

Compiled 1650 to 1210 computations (26.7% saved)

localize10.0ms (0.2%)

Local error

Found 4 expressions with local error:

0.5b
(/.f64 (sqrt.f64 1/2) a)
0.6b
(cbrt.f64 g)
0.6b
(cbrt.f64 (/.f64 (sqrt.f64 1/2) a))
1.0b
(cbrt.f64 (sqrt.f64 1/2))

rewrite178.0ms (2.7%)

Algorithm
1×rewrite-expression-head
Error
0b
Rules
36×times-frac_binary64_6222
35×add-cube-cbrt_binary64_6251 add-sqr-sqrt_binary64_6238 *-un-lft-identity_binary64_6216
31×cbrt-prod_binary64_6247
24×sqrt-prod_binary64_6232
6×add-exp-log_binary64_6254 add-cbrt-cube_binary64_6252 associate-/l*_binary64_6161
4×pow1_binary64_6277 add-log-exp_binary64_6255
3×pow1/3_binary64_6298 associate-/r*_binary64_6160
2×div-inv_binary64_6213
1×cbrt-div_binary64_6248 div-exp_binary64_6267 cbrt-undiv_binary64_6250 frac-2neg_binary64_6227 clear-num_binary64_6215
Counts
4 → 95
Calls

4 calls:

4.0ms
(/.f64 (sqrt.f64 1/2) a)
3.0ms
(cbrt.f64 (/.f64 (sqrt.f64 1/2) a))
2.0ms
(cbrt.f64 (sqrt.f64 1/2))
1.0ms
(cbrt.f64 g)
Compiler

Compiled 1598 to 1216 computations (23.9% saved)

series344.0ms (5.2%)

Error
0.0b
Counts
4 → 9
Calls

4 calls:

175.0ms
(cbrt.f64 (/.f64 (sqrt.f64 1/2) a))
112.0ms
(cbrt.f64 g)
48.0ms
(/.f64 (sqrt.f64 1/2) a)
0.0ms
(cbrt.f64 (sqrt.f64 1/2))
Compiler

Compiled 368 to 355 computations (3.5% saved)

simplify95.0ms (1.4%)

Algorithm
1×egg-herbie
Counts
104 → 104
Iterations

Useful iterations: 0 (74.0ms)

IterNodesCost
049021210
149021210

prune105.0ms (1.6%)

Pruning

15 alts after pruning (14 fresh and 1 done)

PrunedKeptTotal
New995104
Fresh6915
Picked101
Done112
Total10715122
Error
0.0b
Counts
122 → 15
Compiler

Compiled 1159 to 881 computations (24% saved)

regimes2.0s (30%)

Accuracy

Total 0.8b remaining (93.1%)

Threshold costs 0.8b (93.1%)

Compiler

Compiled 16210 to 14687 computations (9.4% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
01416
11416

end1.0ms (0%)

Compiler

Compiled 10 to 10 computations (0% saved)

sample793.0ms (12%)

Algorithm
1×intervals
Results
233.0ms8000×body128valid
Compiler

Compiled 244 to 234 computations (4.1% saved)

Profiling

Loading profile data...