double code(double i, double n) {
return ((double) (100.0 * ((double) (((double) (((double) pow(((double) (1.0 + ((double) (i / n)))), n)) - 1.0)) / ((double) (i / n))))));
}
double code(double i, double n) {
double VAR;
if ((i <= -9.043975738872494e-10)) {
VAR = ((double) (100.0 * ((double) (n * ((double) (((double) (((double) pow(((double) (i / n)), n)) - 1.0)) / i))))));
} else {
double VAR_1;
if ((i <= 0.04307656589136779)) {
VAR_1 = ((double) (100.0 * ((double) (((double) (((double) (((double) cbrt(((double) (((double) (i * 1.0)) + ((double) (((double) (n * ((double) log(1.0)))) + ((double) (((double) (i * i)) * ((double) (0.5 - ((double) (((double) log(1.0)) * 0.5)))))))))))) / ((double) cbrt(i)))) * ((double) (((double) cbrt(((double) (((double) (i * 1.0)) + ((double) (((double) (n * ((double) log(1.0)))) + ((double) (((double) (i * i)) * ((double) (0.5 - ((double) (((double) log(1.0)) * 0.5)))))))))))) / ((double) cbrt(i)))))) * ((double) (n * ((double) (((double) cbrt(((double) (((double) (i * 1.0)) + ((double) (((double) (n * ((double) log(1.0)))) + ((double) (((double) (i * i)) * ((double) (0.5 - ((double) (((double) log(1.0)) * 0.5)))))))))))) / ((double) cbrt(i))))))))));
} else {
double VAR_2;
if ((i <= 6.213782009528768e+209)) {
VAR_2 = ((double) (100.0 * ((double) (((double) (((double) (((double) pow(((double) (((double) (i / n)) + 1.0)), ((double) (n * 2.0)))) - ((double) (1.0 * 1.0)))) / ((double) (1.0 + ((double) pow(((double) (((double) (i / n)) + 1.0)), n)))))) / ((double) (i / n))))));
} else {
VAR_2 = ((double) (100.0 * ((double) (((double) (((double) (1.0 + ((double) (((double) (i * 1.0)) + ((double) (n * ((double) log(1.0)))))))) - 1.0)) / ((double) (i / n))))));
}
VAR_1 = VAR_2;
}
VAR = VAR_1;
}
return VAR;
}




Bits error versus i




Bits error versus n
Results
| Original | 47.6 |
|---|---|
| Target | 47.5 |
| Herbie | 14.7 |
if i < -9.04397573887249397e-10Initial program 28.5
Taylor expanded around inf 64.0
Simplified19.7
if -9.04397573887249397e-10 < i < 0.0430765658913677893Initial program 58.2
Taylor expanded around 0 25.9
Simplified25.9
rmApplied *-un-lft-identity25.9
Applied add-cube-cbrt26.7
Applied times-frac26.7
Applied add-cube-cbrt26.1
Applied times-frac13.8
Simplified13.8
Simplified9.3
if 0.0430765658913677893 < i < 6.2137820095287683e209Initial program 30.1
rmApplied flip--30.1
Simplified30.0
Simplified30.0
if 6.2137820095287683e209 < i Initial program 32.6
Taylor expanded around 0 33.7
Simplified33.7
Final simplification14.7
herbie shell --seed 2020192
(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))))