Numeric.SpecFunctions:invIncompleteBetaWorker from math-functions-0.1.5.2, B

Time bar (total: 894.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze60.0ms (6.7%)

Memory
6.6MiB live, 23.5MiB 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 15 to 14 computations (6.7% saved)

sample48.0ms (5.4%)

Memory
-4.7MiB live, 11.0MiB allocated
Samples
25.0ms78×1valid
14.0ms182×0valid
Precisions
Click to see histograms. Total time spent on operations: 31.0ms
ival-log: 20.0ms (63.8% of total)
ival-mult: 4.0ms (12.8% of total)
ival-sub: 3.0ms (9.6% of total)
adjust: 3.0ms (9.6% of total)
ival-add: 1.0ms (3.2% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain618.0ms (69.1%)

Memory
9.8MiB live, 164.4MiB allocated
Confusion
Predicted +Predicted -
+330
-2221
Precision
0.9428571428571428
Recall
1.0
2:
4:
8:
16:
32:
64:
128:
256:
512:
1024:
2048:
Samples
286.0ms888×1valid
166.0ms2 184×0valid
Compiler

Compiled 492 to 456 computations (7.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 360.0ms
ival-log: 223.0ms (61.9% of total)
ival-mult: 48.0ms (13.3% of total)
ival-sub: 35.0ms (9.7% of total)
adjust: 35.0ms (9.7% of total)
ival-add: 15.0ms (4.2% of total)
ival-true: 2.0ms (0.6% of total)
exact: 2.0ms (0.6% of total)
ival-assert: 1.0ms (0.3% of total)

preprocess139.0ms (15.5%)

Memory
0.9MiB live, 8.3MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
064196
1148188
2371185
3987185
41995185
53007185
63660185
73863185
83906185
93916185
103922185
114005185
124061185
134085185
144085185
01213
01913
13013
24313
36613
410213
517113
631313
751813
868813
974413
1077013
077011
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
Outputs
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(fma.f64 (log1p.f64 (neg.f64 y)) z (fma.f64 (log.f64 y) x (neg.f64 t)))
Compiler

Compiled 13 to 12 computations (7.7% 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.5%
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
Compiler

Compiled 26 to 24 computations (7.7% saved)

simplify26.0ms (2.9%)

Memory
-6.6MiB live, 18.6MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01213
12213
22913
33313
43513
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
Outputs
(-.f64 (+.f64 (*.f64 x (log.f64 y)) (*.f64 z (log.f64 (-.f64 #s(literal 1 binary64) y)))) t)
(-.f64 (+.f64 (*.f64 (log.f64 (-.f64 #s(literal 1 binary64) y)) z) (*.f64 (log.f64 y) x)) t)

soundness0.0ms (0%)

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

Compiled 13 to 12 computations (7.7% saved)

preprocess3.0ms (0.3%)

Memory
2.2MiB live, 2.2MiB allocated
Compiler

Compiled 114 to 92 computations (19.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...