Jmat.Real.gamma, branch z greater than 0.5

Time bar (total: 48.1s)

analyze31.0ms (0.1%)

Memory
-12.4MiB live, 8.7MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%25%75%0%0%0%0
100%25%0%75%0%0%0%1
Compiler

Compiled 192 to 113 computations (41.1% saved)

sample48.1s (99.9%)

Memory
53.5MiB live, 7 793.3MiB allocated
Samples
43.8s2 961×73valid-sollya-only-zero
74.0ms61×73valid-sollya
23.0ms61×73valid-baseline
20.0ms61×73valid-rival
14.0ms41×73valid-rival+baseline-inf
Precisions
Click to see Rival histograms. Total time spent on operations: 864.0ms
...in/eval/compile.rkt:111:19: 325.0ms (37.6% of total)
ival-add: 198.0ms (22.9% of total)
ival-div: 126.0ms (14.6% of total)
ival-pow: 63.0ms (7.3% of total)
ival-mult: 59.0ms (6.8% of total)
ival-sqrt: 22.0ms (2.5% of total)
ival-exp: 18.0ms (2.1% of total)
ival-sub: 14.0ms (1.6% of total)
ival-pi: 13.0ms (1.5% of total)
ival-neg: 12.0ms (1.4% of total)
...in/eval/compile.rkt:110:19: 9.0ms (1% of total)
ival-true: 3.0ms (0.3% of total)
ival-assert: 1.0ms (0.1% of total)
Precisions
Click to see Base histograms. Total time spent on operations: 939.0ms
...ms/src/baseline.rkt:166:19: 358.0ms (38.1% of total)
ival-add: 222.0ms (23.6% of total)
ival-div: 137.0ms (14.6% of total)
ival-mult: 61.0ms (6.5% of total)
ival-pow: 61.0ms (6.5% of total)
ival-sqrt: 21.0ms (2.2% of total)
ival-exp: 19.0ms (2% of total)
ival-sub: 17.0ms (1.8% of total)
const: 16.0ms (1.7% of total)
ival-neg: 13.0ms (1.4% of total)
ival-pi: 13.0ms (1.4% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...