2log (problem 3.3.6)

Time bar (total: 1.5s)

start0.0ms (0%)

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

analyze0.0ms (0%)

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

Compiled 15 to 10 computations (33.3% saved)

sample1.2s (81%)

Memory
49.2MiB live, 1 096.0MiB allocated; 151ms collecting garbage
Samples
897.0ms7 350×1valid
46.0ms906×0valid
Precisions
Click to see histograms. Total time spent on operations: 725.0ms
ival-log1p: 252.0ms (34.8% of total)
ival-log: 223.0ms (30.8% of total)
adjust: 168.0ms (23.2% of total)
ival-sub: 79.0ms (10.9% of total)
ival-assert: 3.0ms (0.4% of total)
Bogosity

explain119.0ms (8.1%)

Memory
40.1MiB live, 132.0MiB allocated; 7ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
2491(43.44941417162585)2(11.603887092234773)(-.f64 (log.f64 (+.f64 N #s(literal 1 binary64))) (log.f64 N))
00-0-N
00-0-(log.f64 N)
00-0-(+.f64 N #s(literal 1 binary64))
00-0-(log.f64 (+.f64 N #s(literal 1 binary64)))
00-0-#s(literal 1 binary64)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (log.f64 (+.f64 N #s(literal 1 binary64))) (log.f64 N))cancellation2483
Confusion
Predicted +Predicted -
+2472
-16
Precision
0.9959677419354839
Recall
0.9919678714859438
Confusion?
Predicted +Predicted MaybePredicted -
+24711
-124
Precision?
0.9880478087649402
Recall?
0.9959839357429718
Freqs
test
numberfreq
08
1248
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
62.0ms454×1valid
3.0ms58×0valid
Compiler

Compiled 47 to 22 computations (53.2% saved)

Precisions
Click to see histograms. Total time spent on operations: 48.0ms
ival-log: 14.0ms (29.3% of total)
ival-log1p: 14.0ms (29.3% of total)
adjust: 12.0ms (25.1% of total)
ival-sub: 4.0ms (8.4% of total)
ival-add: 2.0ms (4.2% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)
exact: 0.0ms (0% of total)

preprocess157.0ms (10.8%)

Memory
51.8MiB live, 152.6MiB allocated; 32ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01426
11926
22226
33626
47926
532424
6278124
7625024
099
0129
1149
2179
3259
4519
51889
614299
743389
080109
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...