Beckmann Distribution sample, tan2theta, alphax == alphay

Time bar (total: 1.4s)

start0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

analyze72.0ms (5.3%)

Memory
12.4MiB live, 94.5MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.2%99.8%0%0%0%0
0%0%0.2%99.8%0%0%0%1
0%0%0.2%99.8%0%0%0%2
0%0%0.2%99.8%0%0%0%3
0%0%0.2%99.8%0%0%0%4
37.5%0.1%0.1%99.8%0%0%0%5
43.7%0.1%0.1%99.8%0%0%0%6
65.6%0.1%0.1%99.8%0%0%0%7
70.3%0.1%0%99.8%0%0%0%8
82%0.1%0%99.8%0%0%0%9
84.8%0.1%0%99.8%0%0%0%10
90.8%0.1%0%99.8%0%0%0%11
92.3%0.2%0%99.8%0%0%0%12
Compiler

Compiled 25 to 18 computations (28% saved)

sample1.3s (94.7%)

Memory
59.1MiB live, 1 731.5MiB allocated
Samples
973.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 753.0ms
const: 249.0ms (33.1% of total)
ival-mult: 149.0ms (19.8% of total)
ival-log: 129.0ms (17.1% of total)
ival-<=: 102.0ms (13.6% of total)
ival-neg: 54.0ms (7.2% of total)
ival-sub: 38.0ms (5% of total)
ival-and: 23.0ms (3.1% of total)
exact: 5.0ms (0.7% of total)
ival-assert: 3.0ms (0.4% of total)
Bogosity

explain0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...