fma_test2

Time bar (total: 1.1s)

start0.0ms (0%)

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

analyze3.0ms (0.3%)

Memory
3.7MiB live, 3.7MiB allocated; 0ms collecting garbage
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
50%0%0%100%0%0%0%3
75%0%0%100%0%0%0%4
87.5%0%0%100%0%0%0%5
93.7%0%0%100%0%0%0%6
96.9%0%0%100%0%0%0%7
98.4%0%0%100%0%0%0%8
99.2%0%0%100%0%0%0%9
99.6%0%0%100%0%0%0%10
99.8%0%0%100%0%0%0%11
99.9%0%0%100%0%0%0%12
Compiler

Compiled 13 to 10 computations (23.1% saved)

sample1.0s (88.9%)

Memory
25.8MiB live, 673.0MiB allocated; 970ms collecting garbage
Samples
412.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 227.0ms
const: 130.0ms (57.3% of total)
ival-mult: 56.0ms (24.7% of total)
ival-sub: 36.0ms (15.9% of total)
ival-assert: 3.0ms (1.3% of total)
adjust: 2.0ms (0.9% of total)
ival-and: 0.0ms (0% of total)
ival-<=: 0.0ms (0% of total)
Bogosity

explain68.0ms (6%)

Memory
33.7MiB live, 80.2MiB allocated; 4ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2110-0-(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))
00-0-(*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t)
00-0-t
00-0-#s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (*.f64 #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64) t) #s(literal 170000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000 binary64))oflow-left2110
Confusion
Predicted +Predicted -
+2110
-045
Precision
1.0
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+21100
-0045
Precision?
1.0
Recall?
1.0
Freqs
test
numberfreq
045
1211
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
26.0ms512×0valid
Compiler

Compiled 29 to 16 computations (44.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 16.0ms
const: 7.0ms (44.3% of total)
ival-mult: 6.0ms (37.9% of total)
ival-sub: 2.0ms (12.6% of total)
ival-true: 0.0ms (0% of total)
adjust: 0.0ms (0% of total)
ival-assert: 0.0ms (0% of total)

preprocess55.0ms (4.8%)

Memory
-29.2MiB live, 16.7MiB allocated; 7ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01018
11416
21816
079
0109
0109
Stop Event
1×saturated
1×saturated
1×iter limit
1×saturated

end0.0ms (0%)

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

Profiling

Loading profile data...