Statistics.Distribution.Binomial:directEntropy from math-functions-0.1.5.2

Time bar (total: 1.4s)

analyze0.0ms (0%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
100%50%0%0%0%50%0%2
Compiler

Compiled 6 to 4 computations (33.3% saved)

sample1.1s (76.5%)

Results
1.1s8221×body256valid
3.0ms35×body256infinite
Bogosity

preprocess338.0ms (23.5%)

Algorithm
egg-herbie
Rules
979×associate-+r+
746×associate-+l-
698×associate-+r-
640×associate-+l+
627×fma-def
Problems
256×No Errors
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01288
12680
25180
313580
448080
5124680
6228780
7368080
8419980
9446980
10471380
11492580
12501580
13501580
14534380
15555980
16559780
17560580
18561380
19561380
Stop Event
node limit
Calls
Call 1
Inputs
(*.f64 x (log.f64 x))
(*.f64 x (log.f64 x))
(*.f64 (neg.f64 x) (log.f64 (neg.f64 x)))
(neg.f64 (*.f64 (neg.f64 x) (log.f64 (neg.f64 x))))
Outputs
(*.f64 x (log.f64 x))
(*.f64 x (log.f64 x))
(*.f64 (neg.f64 x) (log.f64 (neg.f64 x)))
(*.f64 x (neg.f64 (log.f64 (neg.f64 x))))
(neg.f64 (*.f64 (neg.f64 x) (log.f64 (neg.f64 x))))
(*.f64 (neg.f64 (neg.f64 x)) (log.f64 (neg.f64 x)))
(*.f64 x (log.f64 (neg.f64 x)))
Compiler

Compiled 9 to 4 computations (55.6% saved)

end0.0ms (0%)

Profiling

Loading profile data...