simple fma test

Time bar (total: 1.9s)

start0.0ms (0%)

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

analyze0.0ms (0%)

Memory
0.5MiB live, 0.5MiB allocated; 0ms collecting garbage
Algorithm
search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
100%99.9%0%0.1%0%0%0%1
Compiler

Compiled 15 to 10 computations (33.3% saved)

sample1.6s (86.7%)

Memory
44.2MiB live, 1 295.5MiB allocated; 1.1s collecting garbage
Samples
1.2s6 152×1valid
101.0ms2 104×0valid
Precisions
Click to see histograms. Total time spent on operations: 866.0ms
adjust: 519.0ms (59.9% of total)
ival-add: 145.0ms (16.7% of total)
ival-mult: 132.0ms (15.2% of total)
ival-sub: 62.0ms (7.2% of total)
exact: 5.0ms (0.6% of total)
ival-assert: 3.0ms (0.3% of total)
Bogosity

explain131.0ms (7.1%)

Memory
28.1MiB live, 170.7MiB allocated; 15ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1865(-1.0596994877332717e+148 -7.130548651502584e-216 -275904.6508912087)0-(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))
00-0-(+.f64 (*.f64 x y) z)
00-0-(fma.f64 x y z)
00-0-#s(literal 1 binary64)
00-0-(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))
00-0-z
00-0-(*.f64 x y)
00-0-y
00-0-x
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))cancellation1650
-.f64(-.f64 (fma.f64 x y z) (+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z)))nan-rescue260
(fma.f64 x y z)overflow26
(+.f64 (*.f64 x y) z)overflow26
(+.f64 #s(literal 1 binary64) (+.f64 (*.f64 x y) z))overflow26
(*.f64 x y)overflow26
Confusion
Predicted +Predicted -
+1860
-565
Precision
0.9738219895287958
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+18600
-5065
Precision?
0.9738219895287958
Recall?
1.0
Freqs
test
numberfreq
065
1191
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
51.0ms378×1valid
9.0ms134×0valid
Compiler

Compiled 90 to 29 computations (67.8% saved)

Precisions
Click to see histograms. Total time spent on operations: 38.0ms
adjust: 17.0ms (44.8% of total)
ival-add: 8.0ms (21.1% of total)
ival-mult: 8.0ms (21.1% of total)
ival-sub: 4.0ms (10.5% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess115.0ms (6.2%)

Memory
-15.8MiB live, 74.8MiB allocated; 9ms collecting garbage
Iterations

Useful iterations: 2 (0.0ms)

IterNodesCost
041139
1106133
227510
387310
4488210
01414
02114
12314
22614
33414
46014
519714
6144014
7441614
0808714
Stop Event
saturated
node limit
iter limit
node limit

end0.0ms (0%)

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

Profiling

Loading profile data...