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



Bits error versus a



Bits error versus b



Bits error versus d



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