ENA, Section 1.4, Mentioned, A

Time bar (total: 2.4s)

start0.0ms (0%)

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

analyze3.0ms (0.1%)

Memory
4.9MiB live, 4.9MiB allocated; 0ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%49.6%50.4%0%0%0%0
0%0%49.6%50.4%0%0%0%1
0%0%49.6%50.4%0%0%0%2
50%24.8%24.8%50.4%0%0%0%3
75%37.2%12.4%50.4%0%0%0%4
87.5%43.4%6.2%50.4%0%0%0%5
93.8%46.5%3.1%50.4%0%0%0%6
96.9%48.1%1.6%50.4%0%0%0%7
98.4%48.8%0.8%50.4%0%0%0%8
99.2%49.2%0.4%50.4%0%0%0%9
99.6%49.4%0.2%50.4%0%0%0%10
99.8%49.5%0.1%50.4%0%0%0%11
99.9%49.6%0%50.4%0%0%0%12
Compiler

Compiled 12 to 10 computations (16.7% saved)

sample2.1s (88.3%)

Memory
-42.3MiB live, 2 090.8MiB allocated; 316ms collecting garbage
Samples
1.5s5 828×2valid
224.0ms2 405×1valid
1.0ms23×0valid
Precisions
Click to see histograms. Total time spent on operations: 1.4s
ival-cos: 953.0ms (68.5% of total)
adjust: 303.0ms (21.8% of total)
ival-sub: 126.0ms (9.1% of total)
exact: 7.0ms (0.5% of total)
ival-assert: 3.0ms (0.2% of total)
ival-and: 0.0ms (0% of total)
const: 0.0ms (0% of total)
ival-<=: 0.0ms (0% of total)
Bogosity

explain151.0ms (6.3%)

Memory
25.9MiB live, 124.9MiB allocated; 10ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1410-0-(-.f64 #s(literal 1 binary64) (cos.f64 x))
00-0-#s(literal 1 binary64)
00-0-(cos.f64 x)
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 #s(literal 1 binary64) (cos.f64 x))cancellation1410
Confusion
Predicted +Predicted -
+1410
-0115
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+14100
-00115
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
0115
1141
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
95.0ms346×2valid
17.0ms162×1valid
0.0ms4×0valid
Compiler

Compiled 24 to 16 computations (33.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 91.0ms
ival-cos: 60.0ms (66.2% of total)
adjust: 20.0ms (22.1% of total)
ival-sub: 9.0ms (9.9% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess128.0ms (5.3%)

Memory
-14.8MiB live, 76.5MiB allocated; 8ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01013
12213
23213
34213
48612
537012
6298112
076
0106
1126
2156
3236
4496
51866
614276
743966
080686
Stop Event
1×saturated
1×node limit
1×iter limit
1×node limit

end0.0ms (0%)

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

Profiling

Loading profile data...