\sqrt{{x}^{2} + {x}^{4}}\sqrt{{x}^{2} + {x}^{4}}double code(double x) {
return ((double) sqrt(((double) (((double) pow(x, 2.0)) + ((double) pow(x, 4.0))))));
}
double code(double x) {
return ((double) sqrt(((double) (((double) pow(x, 2.0)) + ((double) pow(x, 4.0))))));
}



Bits error versus x
Results
Initial program 29.9
Final simplification29.9
herbie shell --seed 2020152
(FPCore (x)
:name "(sqrt (+ (pow x 2) (pow x 4)))"
:precision binary64
(sqrt (+ (pow x 2.0) (pow x 4.0))))