100 \cdot \frac{{\left(1 + \frac{i}{n}\right)}^{n} - 1}{\frac{i}{n}}\begin{array}{l}
\mathbf{if}\;i \le -0.0077728093341000708:\\
\;\;\;\;100 \cdot \left(\frac{{\left(1 + \frac{i}{n}\right)}^{n}}{\frac{i}{n}} - \frac{1}{\frac{i}{n}}\right)\\
\mathbf{elif}\;i \le 2.51907991628111937 \cdot 10^{-6}:\\
\;\;\;\;100 \cdot \left(\frac{\mathsf{fma}\left(0.5 - 0.5 \cdot \log 1, {i}^{2}, \mathsf{fma}\left(i, 1, \log 1 \cdot n\right)\right)}{i} \cdot n\right)\\
\mathbf{elif}\;i \le 3.50959367729407485 \cdot 10^{238}:\\
\;\;\;\;\left(\left({\left(1 + \frac{i}{n}\right)}^{n} - 1\right) \cdot 100\right) \cdot \frac{n}{i}\\
\mathbf{elif}\;i \le 2.37383627367145743 \cdot 10^{285}:\\
\;\;\;\;100 \cdot \frac{\mathsf{fma}\left(1, i, \mathsf{fma}\left(\log 1, n, 1\right)\right) - 1}{\frac{i}{n}}\\
\mathbf{else}:\\
\;\;\;\;\frac{100}{\frac{\frac{i}{n}}{{\left(1 + \frac{i}{n}\right)}^{n} - 1}}\\
\end{array}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 VAR;
if ((i <= -0.007772809334100071)) {
VAR = (100.0 * ((pow((1.0 + (i / n)), n) / (i / n)) - (1.0 / (i / n))));
} else {
double VAR_1;
if ((i <= 2.5190799162811194e-06)) {
VAR_1 = (100.0 * ((fma((0.5 - (0.5 * log(1.0))), pow(i, 2.0), fma(i, 1.0, (log(1.0) * n))) / i) * n));
} else {
double VAR_2;
if ((i <= 3.509593677294075e+238)) {
VAR_2 = (((pow((1.0 + (i / n)), n) - 1.0) * 100.0) * (n / i));
} else {
double VAR_3;
if ((i <= 2.3738362736714574e+285)) {
VAR_3 = (100.0 * ((fma(1.0, i, fma(log(1.0), n, 1.0)) - 1.0) / (i / n)));
} else {
VAR_3 = (100.0 / ((i / n) / (pow((1.0 + (i / n)), n) - 1.0)));
}
VAR_2 = VAR_3;
}
VAR_1 = VAR_2;
}
VAR = VAR_1;
}
return VAR;
}




Bits error versus i




Bits error versus n
Results
| Original | 48.0 |
|---|---|
| Target | 47.1 |
| Herbie | 17.0 |
if i < -0.007772809334100071Initial program 28.6
rmApplied div-sub28.6
if -0.007772809334100071 < i < 2.5190799162811194e-06Initial program 58.0
Taylor expanded around 0 26.0
Simplified26.0
rmApplied associate-/r/9.2
Simplified9.2
if 2.5190799162811194e-06 < i < 3.509593677294075e+238Initial program 34.1
rmApplied clear-num34.1
Applied associate-/r/34.1
Applied associate-*r*34.1
Simplified34.1
if 3.509593677294075e+238 < i < 2.3738362736714574e+285Initial program 32.8
Taylor expanded around 0 31.6
Simplified31.6
if 2.3738362736714574e+285 < i Initial program 34.6
rmApplied clear-num34.6
Applied un-div-inv34.6
Final simplification17.0
herbie shell --seed 2020071 +o rules:numerics
(FPCore (i n)
:name "Compound Interest"
:precision binary64
:herbie-target
(* 100 (/ (- (exp (* n (if (== (+ 1 (/ i n)) 1) (/ i n) (/ (* (/ i n) (log (+ 1 (/ i n)))) (- (+ (/ i n) 1) 1))))) 1) (/ i n)))
(* 100 (/ (- (pow (+ 1 (/ i n)) n) 1) (/ i n))))