e^{\frac{\log a}{3}}e^{\frac{\log a}{3}}double code(double a) {
return ((double) exp(((double) (((double) log(a)) / 3.0))));
}
double code(double a) {
return ((double) exp(((double) (((double) log(a)) / 3.0))));
}



Bits error versus a
Results
Initial program 4.6
Final simplification4.6
herbie shell --seed 2020152
(FPCore (a)
:name "(exp (/ (log a) 3))"
:precision binary64
(exp (/ (log a) 3.0)))