Compound Interest

Time bar (total: 24.1s)

analyze143.0ms (0.6%)

Memory
2.4MiB live, 50.6MiB allocated
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 35 to 23 computations (34.3% saved)

sample23.8s (98.8%)

Memory
1.2MiB live, 4 224.7MiB allocated
Samples
3.7s5 624×1valid-baseline
3.3s5 624×1valid-sollya
1.5s5 624×1valid-rival
264.0ms1 453×0valid-sollya
144.0ms139×2valid-baseline
133.0ms525×1valid-rival+baseline-inf
133.0ms139×2valid-sollya
111.0ms1 453×0valid-baseline
105.0ms1 453×0valid-rival
72.0ms139×2valid-rival
44.0ms515×0valid-rival+baseline-inf
8.0ms19×1valid-sollya+baseline-real
Bogosity

preprocess109.0ms (0.5%)

Memory
-9.7MiB live, 21.0MiB allocated
Algorithm
1×egg-herbie
Rules
780×div-sub
373×fmm-def
353×associate-*r*
308×distribute-lft-neg-in
246×distribute-frac-neg2
Iterations

Useful iterations: 3 (0.0ms)

IterNodesCost
038446
1106430
2286394
31033386
44346386
57495386
Stop Event
1×node limit
Calls
Call 1
Inputs
(*.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)))
(*.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)))
(*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 (neg.f64 i) n)) n) #s(literal 1 binary64)) (/.f64 (neg.f64 i) n)))
(*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i (neg.f64 n))) (neg.f64 n)) #s(literal 1 binary64)) (/.f64 i (neg.f64 n))))
(neg.f64 (*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 (neg.f64 i) n)) n) #s(literal 1 binary64)) (/.f64 (neg.f64 i) n))))
(neg.f64 (*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i (neg.f64 n))) (neg.f64 n)) #s(literal 1 binary64)) (/.f64 i (neg.f64 n)))))
(*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 n i)) i) #s(literal 1 binary64)) (/.f64 n i)))
Outputs
(*.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)))
(*.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)))
(/.f64 (+.f64 (*.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal 100 binary64)) #s(literal -100 binary64)) (/.f64 i n))
(*.f64 n (/.f64 (fma.f64 #s(literal 100 binary64) (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal -100 binary64)) i))
(*.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)))
(*.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)))
(/.f64 (+.f64 (*.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal 100 binary64)) #s(literal -100 binary64)) (/.f64 i n))
(*.f64 n (/.f64 (fma.f64 #s(literal 100 binary64) (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal -100 binary64)) i))
(*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 (neg.f64 i) n)) n) #s(literal 1 binary64)) (/.f64 (neg.f64 i) n)))
(*.f64 #s(literal 100 binary64) (/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i (neg.f64 n))) n) #s(literal -1 binary64)) (/.f64 i (neg.f64 n))))
(*.f64 #s(literal 100 binary64) (/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal -1 binary64)) (/.f64 i (neg.f64 n))))
(*.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)))
(*.f64 n (/.f64 (fma.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal -100 binary64) #s(literal 100 binary64)) i))
(*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i (neg.f64 n))) (neg.f64 n)) #s(literal 1 binary64)) (/.f64 i (neg.f64 n))))
(*.f64 #s(literal 100 binary64) (/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i (neg.f64 n))) (neg.f64 n)) #s(literal -1 binary64)) (/.f64 i (neg.f64 n))))
(*.f64 #s(literal 100 binary64) (*.f64 (/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) (neg.f64 n)) #s(literal -1 binary64)) (neg.f64 i)) n))
(*.f64 #s(literal -100 binary64) (/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) (neg.f64 n)) #s(literal -1 binary64)) (/.f64 i n)))
(*.f64 n (/.f64 (fma.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) (neg.f64 n)) #s(literal -100 binary64) #s(literal 100 binary64)) i))
(neg.f64 (*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 (neg.f64 i) n)) n) #s(literal 1 binary64)) (/.f64 (neg.f64 i) n))))
(*.f64 #s(literal -100 binary64) (/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i (neg.f64 n))) n) #s(literal -1 binary64)) (/.f64 i (neg.f64 n))))
(*.f64 (/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal -1 binary64)) (/.f64 i (neg.f64 n))) #s(literal -100 binary64))
(/.f64 (fma.f64 #s(literal 100 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal -100 binary64)) (/.f64 i n))
(*.f64 (fma.f64 #s(literal 100 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) n) #s(literal -100 binary64)) (/.f64 n i))
(neg.f64 (*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i (neg.f64 n))) (neg.f64 n)) #s(literal 1 binary64)) (/.f64 i (neg.f64 n)))))
(*.f64 #s(literal -100 binary64) (/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 i (neg.f64 n))) (neg.f64 n)) #s(literal -1 binary64)) (/.f64 i (neg.f64 n))))
(*.f64 (*.f64 (/.f64 (+.f64 (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) (neg.f64 n)) #s(literal -1 binary64)) (neg.f64 i)) n) #s(literal -100 binary64))
(/.f64 (fma.f64 #s(literal 100 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) (neg.f64 n)) #s(literal -100 binary64)) (/.f64 i n))
(*.f64 n (/.f64 (fma.f64 #s(literal 100 binary64) (pow.f64 (-.f64 #s(literal 1 binary64) (/.f64 i n)) (neg.f64 n)) #s(literal -100 binary64)) i))
(*.f64 #s(literal 100 binary64) (/.f64 (-.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 n i)) i) #s(literal 1 binary64)) (/.f64 n i)))
(*.f64 #s(literal 100 binary64) (*.f64 (/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 n i)) i) #s(literal -1 binary64)) n) i))
(*.f64 (/.f64 (+.f64 (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 n i)) i) #s(literal -1 binary64)) n) (*.f64 i #s(literal 100 binary64)))
(*.f64 i (/.f64 (fma.f64 #s(literal 100 binary64) (pow.f64 (+.f64 #s(literal 1 binary64) (/.f64 n i)) i) #s(literal -100 binary64)) n))
Compiler

Compiled 17 to 10 computations (41.2% saved)

eval0.0ms (0%)

Memory
0.3MiB live, 0.3MiB allocated
Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Memory
0.9MiB live, 0.9MiB allocated
Alt Table
Click to see full alt table
StatusAccuracyProgram
26.1%
(*.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)))
Compiler

Compiled 34 to 20 computations (41.2% saved)

simplify2.0ms (0%)

Memory
0.6MiB live, 0.6MiB allocated
Algorithm
1×egg-herbie
Rules
3×1-exp
3×+-commutative
2×unsub-neg
2×sub-neg
2×*-commutative
Iterations

Useful iterations: 0 (0.0ms)

IterNodesCost
01558
12558
22958
33258
43558
53858
Stop Event
1×saturated
Calls
Call 1
Inputs
(*.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)))
Outputs
(*.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)))
(*.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)))

soundness0.0ms (0%)

Memory
0.4MiB live, 0.4MiB allocated
Stop Event
1×fuel
Compiler

Compiled 17 to 11 computations (35.3% saved)

preprocess29.0ms (0.1%)

Memory
-1.1MiB live, 32.0MiB allocated
Compiler

Compiled 152 to 78 computations (48.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...