\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 5.6
Final simplification5.6
herbie shell --seed 2020152
(FPCore (x n)
:name "(/ 1 (pow (+ 1 x) n))"
:precision binary64
(/ 1.0 (pow (+ 1.0 x) n)))