\frac{a}{2 \cdot \log \left({e}^{a}\right)}\frac{\frac{1}{2}}{\log e}double code(double a, double e) {
return ((double) (a / ((double) (2.0 * ((double) log(((double) pow(e, a))))))));
}
double code(double a, double e) {
return ((double) (((double) (1.0 / 2.0)) / ((double) log(e))));
}



Bits error versus a



Bits error versus e
Results
Initial program 61.3
Simplified0.3
Final simplification0.3
herbie shell --seed 2020152
(FPCore (a e)
:name "(/ a (* 2 (log (pow e a))))"
:precision binary64
(/ a (* 2.0 (log (pow e a)))))