Details

Time bar (total: 509.0ms)

analyze23.0ms (4.5%)

Algorithm
search
Search
TrueOtherFalseIter
0%99.9%0.1%0
99.9%0%0.1%1
Compiler

Compiled 9 to 7 computations (22.2% saved)

sample21.0ms (4.2%)

Algorithm
intervals
Results
7.0ms256×body128valid
Compiler

Compiled 19 to 15 computations (21.1% saved)

simplify15.0ms (2.9%)

Algorithm
egg-herbie
Rules
39×fma-neg_binary64
17×sub-neg_binary64
17×fma-def_binary64
16×cancel-sign-sub-inv_binary64
fabs-sub_binary64
Counts
1 → 1
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1119
2189
3279
4439
5779
6899
71119
81329
91409
101429
111229

prune2.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New011
Fresh011
Picked000
Done000
Total022
Error
0b
Counts
2 → 1
Alt Table
StatusErrorProgram
0b
(/.f64 (fabs.f64 (-.f64 a b)) 2)
Compiler

Compiled 24 to 18 computations (25% saved)

localize4.0ms (0.8%)

rewrite0.0ms (0%)

Algorithm
rewrite-expression-head
Counts
0 → 0

series0.0ms (0%)

Counts
0 → 0

simplify8.0ms (1.6%)

Algorithm
egg-herbie
Counts
0 → 0
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
000
100

prune1.0ms (0.2%)

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
(/.f64 (fabs.f64 (-.f64 a b)) 2)
Compiler

Compiled 16 to 12 computations (25% saved)

simplify4.0ms (0.8%)

Algorithm
egg-herbie
Rules
+-commutative_binary64
sub-neg_binary64
*-commutative_binary64
neg-sub0_binary64
neg-mul-1_binary64
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
079
1119
2189
3239
4269
5279
6279

end6.0ms (1.1%)

Remove

(sort a b)

Compiler

Compiled 24 to 18 computations (25% saved)

sample426.0ms (83.7%)

Algorithm
intervals
Results
224.0ms8000×body128valid
Compiler

Compiled 27 to 21 computations (22.2% saved)

Profiling

Loading profile data...