Statistics.Correlation.Kendall:numOfTiesBy from math-functions-0.1.5.2

Time bar (total: 1.6s)

analyze0.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 5 computations (28.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
Operation ival-mult, time spent: 0.0ms, 0.0% of total-time
Operation ival-sub, time spent: 0.0ms, 0.0% of total-time
Operation const, time spent: 0.0ms, 0.0% of total-time

sample1.1s (69.8%)

Results
833.0ms6242×body256valid
286.0ms2014×body256infinite
Precisions
Click to see histograms. Total time spent on operations: 216.0ms
Operation ival-mult, time spent: 102.0ms, 47.0% of total-time
Operation ival-sub, time spent: 85.0ms, 39.0% of total-time
Operation const, time spent: 29.0ms, 13.0% of total-time
Bogosity

preprocess420.0ms (25.9%)

Algorithm
1×egg-herbie
Rules
388×fma-def
74×associate-*r*
68×distribute-lft-in
56×distribute-rgt-in
48×unsub-neg
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01396
13478
27376
320775
439975
570475
671175
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 x (-.f64 x 1))
(*.f64 x (-.f64 x 1))
(*.f64 (neg.f64 x) (-.f64 (neg.f64 x) 1))
(neg.f64 (*.f64 (neg.f64 x) (-.f64 (neg.f64 x) 1)))
Outputs
(*.f64 x (-.f64 x 1))
(*.f64 x (+.f64 x -1))
(*.f64 x (-.f64 x 1))
(*.f64 x (+.f64 x -1))
(*.f64 (neg.f64 x) (-.f64 (neg.f64 x) 1))
(*.f64 (neg.f64 x) (+.f64 (neg.f64 x) -1))
(*.f64 x (+.f64 x 1))
(fma.f64 x x x)
(neg.f64 (*.f64 (neg.f64 x) (-.f64 (neg.f64 x) 1)))
(*.f64 (neg.f64 (neg.f64 x)) (+.f64 (neg.f64 x) -1))
(*.f64 x (fma.f64 -1 x -1))
(*.f64 x (-.f64 -1 x))
Compiler

Compiled 18 to 12 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 8.0ms
Operation ival-sub, time spent: 4.0ms, 49.0% of total-time
Operation ival-mult, time spent: 3.0ms, 37.0% of total-time
Operation const, time spent: 2.0ms, 25.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 6 to 4 computations (33.3% saved)

prune1.0ms (0.1%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
▶100.0%
(*.f64 x (-.f64 x 1))
▶100.0%
(*.f64 x (-.f64 x 1))
Compiler

Compiled 12 to 8 computations (33.3% saved)

localize37.0ms (2.3%)

Compiler

Compiled 12 to 8 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 10.0ms
Operation ival-sub, time spent: 5.0ms, 52.0% of total-time
Operation ival-mult, time spent: 3.0ms, 31.0% of total-time
Operation const, time spent: 2.0ms, 21.0% of total-time

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune1.0ms (0.1%)

Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New000
Fresh000
Picked011
Done000
Total011
Accuracy
100.0%
Counts
1 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
✓100.0%
(*.f64 x (-.f64 x 1))
Compiler

Compiled 12 to 8 computations (33.3% saved)

simplify2.0ms (0.2%)

Algorithm
1×egg-herbie
Rules
4×unsub-neg
4×sub-neg
4×neg-mul-1
4×+-commutative
4×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0819
11719
22119
32419
42719
53019
Stop Event
1×done
1×saturated
Calls
Call 1
Inputs
(*.f64 x (-.f64 x 1))
Outputs
(*.f64 x (-.f64 x 1))
(*.f64 x (+.f64 x -1))
Compiler

Compiled 6 to 4 computations (33.3% saved)

soundness0.0ms (0%)

end0.0ms (0%)

preprocess27.0ms (1.7%)

Compiler

Compiled 36 to 22 computations (38.9% saved)

Profiling

Loading profile data...