double code(double x, double y) {
return ((double) (((double) (x * y)) * ((double) (1.0 - y))));
}
double code(double x, double y) {
return ((double) (((double) (x * y)) * ((double) (1.0 - y))));
}



Bits error versus x



Bits error versus y
Results
Initial program 0.1
Final simplification0.1
herbie shell --seed 2020191
(FPCore (x y)
:name "Statistics.Distribution.Binomial:$cvariance from math-functions-0.1.5.2"
:precision binary64
(* (* x y) (- 1.0 y)))