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

Time bar (total: 1.6s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
100%100%0%0%0%0%0%1
Compiler

Compiled 7 to 6 computations (14.3% saved)

sample11.0ms (0.7%)

Memory
4.6MiB live, 4.6MiB allocated
Samples
7.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-mult: 2.0ms (61.5% of total)
ival-sub: 1.0ms (30.7% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain1.6s (96.9%)

Memory
11.3MiB live, 990.6MiB allocated
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
00-0-(*.f64 x (-.f64 x #s(literal 1 binary64)))
00-0-(-.f64 x #s(literal 1 binary64))
00-0-#s(literal 1 binary64)
00-0-x
Confusion
Predicted +Predicted -
+00
-0256
Precision
0/0
Recall
0/0
Confusion?
Predicted +Predicted MaybePredicted -
+000
-00256
Precision?
0/0
Recall?
0/0
Freqs
test
numberfreq
0256
Total Confusion?
Predicted +Predicted MaybePredicted -
+000
-001
Precision?
0/0
Recall?
0/0
Total Time
9.327880859375
Average Time
0.036437034606933594
Samples
688.0ms23 040×0valid
Compiler

Compiled 1 755 to 900 computations (48.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 310.0ms
ival-mult: 146.0ms (47.2% of total)
ival-sub: 127.0ms (41% of total)
ival-true: 16.0ms (5.2% of total)
exact: 13.0ms (4.2% of total)
ival-assert: 8.0ms (2.6% of total)

preprocess17.0ms (1.1%)

Memory
-2.0MiB live, 5.5MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0615
12211
25510
316110
421010
521810
045
065
1125
2185
3215
4235
5285
6385
7565
81135
91995
102285
112285
02285
Stop Event
iter limit
saturated
iter limit
saturated
Calls
Call 1
Inputs
(*.f64 x (-.f64 x #s(literal 1 binary64)))
Outputs
(*.f64 x (-.f64 x #s(literal 1 binary64)))
(fma.f64 x x (neg.f64 x))
Compiler

Compiled 5 to 4 computations (20% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(*.f64 x (-.f64 x #s(literal 1 binary64)))
Compiler

Compiled 10 to 8 computations (20% saved)

simplify19.0ms (1.2%)

Memory
-0.6MiB live, 18.0MiB allocated
Algorithm
egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
045
1105
2145
3175
4205
5235
Stop Event
saturated
Calls
Call 1
Inputs
(*.f64 x (-.f64 x #s(literal 1 binary64)))
Outputs
(*.f64 x (-.f64 x #s(literal 1 binary64)))
(*.f64 (-.f64 x #s(literal 1 binary64)) x)

soundness0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Stop Event
fuel
Compiler

Compiled 5 to 4 computations (20% saved)

preprocess1.0ms (0.1%)

Memory
0.6MiB live, 0.6MiB allocated
Compiler

Compiled 30 to 22 computations (26.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...