\frac{\sqrt{{x}^{4}}}{\log x}\frac{\sqrt{{x}^{4}}}{\log x}double code(double x) {
return ((double) (((double) sqrt(((double) pow(x, 4.0)))) / ((double) log(x))));
}
double code(double x) {
return ((double) (((double) sqrt(((double) pow(x, 4.0)))) / ((double) log(x))));
}



Bits error versus x
Results
Initial program 20.3
Final simplification20.3
herbie shell --seed 2020152
(FPCore (x)
:name "(/ (sqrt (pow x 4)) (log x))"
:precision binary64
(/ (sqrt (pow x 4.0)) (log x)))