\frac{\log 5}{\log 8}\frac{\log 5}{\log 8}double code() {
return ((double) (((double) log(5.0)) / ((double) log(8.0))));
}
double code() {
return ((double) (((double) log(5.0)) / ((double) log(8.0))));
}
Results
Initial program 0
Final simplification0
herbie shell --seed 2020152
(FPCore ()
:name "(/ (log 5) (log 8))"
:precision binary64
(/ (log 5.0) (log 8.0)))