\log \left(e^{x} + e^{b}\right)\log \left(e^{x} + e^{b}\right)double code(double x, double b) {
return ((double) log(((double) (((double) exp(x)) + ((double) exp(b))))));
}
double code(double x, double b) {
return ((double) log(((double) (((double) exp(x)) + ((double) exp(b))))));
}



Bits error versus x



Bits error versus b
Results
Initial program 29.6
Final simplification29.6
herbie shell --seed 2020153
(FPCore (x b)
:name "(log (+ (exp x) (exp b)))"
:precision binary64
(log (+ (exp x) (exp b))))