Trowbridge-Reitz Sample, near normal, slope_x

Time bar (total: 2.4s)

analyze349.0ms (14.5%)

Memory
-4.9MiB live, 1 145.9MiB allocated
Algorithm
1×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 35 to 25 computations (28.6% saved)

sample1.9s (80.9%)

Memory
-151.0MiB live, 4 937.4MiB allocated
Samples
1.6s8 256×0valid
2.0ms10×0invalid
Precisions
Click to see histograms. Total time spent on operations: 1.3s
const: 676.0ms (52.4% of total)
ival-mult: 111.0ms (8.6% of total)
ival-<=: 110.0ms (8.5% of total)
ival-cos: 105.0ms (8.1% of total)
ival-div: 94.0ms (7.3% of total)
ival-sqrt: 70.0ms (5.4% of total)
ival-sub: 53.0ms (4.1% of total)
ival-and: 36.0ms (2.8% of total)
ival->: 25.0ms (1.9% of total)
exact: 6.0ms (0.5% of total)
ival-assert: 4.0ms (0.3% of total)
Bogosity

preprocess36.0ms (1.5%)

Memory
1.7MiB live, 39.4MiB allocated
Algorithm
1×egg-herbie
Rules
138×sub-neg
100×associate-*l*
80×distribute-lft-in
78×*-commutative
74×distribute-lft-neg-in
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
036106
178104
2128104
3215102
4361102
5611102
6775102
7871102
8910102
9930102
10934102
01011
01611
12211
22611
33111
43811
54811
66311
78611
810811
911611
1011811
011811
Stop Event
1×iter limit
1×saturated
1×iter limit
1×saturated
Calls
Call 1
Inputs
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
Outputs
(*.f32 (sqrt.f32 (/.f32 u1 (-.f32 #s(literal 1 binary32) u1))) (cos.f32 (*.f32 #s(literal 314159265359/50000000000 binary32) u2)))
Symmetry

(abs u2)

(abs cosTheta_i)

explain74.0ms (3.1%)

Memory
2.2MiB live, 121.6MiB allocated
Samples
28.0ms257×0valid
Compiler

Compiled 115 to 37 computations (67.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 18.0ms
const: 5.0ms (27.8% of total)
ival-sqrt: 4.0ms (22.2% of total)
ival-mult: 3.0ms (16.7% of total)
ival-cos: 3.0ms (16.7% of total)
ival-div: 2.0ms (11.1% of total)
ival-sub: 1.0ms (5.6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...