Beckmann Distribution sample, tan2theta, alphax == alphay

Time bar (total: 975.0ms)

start0.0ms (0%)

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

analyze56.0ms (5.8%)

Memory
3.3MiB live, 48.8MiB allocated; 5ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%0.2%99.8%0%0%0%0
0%0%0.2%99.8%0%0%0%1
0%0%0.2%99.8%0%0%0%2
0%0%0.2%99.8%0%0%0%3
0%0%0.2%99.8%0%0%0%4
37.5%0.1%0.1%99.8%0%0%0%5
43.7%0.1%0.1%99.8%0%0%0%6
65.6%0.1%0.1%99.8%0%0%0%7
70.3%0.1%0%99.8%0%0%0%8
82%0.1%0%99.8%0%0%0%9
84.8%0.1%0%99.8%0%0%0%10
90.8%0.1%0%99.8%0%0%0%11
92.3%0.2%0%99.8%0%0%0%12
Compiler

Compiled 25 to 18 computations (28% saved)

sample776.0ms (79.6%)

Memory
16.8MiB live, 759.3MiB allocated; 138ms collecting garbage
Samples
540.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 371.0ms
ival-log: 134.0ms (36.1% of total)
ival-mult: 128.0ms (34.5% of total)
ival-neg: 45.0ms (12.1% of total)
ival-sub: 42.0ms (11.3% of total)
exact: 8.0ms (2.2% of total)
const: 7.0ms (1.9% of total)
adjust: 3.0ms (0.8% of total)
ival-assert: 2.0ms (0.5% of total)
ival-and: 1.0ms (0.3% of total)
ival-<=: 1.0ms (0.3% of total)
Bogosity

explain87.0ms (8.9%)

Memory
10.5MiB live, 117.0MiB allocated; 6ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2146(0.008840801194310188 0.00980431493371725)1(0.00012161087215645239 0.023234454914927483)(log.f32 (-.f32 #s(literal 1 binary32) u0))
00-0-u0
00-0-#s(literal 1 binary32)
00-0-(neg.f32 alpha)
00-0-(*.f32 (neg.f32 alpha) alpha)
00-0-alpha
00-0-(-.f32 #s(literal 1 binary32) u0)
00-0-(*.f32 (*.f32 (neg.f32 alpha) alpha) (log.f32 (-.f32 #s(literal 1 binary32) u0)))
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
log.f32(log.f32 (-.f32 #s(literal 1 binary32) u0))sensitivity21911
Confusion
Predicted +Predicted -
+2131
-636
Precision
0.9726027397260274
Recall
0.9953271028037384
Confusion?
Predicted +Predicted MaybePredicted -
+21310
-61026
Precision?
0.9304347826086956
Recall?
1.0
Freqs
test
numberfreq
037
1219
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
34.0ms512×0valid
Compiler

Compiled 63 to 28 computations (55.6% saved)

Precisions
Click to see histograms. Total time spent on operations: 21.0ms
ival-log: 8.0ms (38.3% of total)
ival-mult: 7.0ms (33.5% of total)
ival-sub: 3.0ms (14.3% of total)
ival-neg: 3.0ms (14.3% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
exact: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess55.0ms (5.7%)

Memory
-8.6MiB live, 37.9MiB allocated; 3ms collecting garbage
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
02158
15654
212254
322052
441152
575752
6402052
Stop Event
1×node limit

end0.0ms (0%)

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

Profiling

Loading profile data...