\sqrt{\left({\left(x - y\right)}^{2} + {\left(z - w\right)}^{2}\right) + {\left(q - p\right)}^{2}}\sqrt{\left({\left(x - y\right)}^{2} + {\left(z - w\right)}^{2}\right) + {\left(q - p\right)}^{2}}double code(double x, double y, double z, double w, double q, double p) {
return ((double) sqrt(((double) (((double) (((double) pow(((double) (x - y)), 2.0)) + ((double) pow(((double) (z - w)), 2.0)))) + ((double) pow(((double) (q - p)), 2.0))))));
}
double code(double x, double y, double z, double w, double q, double p) {
return ((double) sqrt(((double) (((double) (((double) pow(((double) (x - y)), 2.0)) + ((double) pow(((double) (z - w)), 2.0)))) + ((double) pow(((double) (q - p)), 2.0))))));
}



Bits error versus x



Bits error versus y



Bits error versus z



Bits error versus w



Bits error versus q



Bits error versus p
Results
Initial program 52.6
Final simplification52.6
herbie shell --seed 2020152
(FPCore (x y z w q p)
:name "(sqrt (+ (+ (pow (- x y) 2) (pow (- z w) 2)) (pow (- q p) 2)))"
:precision binary64
(sqrt (+ (+ (pow (- x y) 2.0) (pow (- z w) 2.0)) (pow (- q p) 2.0))))