Jmat.Real.gamma, branch z less than 0.5

Time bar (total: 10.2s)

start0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated

analyze579.0ms (5.7%)

Memory
21.9MiB live, 886.9MiB allocated
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%74.9%25.1%0%0%0%0
0%0%74.9%25.1%0%0%0%1
0%0%74.9%25.1%0%0%0%2
25%18.7%56.2%25.1%0%0%0%3
50%37.5%37.5%25.1%0%0%0%4
56.3%42.1%32.8%25.1%0%0%0%5
62.5%46.8%28.1%25.1%0%0%0%6
64.1%48%26.9%25.1%0%0%0%7
65.6%49.2%25.8%25.1%0%0%0%8
66%49.5%25.5%25.1%0%0%0%9
66.4%49.8%25.2%25.1%0%0%0%10
66.5%49.8%25.1%25.1%0%0%0%11
66.6%49.9%25.1%25.1%0%0%0%12
Compiler

Compiled 127 to 61 computations (52% saved)

sample6.8s (66.7%)

Memory
103.3MiB live, 8 628.2MiB allocated
Samples
3.9s8 256×0valid
1.7s3 727×0invalid
40.0ms86×0exit
Precisions
Click to see histograms. Total time spent on operations: 5.1s
const: 1.5s (30.2% of total)
ival-add: 1.1s (21.6% of total)
ival-div: 689.0ms (13.5% of total)
ival-mult: 642.0ms (12.6% of total)
ival-pow: 296.0ms (5.8% of total)
ival-sinu: 250.0ms (4.9% of total)
ival-exp: 127.0ms (2.5% of total)
ival-sub: 122.0ms (2.4% of total)
ival-sqrt: 97.0ms (1.9% of total)
ival-neg: 73.0ms (1.4% of total)
exact: 56.0ms (1.1% of total)
ival-pi: 51.0ms (1% of total)
ival-<=: 44.0ms (0.9% of total)
ival-assert: 6.0ms (0.1% of total)
Bogosity

explain2.8s (27.6%)

Memory
11.1MiB live, 2 430.9MiB allocated
Samples
203.0ms221×1valid
160.0ms122×2valid
17.0ms38×0valid
Compiler

Compiled 2 683 to 184 computations (93.1% saved)

Precisions
Click to see histograms. Total time spent on operations: 305.0ms
ival-add: 66.0ms (21.6% of total)
const: 63.0ms (20.7% of total)
adjust: 55.0ms (18% of total)
ival-div: 40.0ms (13.1% of total)
ival-mult: 23.0ms (7.5% of total)
ival-pow: 17.0ms (5.6% of total)
ival-sub: 16.0ms (5.2% of total)
ival-exp: 10.0ms (3.3% of total)
ival-sinu: 5.0ms (1.6% of total)
ival-neg: 4.0ms (1.3% of total)
ival-sqrt: 3.0ms (1% of total)
ival-pi: 2.0ms (0.7% of total)
exact: 2.0ms (0.7% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...