Compound Interest

Time bar (total: 24.1s)

analyze162.0ms (0.7%)

Memory
-11.3MiB live, 54.7MiB 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.7%)

Memory
5.2MiB live, 4 326.2MiB allocated
Samples
4.0s5 571×1valid-baseline
3.3s5 571×1valid-sollya
1.7s5 571×1valid-rival
296.0ms1 523×0valid-sollya
170.0ms505×1valid-rival+baseline-inf
161.0ms146×2valid-baseline
131.0ms146×2valid-sollya
127.0ms1 523×0valid-baseline
122.0ms1 523×0valid-rival
79.0ms146×2valid-rival
52.0ms511×0valid-rival+baseline-inf
Bogosity

preprocess106.0ms (0.4%)

Memory
5.4MiB 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
28.9%
(*.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.3MiB live, 0.3MiB allocated
Stop Event
1×fuel
Compiler

Compiled 17 to 11 computations (35.3% saved)

preprocess30.0ms (0.1%)

Memory
0.0MiB live, 33.1MiB allocated
Compiler

Compiled 152 to 78 computations (48.7% saved)

end0.0ms (0%)

Memory
0.0MiB live, 0.0MiB allocated

Profiling

Loading profile data...