a parameter of renormalized beta distribution

Time bar (total: 627.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze0.0ms (0.1%)

Memory
0.1MiB live, 0.1MiB 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 23 to 16 computations (30.4% saved)

sample23.0ms (3.6%)

Memory
0.9MiB live, 9.4MiB allocated
Samples
14.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 9.0ms
ival-mult: 3.0ms (32.4% of total)
ival-div: 2.0ms (21.6% of total)
ival-sub: 2.0ms (21.6% of total)
ival-<: 1.0ms (10.8% of total)
adjust: 0.0ms (0% of total)
ival-and: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
Bogosity

explain270.0ms (43%)

Memory
8.3MiB live, 107.7MiB allocated
Confusion
Predicted +Predicted -
+00
-103153
Precision
0.0
Recall
0/0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
151.0ms3 072×0valid
Compiler

Compiled 420 to 312 computations (25.7% saved)

Precisions
Click to see histograms. Total time spent on operations: 88.0ms
ival-mult: 35.0ms (39.7% of total)
ival-sub: 29.0ms (32.9% of total)
ival-div: 19.0ms (21.5% of total)
ival-true: 2.0ms (2.3% of total)
exact: 2.0ms (2.3% of total)
adjust: 1.0ms (1.1% of total)
ival-assert: 1.0ms (1.1% of total)

preprocess308.0ms (49.2%)

Memory
2.8MiB live, 10.3MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
02265
16561
219055
370655
4271355
5389355
6466155
7504055
8516455
9519155
10604555
11646255
12651455
13651455
14651455
15663455
16668255
17668255
0811
01311
12411
24411
37311
417711
546511
6100911
7190711
8221711
9240711
10243011
11243511
12243511
13245511
14246311
0246310
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
Outputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(*.f64 (fma.f64 (/.f64 m v) (-.f64 #s(literal 1 binary64) m) #s(literal -1 binary64)) m)
Compiler

Compiled 11 to 8 computations (27.3% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 2 computations (-∞% saved)

prune1.0ms (0.2%)

Memory
-13.1MiB live, 0.4MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
99.9%
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
Compiler

Compiled 22 to 16 computations (27.3% saved)

simplify24.0ms (3.8%)

Memory
2.2MiB live, 18.1MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
0811
11711
22411
33011
43811
54911
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
Outputs
(*.f64 (-.f64 (/.f64 (*.f64 m (-.f64 #s(literal 1 binary64) m)) v) #s(literal 1 binary64)) m)
(*.f64 (-.f64 (/.f64 (*.f64 (-.f64 #s(literal 1 binary64) m) m) v) #s(literal 1 binary64)) m)

soundness0.0ms (0%)

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

Compiled 11 to 8 computations (27.3% saved)

preprocess0.0ms (0.1%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 44 to 32 computations (27.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...