Details

Time bar (total: 1.5s)

analyze208.0ms (13.4%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
50%12.5%37.5%5
50%6.2%43.8%6
53.1%3.1%43.8%7
54.7%1.6%43.8%8
54.7%0.8%44.6%9
54.7%0.4%44.9%10
54.9%0.2%44.9%11
54.9%0.1%45%12
54.9%0%45%13
54.9%0%45%14
Compiler

Compiled 21 to 10 computations (52.4% saved)

sample33.0ms (2.1%)

Algorithm
intervals
Results
24.0ms256×body128valid
Compiler

Compiled 42 to 20 computations (52.4% saved)

simplify187.0ms (12.1%)

Algorithm
egg-herbie
Rules
1118×sqr-pow_binary64
855×unswap-sqr_binary64
653×cube-prod_binary64
629×fabs-mul_binary64
550×associate-*l*_binary64
Counts
1 → 2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01022
12416
25210
31054
42734
58254
615854
717204
819384
922244
1024784
1128474
1230914
1335184
1438574
1540824
1643204
1745354
1846424
1952004

prune4.0ms (0.3%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New112
Fresh101
Picked000
Done000
Total213
Error
0b
Counts
3 → 1
Alt Table
StatusErrorProgram
0b
(pow.f64 d1 10)
Compiler

Compiled 31 to 17 computations (45.2% saved)

localize3.0ms (0.2%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify14.0ms (0.9%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Error
0b
Counts
1 → 1
Alt Table
StatusErrorProgram
0b
(pow.f64 d1 10)
Compiler

Compiled 4 to 3 computations (25% saved)

regimes54.0ms (3.5%)

Accuracy

Total 0b remaining (0%)

Threshold costs 0b (0%)

Compiler

Compiled 92 to 44 computations (52.2% saved)

simplify4.0ms (0.3%)

Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
044
144

end1.0ms (0%)

Compiler

Compiled 4 to 3 computations (25% saved)

sample1.0s (67.1%)

Algorithm
intervals
Results
724.0ms8000×body128valid
0.0msbody128invalid
Compiler

Compiled 30 to 17 computations (43.3% saved)

Profiling

Loading profile data...