Statistics.Distribution.Beta:$cdensity from math-functions-0.1.5.2

Time bar (total: 496.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze149.0ms (30%)

Memory
1.5MiB live, 26.4MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.8%0.2%0%0%0%0
0%0%99.8%0.2%0%0%0%1
0%0%99.8%0.2%0%0%0%2
0%0%49.9%0.2%0%49.9%0%3
0%0%49.9%0.2%0%49.9%0%4
0%0%49.9%0.2%0%49.9%0%5
0%0%49.9%0.2%0%49.9%0%6
0%0%25%0.2%0%74.9%0%7
0%0%25%0.2%0%74.9%0%8
0%0%25%0.2%0%74.9%0%9
0%0%25%0.2%0%74.9%0%10
50%12.5%12.5%0.2%0%74.9%0%11
50%12.5%12.5%0.2%0%74.9%0%12
Compiler

Compiled 19 to 16 computations (15.8% saved)

sample54.0ms (10.8%)

Memory
4.5MiB live, 12.5MiB allocated
Samples
27.0ms75×1valid
16.0ms185×0valid
Precisions
Click to see histograms. Total time spent on operations: 35.0ms
ival-log: 19.0ms (54.4% of total)
ival-sub: 6.0ms (17.2% of total)
adjust: 5.0ms (14.3% of total)
ival-mult: 4.0ms (11.5% of total)
ival-add: 1.0ms (2.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain68.0ms (13.7%)

Memory
-5.6MiB live, 17.3MiB allocated
Confusion
Predicted +Predicted -
+340
-1221
Precision
0.9714285714285714
Recall
1.0
Samples
29.0ms73×1valid
19.0ms183×0valid
Compiler

Compiled 53 to 44 computations (17% saved)

Precisions
Click to see histograms. Total time spent on operations: 38.0ms
ival-log: 20.0ms (52.2% of total)
ival-sub: 7.0ms (18.3% of total)
adjust: 5.0ms (13% of total)
ival-mult: 4.0ms (10.4% of total)
ival-add: 1.0ms (2.6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess203.0ms (40.9%)

Memory
0.3MiB live, 16.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
070252
1159248
2467241
31721240
44245240
57008240
01417
02317
13817
26417
314017
429717
581817
6235017
7351417
8388717
9393317
10393317
11431617
12441317
13441317
14441517
0441515
Stop Event
1×iter limit
1×saturated
1×iter limit
1×node limit
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
Outputs
(-.f64 (+.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(fma.f64 (log1p.f64 (neg.f64 y)) (-.f64 z #s(literal 1 binary64)) (fma.f64 (log.f64 y) (-.f64 x #s(literal 1 binary64)) (neg.f64 t)))
Compiler

Compiled 17 to 14 computations (17.6% saved)

eval0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated
Compiler

Compiled 0 to 4 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
88.2%
(-.f64 (+.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
Compiler

Compiled 34 to 28 computations (17.6% saved)

simplify21.0ms (4.1%)

Memory
2.4MiB live, 18.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01417
12717
23817
34717
46017
58017
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
Outputs
(-.f64 (+.f64 (*.f64 (-.f64 x #s(literal 1 binary64)) (log.f64 y)) (*.f64 (-.f64 z #s(literal 1 binary64)) (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (+.f64 (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) y)) (-.f64 z #s(literal 1 binary64))) (*.f64 (log.f64 y) (-.f64 x #s(literal 1 binary64)))) t)

soundness0.0ms (0.1%)

Memory
0.2MiB live, 0.2MiB allocated
Stop Event
1×fuel
Compiler

Compiled 17 to 14 computations (17.6% saved)

preprocess1.0ms (0.1%)

Memory
0.4MiB live, 0.4MiB allocated
Compiler

Compiled 68 to 56 computations (17.6% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...