Details

Time bar (total: 1.7s)

analyze124.0ms (7.5%)

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)

sample48.0ms (2.9%)

Algorithm
intervals
Results
13.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)

simplify80.0ms (4.9%)

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
Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

series0.0ms (0%)

Error
0b
Counts
0 → 0
Compiler

Compiled 0 to 0 computations (0% saved)

simplify10.0ms (0.6%)

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)

regimes19.0ms (1.1%)

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

end9.0ms (0.5%)

Remove

(sort a x)

Compiler

Compiled 18 to 12 computations (33.3% saved)

sample1.4s (81.9%)

Algorithm
intervals
Results
466.0ms1475×body2048valid
339.0ms1752×body1024valid
103.0ms1083×body512valid
95.0ms3070×body128valid
38.0ms620×body256valid
5.0ms132×body128invalid
Compiler

Compiled 23 to 17 computations (26.1% saved)

Profiling

Loading profile data...