Details

Time bar (total: 1.7s)

analyze118.0ms (7.2%)

Algorithm
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
62.4%37.5%0.1%5
62.4%31.2%6.3%6
68.7%21.9%9.5%7
68.7%17.2%14.1%8
71.8%11.7%16.5%9
71.8%9%19.2%10
73.4%6%20.6%11
73.4%4.6%22%12
74.1%3.1%22.8%13
74.1%2.3%23.5%14
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample46.0ms (2.8%)

Algorithm
intervals
Results
16.0ms48×body2048valid
8.0ms55×body1024valid
4.0ms40×body512valid
3.0ms102×body128valid
1.0ms11×body256valid
0.0msbody128invalid
Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify83.0ms (5%)

Algorithm
egg-herbie
Rules
571×fma-neg_binary64
455×*-commutative_binary64
440×unswap-sqr_binary64
344×associate-*l*_binary64
274×associate-+l+_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
076
1166
2236
3356
4706
51606
64326
715646
834906
949546
1049936
1148746

prune3.0ms (0.2%)

Pruning

1 alts after pruning (1 fresh and 0 done)

PrunedKeptTotal
New011
Fresh101
Picked000
Done000
Total112
Error
0b
Counts
2 → 1
Alt Table
StatusErrorProgram
0b
(expm1.f64 (*.f64 a x))
Compiler

Compiled 18 to 12 computations (33.3% saved)

localize3.0ms (0.2%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify8.0ms (0.5%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune1.0ms (0%)

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
(expm1.f64 (*.f64 a x))
Compiler

Compiled 6 to 4 computations (33.3% saved)

regimes20.0ms (1.2%)

Accuracy

Total 0.0b remaining (0%)

Threshold costs 0.0b (0%)

Compiler

Compiled 120 to 84 computations (30% saved)

simplify3.0ms (0.2%)

Algorithm
egg-herbie
Rules
*-commutative_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
056
166
266

end5.0ms (0.3%)

Remove

(sort a x)

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample1.4s (82.4%)

Algorithm
intervals
Results
450.0ms1475×body2048valid
353.0ms1752×body1024valid
125.0ms1083×body512valid
89.0ms3070×body128valid
45.0ms620×body256valid
4.0ms132×body128invalid
Compiler

Compiled 23 to 17 computations (26.1% saved)

Profiling

Loading profile data...