Details

Time bar (total: 2.2s)

analyze76.0ms (3.5%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
50%50%0.1%5
56.2%43.7%0.1%6
71.8%28.1%0.1%7
73.4%25%1.7%8
80.4%16.4%3.2%9
80.8%14%5.2%10
84.1%8.8%7.1%11
84.2%7.4%8.4%12
85.8%4.5%9.7%13
85.8%3.8%10.4%14
Compiler

Compiled 6 to 6 computations (0% saved)

sample16.0ms (0.7%)

Algorithm
1×intervals
Results
9.0ms256×body128valid
0.0ms5×body128invalid
Compiler

Compiled 11 to 13 computations (-18.2% saved)

simplify104.0ms (4.8%)

Algorithm
1×egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
0117
1117

prune2.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 10 computations (0% saved)

localize3.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.2b
(/.f64 x (*.f64 y 3))

rewrite5.0ms (0.3%)

Algorithm
1×rewrite-expression-head
Rules
6×add-cbrt-cube_binary64_12390 add-exp-log_binary64_12392
3×associate-/l*_binary64_12299 *-un-lft-identity_binary64_12354 times-frac_binary64_12360 add-sqr-sqrt_binary64_12376 add-cube-cbrt_binary64_12389
2×cbrt-undiv_binary64_12388 div-exp_binary64_12405
1×clear-num_binary64_12353 associate-/r*_binary64_12298 cbrt-unprod_binary64_12387 div-inv_binary64_12351 frac-2neg_binary64_12365 add-log-exp_binary64_12393 pow1_binary64_12415 prod-exp_binary64_12403
Counts
1 → 21
Calls

1 calls:

4.0ms
(/.f64 x (*.f64 y 3))

series13.0ms (0.6%)

Counts
1 → 3
Calls

1 calls:

13.0ms
(/.f64 x (*.f64 y 3))

simplify162.0ms (7.5%)

Algorithm
1×egg-herbie
Counts
24 → 24
Iterations

Useful iterations: 0 (154.0ms)

IterNodesCost
04849217
14849217

prune41.0ms (1.9%)

Pruning

5 alts after pruning (4 fresh and 1 done)

PrunedKeptTotal
New20424
Fresh000
Picked011
Done000
Total20525
Error
0b
Counts
25 → 5
Compiler

Compiled 218 to 148 computations (32.1% saved)

localize5.0ms (0.3%)

Local error

Found 1 expressions with local error:

0.2b
(/.f64 (/.f64 x y) 3)

rewrite12.0ms (0.6%)

Algorithm
1×rewrite-expression-head
Rules
75×times-frac_binary64_12360
43×*-un-lft-identity_binary64_12354 add-sqr-sqrt_binary64_12376 add-cube-cbrt_binary64_12389
13×associate-/l*_binary64_12299
6×add-cbrt-cube_binary64_12390 add-exp-log_binary64_12392
5×div-inv_binary64_12351
3×associate-/r*_binary64_12298 cbrt-undiv_binary64_12388 div-exp_binary64_12405
1×clear-num_binary64_12353 frac-2neg_binary64_12365 associate-/l/_binary64_12301 add-log-exp_binary64_12393 pow1_binary64_12415
Counts
1 → 70
Calls

1 calls:

6.0ms
(/.f64 (/.f64 x y) 3)

series14.0ms (0.7%)

Counts
1 → 3
Calls

1 calls:

14.0ms
(/.f64 (/.f64 x y) 3)

simplify138.0ms (6.3%)

Algorithm
1×egg-herbie
Counts
73 → 73
Iterations

Useful iterations: 0 (120.0ms)

IterNodesCost
049901205
149901205

prune74.0ms (3.4%)

Pruning

5 alts after pruning (3 fresh and 2 done)

PrunedKeptTotal
New73073
Fresh033
Picked011
Done011
Total73578
Error
0b
Counts
78 → 5
Compiler

Compiled 960 to 466 computations (51.5% saved)

localize5.0ms (0.2%)

Local error

Found 1 expressions with local error:

0.3b
(*.f64 (/.f64 1 y) (/.f64 x 3))

rewrite15.0ms (0.7%)

Algorithm
1×rewrite-expression-head
Rules
32×add-sqr-sqrt_binary64_12376
25×times-frac_binary64_12360
23×add-exp-log_binary64_12392
17×*-un-lft-identity_binary64_12354
15×add-cube-cbrt_binary64_12389
13×associate-*l*_binary64_12295 associate-*r*_binary64_12294 add-cbrt-cube_binary64_12390
8×prod-exp_binary64_12403 div-exp_binary64_12405
6×unswap-sqr_binary64_12322
4×cbrt-unprod_binary64_12387 cbrt-undiv_binary64_12388
3×pow1_binary64_12415
2×div-inv_binary64_12351 rec-exp_binary64_12404 1-exp_binary64_12398
1×pow-prod-down_binary64_12425 frac-times_binary64_12364 add-log-exp_binary64_12393 associate-*l/_binary64_12297 associate-*r/_binary64_12296 *-commutative_binary64_12285
Counts
1 → 56
Calls

1 calls:

11.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))

