\frac{20 \cdot \log \left(\left|x\right|\right)}{\log 10}\frac{20 \cdot \log \left(\left|x\right|\right)}{\log 10}double code(double x) {
return ((double) (((double) (20.0 * ((double) log(((double) fabs(x)))))) / ((double) log(10.0))));
}
double code(double x) {
return ((double) (((double) (20.0 * ((double) log(((double) fabs(x)))))) / ((double) log(10.0))));
}



Bits error versus x
Results
Initial program 0.6
Final simplification0.6
herbie shell --seed 2020153
(FPCore (x)
:name "(/ (* 20 (log (fabs x))) (log 10))"
:precision binary64
(/ (* 20.0 (log (fabs x))) (log 10.0)))