b parameter of renormalized beta distribution

Time bar (total: 958.0ms)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze0.0ms (0%)

Memory
0.8MiB live, 0.8MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%12.5%87.5%0%0%0%0
100%12.5%0%87.5%0%0%0%1
Compiler

Compiled 25 to 16 computations (36% saved)

sample881.0ms (92%)

Memory
40.6MiB live, 1 083.5MiB allocated
Samples
595.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 405.0ms
ival-mult: 119.0ms (29.4% of total)
ival-<: 101.0ms (24.9% of total)
ival-sub: 92.0ms (22.7% of total)
ival-div: 58.0ms (14.3% of total)
ival-and: 18.0ms (4.4% of total)
exact: 14.0ms (3.5% of total)
ival-assert: 3.0ms (0.7% of total)
Bogosity

explain76.0ms (8%)

Memory
-13.6MiB live, 109.7MiB allocated
Samples
19.0ms259×0valid
Compiler

Compiled 124 to 28 computations (77.4% saved)

Precisions
Click to see histograms. Total time spent on operations: 12.0ms
ival-sub: 6.0ms (50.6% of total)
ival-mult: 3.0ms (25.3% of total)
ival-div: 2.0ms (16.9% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...