Details

Time bar (total: 1.9s)

analyze534.0ms (27.5%)

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
12.5%87.4%0.1%5
18.7%81.1%0.1%6
18.7%76.5%4.8%7
28.1%66.3%5.6%8
35.1%55%9.9%9
36.3%50.9%12.8%10
42.1%42.4%15.5%11
47.5%33.8%18.7%12
48.8%30.7%20.6%13
51.8%25.6%22.5%14
Compiler

Compiled 14 to 11 computations (21.4% saved)

sample56.0ms (2.9%)

Algorithm
intervals
Results
15.0ms42×body2048valid
10.0ms164×body128valid
5.0ms15×body4096valid
4.0ms19×body1024valid
2.0ms12×body512valid
1.0ms22×body128nan
0.0msbody256valid
0.0msbody128invalid
Compiler

Compiled 27 to 24 computations (11.1% saved)

prune6.0ms (0.3%)

Pruning

2 alts after pruning (2 fresh and 0 done)

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

Compiled 13 to 10 computations (23.1% saved)

localize12.0ms (0.6%)

Local error

Found 8 expressions with local error:

25.6b
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
0.6b
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
0.3b
(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))
0.1b
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)
0.1b
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)
0.3b
(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))
0.6b
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
25.6b
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))

rewrite4.0ms (0.2%)

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

8 calls:

3.0ms
(sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))
0.0ms
(-.f64 (*.f64 b_2 b_2) (*.f64 a c))
0.0ms
(-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c))))
0.0ms
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)
0.0ms
(/.f64 (-.f64 (neg.f64 b_2) (sqrt.f64 (-.f64 (*.f64 b_2 b_2) (*.f64 a c)))) a)

prune2.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

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

Compiled 13 to 10 computations (23.1% saved)

sample1.3s (68.4%)

Algorithm
intervals
Results
298.0ms1156×body2048valid
282.0ms5176×body128valid
147.0ms710×body1024valid
141.0ms417×body4096valid
56.0ms350×body512valid
37.0ms750×body128nan
20.0ms191×body256valid
14.0ms264×body128invalid
Compiler

Compiled 40 to 34 computations (15% saved)

Pareto

0

Profiling

Loading profile data...