Trowbridge-Reitz Sample, near normal, slope_x

Time bar (total: 1.3s)

start0.0ms (0.0%)

Memory
0.2MiB live, 0.1MiB allocated; 0ms collecting garbage

analyze189.0ms (14.9%)

Memory
12.3MiB live, 297.8MiB allocated; 47ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0.0%0.0%0.0%100.0%0.0%0.0%0.0%0
0.0%0.0%0.0%100.0%0.0%0.0%0.0%1
0.0%0.0%0.0%100.0%0.0%0.0%0.0%2
0.0%0.0%0.0%100.0%0.0%0.0%0.0%3
0.0%0.0%0.0%100.0%0.0%0.0%0.0%4
0.0%0.0%0.0%100.0%0.0%0.0%0.0%5
18.7%0.0%0.0%100.0%0.0%0.0%0.0%6
28.1%0.0%0.0%100.0%0.0%0.0%0.0%7
32.8%0.0%0.0%100.0%0.0%0.0%0.0%8
49.2%0.0%0.0%100.0%0.0%0.0%0.0%9
57.4%0.0%0.0%100.0%0.0%0.0%0.0%10
61.5%0.0%0.0%100.0%0.0%0.0%0.0%11
71.8%0.0%0.0%100.0%0.0%0.0%0.0%12
Compiler

Compiled 35 to 25 computations (28.6% saved)

sample1.0s (81.9%)

Memory
-26.6MiB live, 1 173.5MiB allocated; 275ms collecting garbage
Samples
791.0ms8 252×0valid
1.0ms4×1valid
1.0ms5×0invalid
Precisions
Click to see histograms. Total time spent on operations: 431.0ms
ival-cos: 130.0ms (30.2% of total, 153.0 MiB)
ival-div!: 97.0ms (22.5% of total, 66.0 MiB)
ival-mult!: 80.0ms (18.6% of total, 108.6 MiB)
ival-sqrt!: 46.0ms (10.7% of total, 59.4 MiB)
ival-sub!: 44.0ms (10.2% of total, 49.9 MiB)
adjust: 15.0ms (3.5% of total, 10.2 MiB)
ival-and: 9.0ms (2.1% of total, 14.5 MiB)
ival-<=: 5.0ms (1.2% of total, 6.9 MiB)
ival-assert: 2.0ms (0.5% of total, 3.3 MiB)
ival->: 2.0ms (0.5% of total, 2.0 MiB)
const: 0.0ms (0.0% of total, 0.5 MiB)
Bogosity

preprocess39.0ms (3.1%)

Memory
36.2MiB live, 36.2MiB allocated; 0ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
036115
1156115
2600113
32519113
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶99.2%
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
Symmetry

(abs cosTheta_i)

(abs u2)

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample1.0ms (0.1%)

Memory
1.0MiB live, 1.0MiB allocated; 0ms collecting garbage
Samples
0.0ms1×0valid
Compiler

Compiled 4 to 4 computations (0.0% saved)

Precisions
Click to see histograms. Total time spent on operations: 0.0ms
adjust: 0.0ms (0.0% of total, 0.0 MiB)

end0.0ms (0.0%)

Memory
0.0MiB live, 0.0MiB allocated; 0ms collecting garbage

Profiling

Loading profile data...