Trowbridge-Reitz Sample, sample surface normal, cosTheta

Time bar (total: 5.3s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze1.4s (26.1%)

Memory
34.1MiB live, 1 567.1MiB allocated
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0%100%0%0%0%0
0%0%0%100%0%0%0%1
0%0%0%100%0%0%0%2
0%0%0%100%0%0%0%3
0%0%0%100%0%0%0%4
0%0%0%100%0%0%0%5
0%0%0%100%0%0%0%6
6.2%0%0%100%0%0%0%7
9.4%0%0%100%0%0%0%8
14.1%0%0%100%0%0%0%9
21.1%0%0%100%0%0%0%10
31.6%0%0%100%0%0%0%11
36.9%0%0%100%0%0%0%12
Compiler

Compiled 120 to 50 computations (58.3% saved)

sample3.9s (73.9%)

Memory
-8.4MiB live, 4 855.9MiB allocated
Samples
3.2s8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 2.9s
ival-div: 615.0ms (21.4% of total)
ival-mult: 496.0ms (17.3% of total)
ival-tan: 307.0ms (10.7% of total)
ival-sin: 293.0ms (10.2% of total)
ival-cos: 292.0ms (10.2% of total)
const: 263.0ms (9.1% of total)
ival-<=: 202.0ms (7% of total)
ival-add: 119.0ms (4.1% of total)
ival-atan: 104.0ms (3.6% of total)
ival-sqrt: 61.0ms (2.1% of total)
ival-and: 41.0ms (1.4% of total)
ival-sub: 35.0ms (1.2% of total)
ival-pi: 32.0ms (1.1% of total)
exact: 13.0ms (0.5% of total)
ival-assert: 3.0ms (0.1% of total)
Bogosity

explain0.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...