Beckmann Sample, near normal, slope_x

Time bar (total: 2.4s)

start0.0ms (0%)

Memory
0.1MiB live, 0.1MiB allocated

analyze334.0ms (14.1%)

Memory
40.2MiB live, 625.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
18.7%0%0%100%0%0%0%6
28.1%0%0%100%0%0%0%7
32.8%0%0%100%0%0%0%8
49.2%0%0%100%0%0%0%9
57.4%0%0%100%0%0%0%10
61.5%0%0%100%0%0%0%11
71.8%0%0%100%0%0%0%12
Compiler

Compiled 37 to 28 computations (24.3% saved)

sample2.0s (85.9%)

Memory
-15.4MiB live, 2 500.7MiB allocated
Samples
1.6s8 256×0valid
1.0ms0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.3s
const: 271.0ms (20.6% of total)
ival-mult: 252.0ms (19.2% of total)
ival-log: 168.0ms (12.8% of total)
ival-pi: 144.0ms (11% of total)
ival-<=: 124.0ms (9.4% of total)
ival-cos: 98.0ms (7.5% of total)
ival-neg: 83.0ms (6.3% of total)
ival-sub: 55.0ms (4.2% of total)
ival-sqrt: 52.0ms (4% of total)
ival-and: 32.0ms (2.4% of total)
ival->: 23.0ms (1.8% of total)
exact: 9.0ms (0.7% of total)
ival-assert: 3.0ms (0.2% 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...