Numeric.SpecFunctions.Extra:bd0 from math-functions-0.1.5.2

Time bar (total: 1.3s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze134.0ms (10.6%)

Memory
2.4MiB live, 121.8MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%74.9%0.1%0%25%0%3
0%0%74.9%0.1%0%25%0%4
0%0%74.9%0.1%0%25%0%5
30%18.7%43.7%0.1%0%37.4%0%6
30%18.7%43.7%0.1%0%37.4%0%7
35%21.8%40.6%0.1%0%37.4%0%8
52.8%29.6%26.5%0.1%0%43.7%0%9
52.8%29.6%26.5%0.1%0%43.7%0%10
59.7%33.5%22.6%0.1%0%43.7%0%11
72.8%38.6%14.4%0.1%0%46.8%0%12
Compiler

Compiled 10 to 9 computations (10% saved)

sample1.1s (88.5%)

Memory
18.2MiB live, 1 649.6MiB allocated
Samples
663.0ms8 256×0valid
140.0ms512×0invalid
Precisions
Click to see histograms. Total time spent on operations: 499.0ms
ival-mult: 201.0ms (40.3% of total)
ival-log: 160.0ms (32.1% of total)
ival-div: 79.0ms (15.8% of total)
ival-sub: 50.0ms (10% of total)
ival-true: 7.0ms (1.4% of total)
ival-assert: 4.0ms (0.8% of total)
Bogosity

explain11.0ms (0.9%)

Memory
-9.7MiB live, 27.5MiB allocated
Samples
0.0ms1×0valid
Compiler

Compiled 53 to 16 computations (69.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-div: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
ival-log: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...