100 \cdot \frac{{\left(1 + \frac{i}{n}\right)}^{n} - 1}{\frac{i}{n}}\begin{array}{l}
\mathbf{if}\;i \leq -21149.344081563468:\\
\;\;\;\;100 \cdot \left(\frac{n}{i} \cdot \left(-1 + {\left(\frac{i}{n}\right)}^{n}\right)\right)\\
\mathbf{elif}\;i \leq 0.16917926315367307:\\
\;\;\;\;n \cdot \left(100 + i \cdot \left(50 + i \cdot 16.666666666666668\right)\right)\\
\mathbf{elif}\;i \leq 3.704250745838463 \cdot 10^{+223}:\\
\;\;\;\;n \cdot \left(100 \cdot \frac{-1 + {\left(\frac{i}{n} + 1\right)}^{n}}{i}\right)\\
\mathbf{else}:\\
\;\;\;\;0\\
\end{array}(FPCore (i n) :precision binary64 (* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))))
(FPCore (i n)
:precision binary64
(if (<= i -21149.344081563468)
(* 100.0 (* (/ n i) (+ -1.0 (pow (/ i n) n))))
(if (<= i 0.16917926315367307)
(* n (+ 100.0 (* i (+ 50.0 (* i 16.666666666666668)))))
(if (<= i 3.704250745838463e+223)
(* n (* 100.0 (/ (+ -1.0 (pow (+ (/ i n) 1.0) n)) i)))
0.0))))double code(double i, double n) {
return 100.0 * ((pow((1.0 + (i / n)), n) - 1.0) / (i / n));
}
double code(double i, double n) {
double tmp;
if (i <= -21149.344081563468) {
tmp = 100.0 * ((n / i) * (-1.0 + pow((i / n), n)));
} else if (i <= 0.16917926315367307) {
tmp = n * (100.0 + (i * (50.0 + (i * 16.666666666666668))));
} else if (i <= 3.704250745838463e+223) {
tmp = n * (100.0 * ((-1.0 + pow(((i / n) + 1.0), n)) / i));
} else {
tmp = 0.0;
}
return tmp;
}




Bits error versus i




Bits error versus n
Results
| Original | 47.4 |
|---|---|
| Target | 47.8 |
| Herbie | 15.0 |
if i < -21149.344081563468Initial program 27.0
Taylor expanded around inf 64.0
Simplified18.8
if -21149.344081563468 < i < 0.169179263153673071Initial program 57.9
Taylor expanded around 0 26.2
Simplified26.2
Taylor expanded around 0 9.8
Simplified9.8
if 0.169179263153673071 < i < 3.70425074583846301e223Initial program 33.2
rmApplied associate-/r/_binary64_346533.2
Applied associate-*r*_binary64_345933.2
Simplified33.2
if 3.70425074583846301e223 < i Initial program 31.5
Taylor expanded around 0 30.7
Final simplification15.0
herbie shell --seed 2020280
(FPCore (i n)
:name "Compound Interest"
:precision binary64
:herbie-target
(* 100.0 (/ (- (exp (* n (if (== (+ 1.0 (/ i n)) 1.0) (/ i n) (/ (* (/ i n) (log (+ 1.0 (/ i n)))) (- (+ (/ i n) 1.0) 1.0))))) 1.0) (/ i n)))
(* 100.0 (/ (- (pow (+ 1.0 (/ i n)) n) 1.0) (/ i n))))