Details

Time bar (total: 1.1s)

analyze380.0ms (34.1%)

Algorithm
1×search
Search
TrueOtherFalseIter
0%99.9%0.1%0
0%99.9%0.1%1
0%99.9%0.1%2
0%99.9%0.1%3
0%99.9%0.1%4
0%99.9%0.1%5
0%99.9%0.1%6
12.5%87.4%0.1%7
37.4%62.4%0.1%8
40.6%57.7%1.7%9
45.2%51.1%3.7%10
57.7%33.5%8.7%11
59.7%29.4%10.9%12
62%25%13%13
68.3%17.4%14.4%14
Compiler

Compiled 12 to 10 computations (16.7% saved)

sample23.0ms (2.1%)

Algorithm
1×intervals
Results
9.0ms240×body128valid
1.0ms28×body128invalid
1.0ms7×body512valid
1.0ms4×body1024valid
1.0ms5×body256valid
Compiler

Compiled 23 to 22 computations (4.3% saved)

prune3.0ms (0.2%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 11 to 9 computations (18.2% saved)

localize13.0ms (1.1%)

Local error

Found 4 expressions with local error:

0.0b
(+.f64 (*.f64 d1 3) (*.f64 d1 d2))
0.0b
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
0.0b
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
0.0b
(+.f64 (*.f64 d1 3) (*.f64 d1 d2))

rewrite1.0ms (0.1%)

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

4 calls:

1.0ms
(+.f64 (*.f64 d1 3) (*.f64 d1 d2))
0.0ms
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
0.0ms
(+.f64 (+.f64 (*.f64 d1 3) (*.f64 d1 d2)) (*.f64 d1 d3))
0.0ms
(+.f64 (*.f64 d1 3) (*.f64 d1 d2))

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 11 to 9 computations (18.2% saved)

sample693.0ms (62.2%)

Algorithm
1×intervals
Results
292.0ms7539×body128valid
28.0ms673×body128invalid
21.0ms157×body1024valid
17.0ms177×body512valid
9.0ms127×body256valid
Compiler

Compiled 41 to 38 computations (7.3% saved)

Pareto

0

Profiling

Loading profile data...