Compound Interest

Time bar (total: 4.0s)

start0.0ms (0%)

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

analyze168.0ms (4.2%)

Memory
4.5MiB live, 190.3MiB allocated; 18ms collecting garbage
Algorithm
1×search
Search
ProbabilityValidUnknownPreconditionInfiniteDomainCan'tIter
0%0%99.9%0.1%0%0%0%0
0%0%99.9%0.1%0%0%0%1
0%0%99.9%0.1%0%0%0%2
0%0%99.9%0.1%0%0%0%3
12.5%12.5%87.4%0.1%0%0%0%4
25%25%74.9%0.1%0%0%0%5
25%25%74.9%0.1%0%0%0%6
39.1%39%60.9%0.1%0%0%0%7
44.5%44.5%55.4%0.1%0%0%0%8
55.3%55%44.5%0.1%0%0.4%0%9
59.3%58.7%40.4%0.1%0%0.8%0%10
65.5%64.5%34%0.1%0%1.5%0%11
67.8%66.6%31.6%0.1%0%1.8%0%12
Compiler

Compiled 17 to 12 computations (29.4% saved)

sample3.4s (85.7%)

Memory
38.4MiB live, 1 872.7MiB allocated; 265ms collecting garbage
Samples
1.5s4 534×1valid
1.2s1 725×2valid
149.0ms1 936×0valid
124.0ms1 934×0invalid
68.0ms61×3valid
Precisions
Click to see histograms. Total time spent on operations: 2.6s
ival-pow: 1.7s (65.3% of total)
ival-div: 318.0ms (12.1% of total)
adjust: 279.0ms (10.6% of total)
ival-sub: 105.0ms (4% of total)
ival-mult: 103.0ms (3.9% of total)
ival-add: 90.0ms (3.4% of total)
exact: 12.0ms (0.5% of total)
ival-assert: 4.0ms (0.2% of total)
Bogosity

explain277.0ms (7%)

Memory
29.8MiB live, 77.4MiB allocated; 3ms collecting garbage
FPErrors
Click to see full error table
Ground TruthOverpredictionsExampleUnderpredictionsExampleSubexpression
1720-0-(-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal 1 binary64))
5879(2.863097767892618e-173 -5.441214946382644e+51)0-(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)
360-4(7.303336375780262e-183 1.8894938933627993e+139)(/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal 1 binary64)) (/.f64 i n))
20-2(1.0783483367234159e-129 1.5051699418158764e-222)(*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal 1 binary64)) (/.f64 i n)))
00-0-n
00-0-(+.f64 #s(literal 1 binary64) (/.f64 i n))
00-0-#s(literal 1 binary64)
00-0-i
00-0-(/.f64 i n)
00-0-#s(literal 100 binary64)
Explanations
Click to see full explanations table
OperatorSubexpressionExplanationCount
-.f64(-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal 1 binary64))cancellation1720
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)sensitivity1280
/.f64(/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal 1 binary64)) (/.f64 i n))n/u320
↳(/.f64 i n)underflow32
pow.f64(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)oflow-rescue90
↳(pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n)overflow39
↳(/.f64 i n)overflow9
↳(+.f64 #s(literal 1 binary64) (/.f64 i n))overflow9
Confusion
Predicted +Predicted -
+1900
-2838
Precision
0.8715596330275229
Recall
1.0
Confusion?
Predicted +Predicted MaybePredicted -
+19000
-28038
Precision?
0.8715596330275229
Recall?
1.0
Freqs
test
numberfreq
038
1127
259
332
Total Confusion?
Predicted +Predicted MaybePredicted -
+100
-000
Precision?
1.0
Recall?
1.0
Samples
92.0ms282×1valid
80.0ms138×2valid
8.0ms88×0valid
5.0ms4×3valid
Compiler

Compiled 131 to 34 computations (74% saved)

Precisions
Click to see histograms. Total time spent on operations: 155.0ms
ival-pow: 104.0ms (67.1% of total)
adjust: 18.0ms (11.6% of total)
ival-div: 16.0ms (10.3% of total)
ival-sub: 6.0ms (3.9% of total)
ival-mult: 6.0ms (3.9% of total)
ival-add: 5.0ms (3.2% of total)
exact: 1.0ms (0.6% of total)
ival-assert: 0.0ms (0% of total)
ival-true: 0.0ms (0% of total)

preprocess121.0ms (3%)

Memory
-40.4MiB live, 6.9MiB allocated; 3ms collecting garbage
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
035100
188100
221396
357396
4137292
5710092
01521
02121
12321
22621
33421
46021
519721
6144021
7435521
0802621
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...