\left(x \cdot y\right) \cdot y
\left(x \cdot y\right) \cdot y
(FPCore (x y) :precision binary64 (* (* x y) y))
(FPCore (x y) :precision binary64 (* (* x y) y))
double code(double x, double y) {
return (x * y) * y;
}
double code(double x, double y) {
return (x * y) * y;
}



Bits error versus x



Bits error versus y
Results
Initial program 0.2
herbie shell --seed 2021027
(FPCore (x y)
:name "Data.HyperLogLog.Config:hll from hyperloglog-0.3.4"
:precision binary64
(* (* x y) y))