Details

Time bar (total: 1.1s)

analyze1.0ms (0.1%)

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

Compiled 6 to 6 computations (0% saved)

sample206.0ms (18.9%)

Algorithm
intervals
Results
201.0ms256×body128valid
Compiler

Compiled 11 to 12 computations (-9.1% saved)

simplify92.0ms (8.5%)

Algorithm
egg-herbie
Counts
1 → 1
Iterations

Useful iterations: 0 (2.0ms)

IterNodesCost
077
177

prune2.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 10 to 10 computations (0% saved)

localize3.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.0b
(/.f64 (+.f64 x 16) 116)
0.0b
(/.f64 (+.f64 x 16) 116)

rewrite8.0ms (0.8%)

Algorithm
rewrite-expression-head
Rules
18×*-un-lft-identity_binary64_9285
12×times-frac_binary64_9291
10×add-sqr-sqrt_binary64_9307 add-cube-cbrt_binary64_9320
associate-/l*_binary64_9230 distribute-lft-out_binary64_9236
add-cbrt-cube_binary64_9321 add-exp-log_binary64_9323 associate-/r*_binary64_9229
associate-/l/_binary64_9232
clear-num_binary64_9284 div-exp_binary64_9336 cbrt-undiv_binary64_9319 pow1_binary64_9346 flip-+_binary64_9259 frac-2neg_binary64_9296 add-log-exp_binary64_9324 flip3-+_binary64_9288 div-inv_binary64_9282
Counts
1 → 33
Calls

2 calls:

6.0ms
(/.f64 (+.f64 x 16) 116)
0.0ms
(/.f64 (+.f64 x 16) 116)

series28.0ms (2.6%)

Counts
1 → 6
Calls

1 calls:

28.0ms
(/.f64 (+.f64 x 16) 116)
Compiler

Compiled 37 to 38 computations (-2.7% saved)

simplify67.0ms (6.2%)

Algorithm
egg-herbie
Counts
39 → 39
Iterations

Useful iterations: 0 (53.0ms)

IterNodesCost
04779454
14779454

prune32.0ms (2.9%)

Pruning

2 alts after pruning (1 fresh and 1 done)

PrunedKeptTotal
New38139
Fresh000
Picked011
Done000
Total38240
Error
0b
Counts
40 → 2
Compiler

Compiled 392 to 336 computations (14.3% saved)

localize3.0ms (0.3%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 x 1/116)
0.1b
(*.f64 x 1/116)

rewrite5.0ms (0.4%)

Algorithm
rewrite-expression-head
Rules
add-sqr-sqrt_binary64_9307
*-un-lft-identity_binary64_9285 associate-*l*_binary64_9226 associate-*r*_binary64_9225 pow1_binary64_9346 add-cbrt-cube_binary64_9321 add-exp-log_binary64_9323 add-cube-cbrt_binary64_9320
cbrt-unprod_binary64_9318 prod-exp_binary64_9334 pow-prod-down_binary64_9356 unswap-sqr_binary64_9253 add-log-exp_binary64_9324 *-commutative_binary64_9216
Counts
1 → 18
Calls

2 calls:

4.0ms
(*.f64 x 1/116)
0.0ms
(*.f64 x 1/116)

series16.0ms (1.5%)

Counts
1 → 3
Calls

1 calls:

16.0ms
(*.f64 x 1/116)
Compiler

Compiled 30 to 30 computations (0% saved)

simplify64.0ms (5.9%)

Algorithm
egg-herbie
Counts
21 → 21
Iterations

Useful iterations: 0 (54.0ms)

IterNodesCost
04774130
14774130

prune14.0ms (1.3%)

Pruning

2 alts after pruning (0 fresh and 2 done)

PrunedKeptTotal
New21021
Fresh000
Picked011
Done011
Total21223
Error
0b
Counts
23 → 2
Compiler

Compiled 172 to 140 computations (18.6% saved)

simplify3.0ms (0.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
03483
13483

regimes46.0ms (4.3%)

Compiler

Compiled 195 to 192 computations (1.5% saved)

bsearch0.0ms (0%)

regimes23.0ms (2.1%)

Compiler

Compiled 9 to 13 computations (-44.4% saved)

bsearch21.0ms (2%)

Steps
ItersRangePoint
9
0.0005097865239949307
881.2756568905111
16.107876204531387
10
-2293687748.3617687
-0.1827838060324987
-16.151941589256186
Compiler

Compiled 1 to 1 computations (0% saved)

regimes8.0ms (0.8%)

Compiler

Compiled 6 to 10 computations (-66.7% saved)

bsearch0.0ms (0%)

regimes10.0ms (0.9%)

Accuracy

Total 0.0b remaining (94.6%)

Threshold costs 0.0b (94.6%)

Compiler

Compiled 5 to 8 computations (-60% saved)

bsearch3.0ms (0.3%)

Compiler

Compiled 22 to 21 computations (4.5% saved)

simplify3.0ms (0.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (1.0ms)

IterNodesCost
02328
12328

end0.0ms (0%)

sample428.0ms (39.4%)

Algorithm
intervals
Results
144.0ms8000×body128valid
Compiler

Compiled 85 to 85 computations (0% saved)

Pareto

0.4286902314568688

Profiling

Loading profile data...