Details

Time bar (total: 1.2s)

analyze431.0ms (34.8%)

Algorithm
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
21.8%78%0.1%6
26.5%73.3%0.1%7
32%67.9%0.1%8
46.4%52.7%0.9%9
50.9%47.2%1.9%10
54.3%43.3%2.4%11
62.1%32.5%5.4%12
64.3%28.1%7.6%13
66.3%24.6%9.2%14
Compiler

Compiled 13 to 11 computations (15.4% saved)

sample20.0ms (1.6%)

Algorithm
intervals
Results
10.0ms256×body128valid
2.0ms41×body128invalid
Compiler

Compiled 25 to 24 computations (4% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 12 to 10 computations (16.7% saved)

localize9.0ms (0.7%)

Local error

Found 6 expressions with local error:

2.5b
(*.f64 (/.f64 x y) z)
0.0b
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
0.0b
(/.f64 (+.f64 x 4) y)
0.0b
(/.f64 (+.f64 x 4) y)
0.0b
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
2.5b
(*.f64 (/.f64 x y) z)

rewrite1.0ms (0.1%)

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

6 calls:

1.0ms
(*.f64 (/.f64 x y) z)
0.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
0.0ms
(/.f64 (+.f64 x 4) y)
0.0ms
(-.f64 (/.f64 (+.f64 x 4) y) (*.f64 (/.f64 x y) z))
0.0ms
(/.f64 (+.f64 x 4) y)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 12 to 10 computations (16.7% saved)

sample775.0ms (62.5%)

Algorithm
intervals
Results
393.0ms8000×body128valid
55.0ms1170×body128invalid
Compiler

Compiled 37 to 34 computations (8.1% saved)

Pareto

0

Profiling

Loading profile data...