Trowbridge-Reitz Sample, near normal, slope_y

Time bar (total: 1.1s)

start0.0ms (0.0%)

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

analyze182.0ms (16.3%)

Memory
8.9MiB live, 290.8MiB allocated; 28ms 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)

sample893.0ms (80.2%)

Memory
11.7MiB live, 1 426.2MiB allocated; 218ms collecting garbage
Samples
683.0ms8 254×0valid
0.0ms5×0invalid
0.0ms2×1valid
Precisions
Click to see histograms. Total time spent on operations: 355.0ms
ival-sin: 107.0ms (30.2% of total, 186.6 MiB)
ival-mult!: 70.0ms (19.7% of total, 130.7 MiB)
ival-sqrt!: 64.0ms (18.0% of total, 73.5 MiB)
ival-div!: 52.0ms (14.7% of total, 81.5 MiB)
ival-sub!: 37.0ms (10.4% of total, 55.9 MiB)
adjust: 11.0ms (3.1% of total, 11.3 MiB)
ival-and: 7.0ms (2.0% of total, 16.5 MiB)
ival-<=: 4.0ms (1.1% of total, 8.7 MiB)
ival-assert: 2.0ms (0.6% of total, 3.5 MiB)
ival->: 2.0ms (0.6% of total, 2.5 MiB)
const: 0.0ms (0.0% of total, 0.0 MiB)
Bogosity

preprocess37.0ms (3.4%)

Memory
-7.9MiB live, 37.7MiB allocated; 5ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
036115
1130112
2443110
31633110
Stop Event
1×node-limit
Alt Table
Click to see full alt table
StatusAccuracyProgram
▶98.2%
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (sin.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
Symmetry

(abs cosTheta_i)

(negabs u2)

Compiler

Compiled 22 to 20 computations (9.1% saved)

sample1.0ms (0.1%)

Memory
2.1MiB live, 2.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...