Details

Time bar (total: 6.1s)

analyze31.0ms (0.5%)

Algorithm
1×search
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)

sample15.0ms (0.3%)

Algorithm
1×intervals
Results
7.0ms256×body128valid
Compiler

Compiled 13 to 15 computations (-15.4% saved)

simplify95.0ms (1.6%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0129
1129

prune2.0ms (0%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 12 to 12 computations (0% saved)

localize5.0ms (0.1%)

Local error

Found 1 expressions with local error:

16.4b
(cbrt.f64 (/.f64 g (*.f64 2 a)))

rewrite26.0ms (0.4%)

Algorithm
1×rewrite-expression-head
Error
0.2b
Rules
7×cbrt-prod_binary64_5224
3×add-cube-cbrt_binary64_5228 add-sqr-sqrt_binary64_5215 times-frac_binary64_5199 *-un-lft-identity_binary64_5193
1×pow1/3_binary64_5275 pow1_binary64_5254 add-log-exp_binary64_5232 add-exp-log_binary64_5231 add-cbrt-cube_binary64_5229 cbrt-div_binary64_5225 div-inv_binary64_5190
Counts
1 → 16
Calls

1 calls:

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

Compiled 194 to 140 computations (27.8% saved)

series232.0ms (3.8%)

Error
5.3b
Counts
1 → 6
Calls

1 calls:

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

Compiled 240 to 227 computations (5.4% saved)

simplify103.0ms (1.7%)

Algorithm
1×egg-herbie
Counts
22 → 22
Iterations

Useful iterations: 0 (94.0ms)

IterNodesCost
04788281
14788281

prune29.0ms (0.5%)

Pruning

7 alts after pruning (6 fresh and 1 done)

PrunedKeptTotal
New16622
Fresh000
Picked011
Done000
Total16723
Error
0.2b
Counts
23 → 7
Compiler

Compiled 286 to 207 computations (27.6% saved)

localize7.0ms (0.1%)

Local error

Found 3 expressions with local error:

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

rewrite77.0ms (1.3%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
26×cbrt-prod_binary64_5224
24×times-frac_binary64_5199
21×add-cube-cbrt_binary64_5228 add-sqr-sqrt_binary64_5215 *-un-lft-identity_binary64_5193
6×associate-/l*_binary64_5138
5×add-exp-log_binary64_5231
4×associate-/r*_binary64_5137
3×pow1_binary64_5254 add-log-exp_binary64_5232 add-cbrt-cube_binary64_5229
2×pow1/3_binary64_5275
1×div-exp_binary64_5244 cbrt-undiv_binary64_5227 frac-2neg_binary64_5204 clear-num_binary64_5192 div-inv_binary64_5190
Counts
3 → 66
Calls

3 calls:

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

Compiled 932 to 554 computations (40.6% saved)

series425.0ms (6.9%)

Error
0.2b
Counts
3 → 12
Calls

3 calls:

256.0ms
(/.f64 (cbrt.f64 g) (cbrt.f64 (*.f64 a 2)))
91.0ms
(cbrt.f64 (*.f64 a 2))
68.0ms
(cbrt.f64 g)
Compiler

Compiled 423 to 396 computations (6.4% saved)

simplify80.0ms (1.3%)

Algorithm
1×egg-herbie
Counts
78 → 78
Iterations

Useful iterations: 0 (62.0ms)

IterNodesCost
049451160
149451160

prune84.0ms (1.4%)

Pruning

16 alts after pruning (15 fresh and 1 done)

PrunedKeptTotal
New671178
Fresh145
Picked101
Done011
Total691685
Error
0.0b
Counts
85 → 16
Compiler

Compiled 1164 to 750 computations (35.6% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite123.0ms (2%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
38×add-sqr-sqrt_binary64_5215
28×times-frac_binary64_5199
26×*-un-lft-identity_binary64_5193
24×add-cube-cbrt_binary64_5228
17×add-exp-log_binary64_5231 cbrt-prod_binary64_5224
16×associate-*r*_binary64_5133
7×pow1_binary64_5254 add-cbrt-cube_binary64_5229
6×unswap-sqr_binary64_5161 associate-*l*_binary64_5134
4×add-log-exp_binary64_5232 div-exp_binary64_5244 prod-exp_binary64_5242 associate-/r*_binary64_5137
3×pow1/3_binary64_5275 associate-/l*_binary64_5138
2×1-exp_binary64_5237 rec-exp_binary64_5243 cbrt-unprod_binary64_5226 cbrt-undiv_binary64_5227 div-inv_binary64_5190 pow-flip_binary64_5267
1×pow-prod-down_binary64_5264 un-div-inv_binary64_5191 associate-*r/_binary64_5135 *-commutative_binary64_5124 inv-pow_binary64_5278 frac-2neg_binary64_5204 clear-num_binary64_5192
Counts
4 → 101
Calls

4 calls:

11.0ms
(*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 a 2))))
4.0ms
(/.f64 1 (cbrt.f64 (*.f64 a 2)))
2.0ms
(cbrt.f64 (*.f64 a 2))
1.0ms
(cbrt.f64 g)
Compiler

Compiled 1583 to 1150 computations (27.4% saved)

series554.0ms (9.1%)

Error
0.0b
Counts
4 → 15
Calls

4 calls:

264.0ms
(*.f64 (cbrt.f64 g) (/.f64 1 (cbrt.f64 (*.f64 a 2))))
104.0ms
(/.f64 1 (cbrt.f64 (*.f64 a 2)))
97.0ms
(cbrt.f64 (*.f64 a 2))
77.0ms
(cbrt.f64 g)
Compiler

Compiled 576 to 540 computations (6.3% saved)

simplify72.0ms (1.2%)

Algorithm
1×egg-herbie
Counts
116 → 116
Iterations

Useful iterations: 0 (51.0ms)

IterNodesCost
053191413

prune108.0ms (1.8%)

Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New1124116
Fresh31114
Picked011
Done011
Total11517132
Error
0.0b
Counts
132 → 17
Compiler

Compiled 1734 to 1251 computations (27.9% saved)

localize8.0ms (0.1%)

Local error

Found 4 expressions with local error:

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

rewrite273.0ms (4.5%)

Algorithm
1×rewrite-expression-head
Error
0.0b
Rules
204×times-frac_binary64_5199
111×add-cube-cbrt_binary64_5228 add-sqr-sqrt_binary64_5215 *-un-lft-identity_binary64_5193
98×cbrt-prod_binary64_5224
34×associate-/r*_binary64_5137
17×add-exp-log_binary64_5231
8×div-exp_binary64_5244
7×add-cbrt-cube_binary64_5229 associate-/l*_binary64_5138
6×div-inv_binary64_5190
5×pow1_binary64_5254
4×add-log-exp_binary64_5232 cbrt-undiv_binary64_5227
2×pow1/3_binary64_5275 frac-2neg_binary64_5204 clear-num_binary64_5192 1-exp_binary64_5237 rec-exp_binary64_5243
1×inv-pow_binary64_5278 pow-flip_binary64_5267 associate-/r/_binary64_5139
Counts
4 → 202
Calls

4 calls:

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

Compiled 3971 to 2646 computations (33.4% saved)

series695.0ms (11.4%)

Error
0.0b
Counts
4 → 18
Calls

4 calls:

259.0ms
(/.f64 1 (/.f64 (cbrt.f64 (*.f64 a 2)) (cbrt.f64 g)))
243.0ms
(/.f64 (cbrt.f64 (*.f64 a 2)) (cbrt.f64 g))
91.0ms
(cbrt.f64 (*.f64 a 2))
83.0ms
(cbrt.f64 g)
Compiler

Compiled 744 to 700 computations (5.9% saved)

simplify120.0ms (2%)

Algorithm
1×egg-herbie
Counts
220 → 220
Iterations

Useful iterations: 0 (75.0ms)

IterNodesCost
049604481
149604481

prune211.0ms (3.5%)

Pruning

17 alts after pruning (15 fresh and 2 done)

PrunedKeptTotal
New2164220
Fresh31114
Picked011
Done112
Total22017237
Error
0.0b
Counts
237 → 17
Compiler

Compiled 3551 to 2315 computations (34.8% saved)

regimes903.0ms (14.8%)

Accuracy

Total 0.8b remaining (97.4%)

Threshold costs 0.8b (97.4%)

Compiler

Compiled 6364 to 5460 computations (14.2% saved)

bsearch0.0ms (0%)

simplify2.0ms (0%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
0911
1911

end0.0ms (0%)

sample1.8s (30%)

Algorithm
1×intervals
Results
224.0ms8000×body128valid
Compiler

Compiled 1235 to 1061 computations (14.1% saved)

Profiling

Loading profile data...