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

Time bar (total: 11.6s)

analyze1.0ms (0%)

Algorithm
1×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)

sample11.4s (98.2%)

Results
1.4s8256×0valid-rival
615.0ms8210×0valid-sollya
230.0ms46×0exit-sollya
Bogosity

preprocess108.0ms (0.9%)

Algorithm
1×egg-herbie
Rules
81×fma-define
26×fma-neg
26×associate-*r*
22×distribute-lft-neg-in
15×associate-*l*
Iterations

Useful iterations: 1 (0.0ms)

IterNodesCost
01288
12680
24680
312580
423580
537780
639080
739280
839980
940580
Stop Event
1×saturated
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 x) (neg.f64 (log.f64 (neg.f64 x))))
(*.f64 x (log.f64 (neg.f64 x)))
Compiler

Compiled 5 to 3 computations (40% saved)

eval0.0ms (0%)

Compiler

Compiled 1 to 1 computations (0% saved)

prune19.0ms (0.2%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
99.6%
(*.f64 x (log.f64 x))
Compiler

Compiled 10 to 6 computations (40% saved)

simplify3.0ms (0%)

Algorithm
1×egg-herbie
Rules
1×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0817
1917
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 x (log.f64 x))
Outputs
(*.f64 x (log.f64 x))

soundness0.0ms (0%)

Stop Event
1×fuel
Compiler

Compiled 5 to 3 computations (40% saved)

preprocess78.0ms (0.7%)

Compiler

Compiled 20 to 12 computations (40% saved)

end0.0ms (0%)

Profiling

Loading profile data...