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

Time bar (total: 1.7s)

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
6.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 3.0ms
ival-mult: 2.0ms (61.6% of total)
ival-sub: 1.0ms (30.8% 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
8.3MiB live, 991.0MiB 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.69921875
Average Time
0.0378875732421875
Samples
679.0ms23 040×0valid
Compiler

Compiled 1 755 to 900 computations (48.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 305.0ms
ival-mult: 141.0ms (46.3% of total)
ival-sub: 127.0ms (41.7% of total)
ival-true: 16.0ms (5.3% of total)
exact: 12.0ms (3.9% of total)
ival-assert: 8.0ms (2.6% of total)

preprocess17.0ms (1%)

Memory
5.5MiB 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)

simplify21.0ms (1.3%)

Memory
-11.8MiB 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.2MiB live, 0.2MiB 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...