Compound Interest

Time bar (total: 44.9s)

analyze649.0ms (1.4%)

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%0.4%9
59.3%58.7%40.4%0.1%0%0%0.8%10
65.5%64.5%34%0.1%0%0%1.5%11
67.8%66.6%31.6%0.1%0%0%1.8%12
Compiler

Compiled 18 to 11 computations (38.9% saved)

sample43.8s (97.7%)

Results
4.5s6124×1valid-rival
3.9s5533×1valid-sollya
3.4s2528×0invalid-sollya
284.0ms2102×0invalid-rival
399.0ms1992×0valid-rival
318.0ms1437×0valid-sollya
1.9s387×1exit-sollya
697.0ms204×1invalid-sollya
159.0ms140×2valid-rival
125.0ms139×2valid-sollya
645.0ms129×0exit-sollya
5.0ms1×2exit-sollya
Bogosity

preprocess115.0ms (0.3%)

Algorithm
1×egg-herbie
Rules
788×div-sub
373×fma-neg
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%)

Compiler

Compiled 2 to 2 computations (0% saved)

prune1.0ms (0%)

Alt Table
Click to see full alt table
StatusAccuracyProgram
25.5%
(*.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)

simplify3.0ms (0%)

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%)

Stop Event
1×fuel
Compiler

Compiled 17 to 11 computations (35.3% saved)

preprocess268.0ms (0.6%)

Compiler

Compiled 152 to 78 computations (48.7% saved)

end0.0ms (0%)

Profiling

Loading profile data...