series22.0ms (1%)

Counts
1 → 3
Calls

1 calls:

22.0ms
(*.f64 (/.f64 1 y) (/.f64 x 3))

simplify134.0ms (6.2%)

Algorithm
1×egg-herbie
Counts
59 → 59
Iterations

Useful iterations: 0 (119.0ms)

IterNodesCost
04988653
14988653

prune41.0ms (1.9%)

Pruning

5 alts after pruning (2 fresh and 3 done)

PrunedKeptTotal
New59059
Fresh022
Picked011
Done022
Total59564
Error
0b
Counts
64 → 5
Compiler

Compiled 651 to 445 computations (31.6% saved)

localize7.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.2b
(*.f64 x (/.f64 1/3 y))
0.3b
(/.f64 1/3 y)

rewrite17.0ms (0.8%)

Algorithm
1×rewrite-expression-head
Rules
23×add-sqr-sqrt_binary64_12376
19×times-frac_binary64_12360
18×*-un-lft-identity_binary64_12354 add-cube-cbrt_binary64_12389
13×associate-*r*_binary64_12294
9×add-cbrt-cube_binary64_12390 add-exp-log_binary64_12392
4×pow1_binary64_12415
3×associate-/r*_binary64_12298 associate-/l*_binary64_12299 associate-*l*_binary64_12295
2×cbrt-unprod_binary64_12387 div-inv_binary64_12351 cbrt-undiv_binary64_12388 add-log-exp_binary64_12393 prod-exp_binary64_12403 unswap-sqr_binary64_12322 div-exp_binary64_12405
1×pow-prod-down_binary64_12425 clear-num_binary64_12353 frac-2neg_binary64_12365 associate-*r/_binary64_12296 *-commutative_binary64_12285
Counts
2 → 59
Calls

2 calls:

9.0ms
(*.f64 x (/.f64 1/3 y))
4.0ms
(/.f64 1/3 y)

series27.0ms (1.3%)

Counts
2 → 6
Calls

2 calls:

17.0ms
(*.f64 x (/.f64 1/3 y))
11.0ms
(/.f64 1/3 y)

simplify165.0ms (7.6%)

Algorithm
1×egg-herbie
Counts
65 → 65
Iterations

Useful iterations: 0 (148.0ms)

IterNodesCost
04846610
14846610

prune50.0ms (2.3%)

Pruning

5 alts after pruning (1 fresh and 4 done)

PrunedKeptTotal
New65065
Fresh011
Picked011
Done033
Total65570
Error
0b
Counts
70 → 5
Compiler

Compiled 624 to 405 computations (35.1% saved)

regimes161.0ms (7.4%)

Accuracy

Total 0.2b remaining (99.3%)

Threshold costs 0.2b (99.3%)

Compiler

Compiled 634 to 574 computations (9.5% saved)

bsearch0.0ms (0%)

simplify2.0ms (0.1%)

Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
067
167

end0.0ms (0%)

sample861.0ms (39.6%)

Algorithm
1×intervals
Results
268.0ms8000×body128valid
5.0ms175×body128invalid
Compiler

Compiled 139 to 127 computations (8.6% saved)

Profiling

Loading profile data...