{x}^{4} - {y}^{4}{x}^{4} - {y}^{4}double code(double x, double y) {
return (pow(x, 4.0) - pow(y, 4.0));
}
double code(double x, double y) {
return (pow(x, 4.0) - pow(y, 4.0));
}



Bits error versus x



Bits error versus y
Results
Initial program 0.0
Final simplification0.0
herbie shell --seed 2020057
(FPCore (x y)
:name "Radioactive exchange between two surfaces"
:precision binary64
(- (pow x 4) (pow y 4)))