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

Time bar (total: 666.0ms)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze4.0ms (0.7%)

Memory
1.4MiB live, 1.4MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%100%0%0%0%0%0
0%0%100%0%0%0%0%1
50%50%50%0%0%0%0%2
50%50%50%0%0%0%0%3
75%75%25%0%0%0%0%4
87.5%87.5%12.5%0%0%0%0%5
93.8%93.7%6.2%0%0%0%0%6
96.9%96.8%3.1%0%0%0%0%7
98.4%98.4%1.6%0%0%0%0%8
99.2%99.2%0.8%0%0%0%0%9
99.6%99.6%0.4%0%0%0%0%10
99.8%99.8%0.2%0%0%0%0%11
99.9%99.9%0.1%0%0%0%0%12
Compiler

Compiled 19 to 16 computations (15.8% saved)

sample34.0ms (5.1%)

Memory
3.9MiB live, 12.4MiB allocated
Samples
26.0ms260×0valid
Precisions
Click to see histograms. Total time spent on operations: 22.0ms
const: 11.0ms (51.1% of total)
ival-add: 4.0ms (18.6% of total)
ival-mult: 4.0ms (18.6% of total)
ival-div: 1.0ms (4.6% of total)
ival-sub: 1.0ms (4.6% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
Bogosity

explain488.0ms (73.3%)

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

Compiled 636 to 528 computations (17% saved)

Precisions
Click to see histograms. Total time spent on operations: 263.0ms
const: 134.0ms (51% of total)
ival-mult: 57.0ms (21.7% of total)
ival-add: 37.0ms (14.1% of total)
ival-div: 16.0ms (6.1% of total)
ival-sub: 13.0ms (4.9% of total)
ival-true: 2.0ms (0.8% of total)
exact: 2.0ms (0.8% of total)
adjust: 1.0ms (0.4% of total)
ival-assert: 1.0ms (0.4% of total)

preprocess110.0ms (16.5%)

Memory
1.7MiB live, 9.2MiB allocated
Algorithm
1×egg-herbie
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01643
13737
210335
328534
471534
5127634
6175234
7239634
8245734
9248834
10248834
01417
02217
13217
24817
39217
419217
536917
661917
799217
8157817
9208217
10224017
11229617
12232917
13233217
14233217
0233214
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))
Outputs
(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))
(-.f64 x (/.f64 (fma.f64 #s(literal 27061/100000 binary64) x #s(literal 230753/100000 binary64)) (fma.f64 (fma.f64 #s(literal 4481/100000 binary64) x #s(literal 99229/100000 binary64)) x #s(literal 1 binary64))))
Compiler

Compiled 17 to 14 computations (17.6% saved)

eval0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated
Compiler

Compiled 0 to 1 computations (-∞% saved)

prune1.0ms (0.1%)

Memory
0.5MiB live, 0.5MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
100.0%
(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))
Compiler

Compiled 34 to 28 computations (17.6% saved)

simplify27.0ms (4%)

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

Useful iterations: 0 (0.0ms)

IterNodesCost
01417
12517
23317
34717
47517
59917
615217
722717
825017
926017
1026117
Stop Event
1×saturated
Calls
Call 1
Inputs
(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))
Outputs
(-.f64 x (/.f64 (+.f64 #s(literal 230753/100000 binary64) (*.f64 x #s(literal 27061/100000 binary64))) (+.f64 #s(literal 1 binary64) (*.f64 (+.f64 #s(literal 99229/100000 binary64) (*.f64 x #s(literal 4481/100000 binary64))) x))))
(-.f64 x (/.f64 (+.f64 (*.f64 #s(literal 27061/100000 binary64) x) #s(literal 230753/100000 binary64)) (+.f64 (*.f64 (+.f64 (*.f64 #s(literal 4481/100000 binary64) x) #s(literal 99229/100000 binary64)) x) #s(literal 1 binary64))))

soundness1.0ms (0.1%)

Memory
-7.6MiB live, 0.3MiB 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...