\sqrt{{x}^{2} + {x}^{2}}\sqrt{{x}^{2} + {x}^{2}}(FPCore (x) :precision binary64 (sqrt (+ (pow x 2.0) (pow x 2.0))))
(FPCore (x) :precision binary64 (sqrt (+ (pow x 2.0) (pow x 2.0))))
double code(double x) {
return sqrt(pow(x, 2.0) + pow(x, 2.0));
}
double code(double x) {
return sqrt(pow(x, 2.0) + pow(x, 2.0));
}



Bits error versus x
Results
Initial program 29.7
herbie shell --seed 2021042
(FPCore (x)
:name "sqrt E"
:precision binary64
(sqrt (+ (pow x 2.0) (pow x 2.0))))