\sqrt{\left(\sin \left({x}^{2}\right) + \cos x\right) + {x}^{5}}\sqrt{\left(\sin \left({x}^{2}\right) + \cos x\right) + {x}^{5}}double code(double x) {
return ((double) sqrt(((double) (((double) (((double) sin(((double) pow(x, 2.0)))) + ((double) cos(x)))) + ((double) pow(x, 5.0))))));
}
double code(double x) {
return ((double) sqrt(((double) (((double) (((double) sin(((double) pow(x, 2.0)))) + ((double) cos(x)))) + ((double) pow(x, 5.0))))));
}



Bits error versus x
Results
Initial program 5.2
Final simplification5.2
herbie shell --seed 2020152
(FPCore (x)
:name "(sqrt (+ (+ (sin (pow x 2)) (cos x)) (pow x 5)))"
:precision binary64
(sqrt (+ (+ (sin (pow x 2.0)) (cos x)) (pow x 5.0))))