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



Bits error versus a



Bits error versus b



Bits error versus d
Results
Initial program 23.4
Final simplification23.4
herbie shell --seed 2020153
(FPCore (a b d)
:name "(sqrt (+ (- (exp (* a b)) (sin (* b d))) 1))"
:precision binary64
(sqrt (+ (- (exp (* a b)) (sin (* b d))) 1.0)))