\log \left(e^{a} \cdot an + e^{c} \cdot cn\right) - \log \left(an + bn\right)\log \left(e^{a} \cdot an + e^{c} \cdot cn\right) - \log \left(an + bn\right)double code(double a, double an, double c, double cn, double bn) {
return ((double) (((double) log(((double) (((double) (((double) exp(a)) * an)) + ((double) (((double) exp(c)) * cn)))))) - ((double) log(((double) (an + bn))))));
}
double code(double a, double an, double c, double cn, double bn) {
return ((double) (((double) log(((double) (((double) (((double) exp(a)) * an)) + ((double) (((double) exp(c)) * cn)))))) - ((double) log(((double) (an + bn))))));
}



Bits error versus a



Bits error versus an



Bits error versus c



Bits error versus cn



Bits error versus bn
Results
Initial program 26.7
Final simplification26.7
herbie shell --seed 2020153
(FPCore (a an c cn bn)
:name "(- (log (+ (* (exp a) an) (* (exp c) cn))) (log (+ an bn)))"
:precision binary64
(- (log (+ (* (exp a) an) (* (exp c) cn))) (log (+ an bn))))