Expression, p6

Time bar (total: 1.0s)

start0.0ms (0%)

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

analyze0.0ms (0%)

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

Compiled 41 to 33 computations (19.5% saved)

sample765.0ms (74.5%)

Memory
42.5MiB live, 922.6MiB allocated; 145ms collecting garbage
Samples
437.0ms8 256×0valid
Precisions
Click to see histograms. Total time spent on operations: 202.0ms
ival-add: 137.0ms (67.8% of total)
ival-mult: 55.0ms (27.2% of total)
exact: 5.0ms (2.5% of total)
ival-assert: 3.0ms (1.5% of total)
adjust: 2.0ms (1% of total)
Bogosity

explain94.0ms (9.2%)

Memory
-8.9MiB live, 132.7MiB allocated; 27ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
7017(-13.170993919472737 -2.9942494030673896 3.346399862875313 12.74592986101736)29(-13.715454336535302 -2.7527471219527855 3.0266511553832145 13.21438569631334)(+.f64 a (+.f64 b (+.f64 c d)))
00-0-a
00-0-d
00-0-(+.f64 c d)
00-0-(*.f64 (+.f64 a (+.f64 b (+.f64 c d))) #s(literal 2 binary64))
00-0-(+.f64 b (+.f64 c d))
00-0-c
00-0-#s(literal 2 binary64)
00-0-b
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
+.f64(+.f64 a (+.f64 b (+.f64 c d)))cancellation5879
Confusion
Predicted +Predicted -
+4858
-10140
Precision
0.8275862068965517
Recall
0.4528301886792453
Confusion?
Predicted +Predicted MaybePredicted -
+484315
-1036104
Precision?
0.6642335766423357
Recall?
0.8584905660377359
Freqs
test
numberfreq
0198
158
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
36.0ms512×0valid
Compiler

Compiled 71 to 31 computations (56.3% saved)

Precisions
Click to see histograms. Total time spent on operations: 11.0ms
ival-add: 7.0ms (63.4% of total)
ival-mult: 3.0ms (27.2% 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)

preprocess167.0ms (16.3%)

Memory
5.0MiB live, 94.6MiB allocated; 21ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
058143
1143143
2442143
32149135
46017135
57735135
01511
02411
12611
22911
33411
45411
513111
658411
7469811
0843111
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...