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

Time bar (total: 380.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze70.0ms (18.4%)

Memory
6.7MiB 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)

sample55.0ms (14.6%)

Memory
-4.6MiB live, 11.1MiB allocated
Samples
31.0ms80×1valid
14.0ms180×0valid
Precisions
Click to see histograms. Total time spent on operations: 37.0ms
ival-log: 23.0ms (62.2% of total)
ival-mult: 5.0ms (13.5% of total)
ival-sub: 3.0ms (8.1% of total)
adjust: 3.0ms (8.1% of total)
ival-add: 1.0ms (2.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain62.0ms (16.2%)

Memory
-1.1MiB live, 14.0MiB allocated
Confusion
Predicted +Predicted -
+440
-1211
Precision
0.9777777777777777
Recall
1.0
Samples
30.0ms78×1valid
15.0ms178×0valid
Compiler

Compiled 41 to 38 computations (7.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 36.0ms
ival-log: 23.0ms (64.1% of total)
adjust: 4.0ms (11.2% of total)
ival-mult: 4.0ms (11.2% of total)
ival-sub: 3.0ms (8.4% of total)
ival-add: 1.0ms (2.8% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess165.0ms (43.5%)

Memory
0.9MiB live, 8.4MiB 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.2%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
84.7%
(-.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)

simplify23.0ms (6.2%)

Memory
1.1MiB 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.1%)

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

Compiled 13 to 12 computations (7.7% saved)

preprocess3.0ms (0.8%)

Memory
2.1MiB live, 2.1MiB allocated
Compiler

Compiled 114 to 92 computations (19.3% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...