Jmat.Real.gamma, branch z greater than 0.5

Time bar (total: 265.0ms)

analyze2.0ms (0.8%)

Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 98 to 86 computations (12.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
ival-pi: 0.0ms (0% of total)
ival-div: 0.0ms (0% of total)
ival-add: 0.0ms (0% of total)
ival-exp: 0.0ms (0% of total)
ival-mult: 0.0ms (0% of total)
ival-sub: 0.0ms (0% of total)
const: 0.0ms (0% of total)
ival-sqrt: 0.0ms (0% of total)
ival->: 0.0ms (0% of total)
ival-neg: 0.0ms (0% of total)
ival-pow: 0.0ms (0% of total)

sample263.0ms (99.2%)

Results
196.0ms483×0unsamplable
5.0ms13×0infinite
2.0ms0valid
Precisions
Click to see histograms. Total time spent on operations: 176.0ms
ival-add: 49.0ms (27.8% of total)
ival-sub: 29.0ms (16.5% of total)
ival-div: 28.0ms (15.9% of total)
ival-pow: 25.0ms (14.2% of total)
ival-mult: 17.0ms (9.7% of total)
const: 9.0ms (5.1% of total)
ival-sqrt: 6.0ms (3.4% of total)
ival->: 5.0ms (2.8% of total)
ival-pi: 3.0ms (1.7% of total)
ival-exp: 3.0ms (1.7% of total)
ival-neg: 2.0ms (1.1% of total)
backward-pass: 0.0ms (0% of total)

end0.0ms (0%)

Profiling

Loading profile data...