Details

Time bar (total: 379.0ms)

analyze6.0ms (1.5%)

Algorithm
search
Search
TrueOtherFalseIter
0%100%0%0
0%100%0%1
0%100%0%2
50%50%0%3
50%25%25%4
62.5%12.5%25%5
62.5%6.2%31.3%6
65.6%3.1%31.3%7
65.6%1.6%32.8%8
66.4%0.8%32.8%9
66.4%0.4%33.2%10
66.6%0.2%33.2%11
66.6%0.1%33.3%12
66.6%0%33.4%13
66.6%0%33.4%14
Compiler

Compiled 6 to 4 computations (33.3% saved)

sample16.0ms (4.2%)

Algorithm
intervals
Results
8.0ms256×body128valid
Compiler

Compiled 11 to 8 computations (27.3% saved)

prune2.0ms (0.5%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 5 to 3 computations (40% saved)

localize6.0ms (1.5%)

Local error

Found 2 expressions with local error:

0.1b
(*.f64 (*.f64 x x) x)
0.1b
(*.f64 (*.f64 x x) x)

rewrite2.0ms (0.5%)

Algorithm
rewrite-expression-head
Rules
Counts
1 → 0
Calls

2 calls:

2.0ms
(*.f64 (*.f64 x x) x)
0.0ms
(*.f64 (*.f64 x x) x)

prune2.0ms (0.5%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked000
Done011
Total011
Error
0.1b
Counts
1 → 1
Compiler

Compiled 5 to 3 computations (40% saved)

sample346.0ms (91.2%)

Algorithm
intervals
Results
169.0ms8000×body128valid
Compiler

Compiled 19 to 14 computations (26.3% saved)

Pareto

0

Profiling

Loading profile data...