\frac{1}{{\left(1 + x\right)}^{n}}\frac{1}{{\left(1 + x\right)}^{n}}double code(double x, double n) {
return ((double) (1.0 / ((double) pow(((double) (1.0 + x)), n))));
}
double code(double x, double n) {
return ((double) (1.0 / ((double) pow(((double) (1.0 + x)), n))));
}



Bits error versus x



Bits error versus n
Results
Initial program 6.2
Final simplification6.2
herbie shell --seed 2020153
(FPCore (x n)
:name "(/ 1 (pow (+ 1 x) n))"
:precision binary64
(/ 1.0 (pow (+ 1.0 x) n)))