\frac{e \cdot \left(e^{\left(a + b\right) \cdot e} - 1\right)}{\left(e^{a \cdot e} - 1\right) \cdot \left(e^{b \cdot e} - 1\right)}\frac{e \cdot \left(e^{\left(a + b\right) \cdot e} - 1\right)}{\left(e^{a \cdot e} - 1\right) \cdot \left(e^{b \cdot e} - 1\right)}double code(double e, double a, double b) {
return ((double) (((double) (e * ((double) (((double) exp(((double) (((double) (a + b)) * e)))) - 1.0)))) / ((double) (((double) (((double) exp(((double) (a * e)))) - 1.0)) * ((double) (((double) exp(((double) (b * e)))) - 1.0))))));
}
double code(double e, double a, double b) {
return ((double) (((double) (e * ((double) (((double) exp(((double) (((double) (a + b)) * e)))) - 1.0)))) / ((double) (((double) (((double) exp(((double) (a * e)))) - 1.0)) * ((double) (((double) exp(((double) (b * e)))) - 1.0))))));
}



Bits error versus e



Bits error versus a



Bits error versus b
Results
Initial program 47.6
Final simplification47.6
herbie shell --seed 2020153
(FPCore (e a b)
:name "(/ (* e (- (exp (* (+ a b) e)) 1)) (* (- (exp (* a e)) 1) (- (exp (* b e)) 1)))"
:precision binary64
(/ (* e (- (exp (* (+ a b) e)) 1.0)) (* (- (exp (* a e)) 1.0) (- (exp (* b e)) 1.0))))