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

Details

Time bar (total: 1.8s)

analyze1.0ms (0%)

Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%199.9%-99.9%0%0%0%1
100%199.9%0%-99.9%0%0%0%2
Compiler

Compiled 7 to 5 computations (28.6% saved)

sample1.5s (85.1%)

Results
1.0s6160×body256valid
448.0ms2096×body256infinite
Bogosity

preprocess123.0ms (7%)

Algorithm
2×egg-herbie
Rules
314×fma-def
34×cancel-sign-sub-inv
32×distribute-rgt-in
28×distribute-lft-neg-in
24×sub-neg
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
11313
21913
32513
42913
53413
64513
76513
813613
925813
1036513
1138713
1238913
011
Stop Event
1×saturated
1×saturated
Calls
Call 1
Inputs
0
Outputs
0
Call 2
Inputs
(*.f64 x (-.f64 x 1))
Outputs
(*.f64 x (-.f64 x 1))
(*.f64 x (+.f64 x -1))
(-.f64 (*.f64 x x) x)
Compiler

Compiled 7 to 5 computations (28.6% saved)

simplify22.0ms (1.2%)

Algorithm
1×egg-herbie
Rules
314×fma-def
34×cancel-sign-sub-inv
32×distribute-rgt-in
28×distribute-lft-neg-in
24×sub-neg
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0613
11313
21913
32513
42913
53413
64513
76513
813613
925813
1036513
1138713
1238913
Stop Event
1×saturated
Counts
1 → 3
Calls
Call 1
Inputs
(*.f64 x (-.f64 x 1))
Outputs
(*.f64 x (-.f64 x 1))
(*.f64 x (+.f64 x -1))
(-.f64 (*.f64 x x) x)

eval1.0ms (0%)

Compiler

Compiled 16 to 9 computations (43.8% saved)

prune1.0ms (0.1%)

Pruning

2 alts after pruning (2 fresh and 0 done)

PrunedKeptTotal
New213
Fresh011
Picked000
Done000
Total224
Accurracy
100.0%
Counts
4 → 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)

localize64.0ms (3.6%)

Compiler

Compiled 12 to 8 computations (33.3% saved)

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
Accurracy
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)

simplify4.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
0613
11213
21613
31913
42213
52513
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%)

end46.0ms (2.6%)

Compiler

Compiled 36 to 22 computations (38.9% saved)

Profiling

Loading profile data...