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

Time bar (total: 675.0ms)

analyze0.0ms (0%)

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 5 computations (28.6% saved)

sample606.0ms (89.8%)

Results
457.0ms6202×body256valid
138.0ms2054×body256infinite
Bogosity

preprocess69.0ms (10.2%)

Algorithm
egg-herbie
Rules
135×fma-def
64×associate-*r*
49×associate-+r+
41×*-commutative
40×associate-+r-
Problems
256×No Errors
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
01396
13478
28576
320875
453375
578275
678975
Stop Event
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 12 to 8 computations (33.3% saved)

end0.0ms (0%)

Profiling

Loading profile data...