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

Time bar (total: 4.6s)

start0.0ms (0.0%)

Memory
0.1MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze0.0ms (0.0%)

Memory
0.6MiB live, 0.6MiB allocated; 0ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%100.0%0.0%0.0%0.0%0.0%0
0.0%0.0%100.0%0.0%0.0%0.0%0.0%1
100.0%50.0%0.0%0.0%0.0%50.0%0.0%2
Compiler

Compiled 6 to 5 computations (16.7% saved)

sample758.0ms (16.6%)

Memory
76.2MiB live, 1 030.1MiB allocated; 372ms collecting garbage
Samples
488.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 291.0ms
ival-log: 163.0ms (56.1% of total)
ival-mult!: 126.0ms (43.4% of total)
adjust: 2.0ms (0.7% of total)
Bogosity

preprocess3.5s (76.6%)

Memory
-28.4MiB live, 65.1MiB allocated; 4.4s collecting garbage
Iterations

Useful iterations: 6 (0.0ms)

IterNodesCost
0714
11914
23414
36614
412014
537114
6243413
Stop Event
node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.6%
(*.f64 x (log.f64 x))
Symmetry

(negabs x)

Compiler

Compiled 8 to 6 computations (25.0% saved)

sample0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage
Calls
Call 1
Inputs
Outputs

series195.0ms (4.3%)

Memory
-350.9MiB live, 119.2MiB allocated; 60ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01539
Stop Event
iter-limit
Counts
3 → 5
Calls
Call 1
Inputs
x
(log.f64 x)
(*.f64 x (log.f64 x))
Outputs
#s(approx x x)
#s(approx (log x) (log.f64 x))
#s(approx (* x (log x)) (*.f64 x (log.f64 x)))
#s(approx (log x) (*.f64 #s(literal -1 binary64) (log.f64 (/.f64 #s(literal 1 binary64) x))))
#s(approx (* x (log x)) (*.f64 #s(literal -1 binary64) (*.f64 x (log.f64 (/.f64 #s(literal 1 binary64) x)))))
Calls

3 calls:

TimeVariablePoint
148.0ms
x
0
26.0ms
x
-inf
12.0ms
x
inf

rewrite111.0ms (2.4%)

Memory
-3.0MiB live, 137.1MiB allocated; 17ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
037
057
187
2167
3187
4377
5647
61667
77407
040657
Stop Event
iter-limit
node-limit
iter-limit
Counts
3 → 5
Calls
Call 1
Inputs
x
(log.f64 x)
(*.f64 x (log.f64 x))
Outputs
x
(log.f64 x)
(*.f64 (log.f64 x) x)
(*.f64 x (log.f64 x))
(log.f64 (pow.f64 x x))

eval1.0ms (0.0%)

Memory
1.7MiB live, 1.7MiB allocated; 0ms collecting garbage
Compiler

Compiled 60 to 24 computations (60.0% saved)

prune1.0ms (0.0%)

Memory
2.1MiB live, 2.1MiB allocated; 0ms collecting garbage
Pruning

1 alts after pruning (0 fresh and 1 done)

PrunedKeptTotal
New808
Fresh000
Picked101
Done-110
Total819
Accuracy
99.6%
Counts
9 → 1
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.6%
(*.f64 x (log.f64 x))
Compiler

Compiled 8 to 6 computations (25.0% saved)

derivations0.0ms (0.0%)

Memory
0.3MiB live, 0.3MiB allocated; 0ms collecting garbage
Stop Event
done
Compiler

Compiled 4 to 3 computations (25.0% saved)

preprocess6.0ms (0.1%)

Memory
14.7MiB live, 14.7MiB allocated; 0ms collecting garbage
Compiler

Compiled 16 to 12 computations (25.0% saved)

end0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...