\frac{\sqrt{y} - \sin \left(\sqrt{y}\right)}{\sqrt{y} \cdot y}\frac{\sqrt{y} - \sin \left(\sqrt{y}\right)}{\sqrt{y} \cdot y}double code(double y) {
return ((double) (((double) (((double) sqrt(y)) - ((double) sin(((double) sqrt(y)))))) / ((double) (((double) sqrt(y)) * y))));
}
double code(double y) {
return ((double) (((double) (((double) sqrt(y)) - ((double) sin(((double) sqrt(y)))))) / ((double) (((double) sqrt(y)) * y))));
}



Bits error versus y
Results
Initial program 40.1
Final simplification40.1
herbie shell --seed 2020153
(FPCore (y)
:name "(/ (- (sqrt y) (sin (sqrt y))) (* (sqrt y) y))"
:precision binary64
(/ (- (sqrt y) (sin (sqrt y))) (* (sqrt y) y)))