\left(n - x\right) + n \cdot \log \left(\frac{x}{n}\right)\left(n - x\right) + n \cdot \log \left(\frac{x}{n}\right)double code(double n, double x) {
return ((double) (((double) (n - x)) + ((double) (n * ((double) log(((double) (x / n))))))));
}
double code(double n, double x) {
return ((double) (((double) (n - x)) + ((double) (n * ((double) log(((double) (x / n))))))));
}



Bits error versus n



Bits error versus x
Results
Initial program 15.9
Final simplification15.9
herbie shell --seed 2020153
(FPCore (n x)
:name "(+ (- n x) (* n (log (/ x n))))"
:precision binary64
(+ (- n x) (* n (log (/ x n)))))