\frac{{\left(\sin x\right)}^{2}}{{x}^{2}}\frac{{\left(\sin x\right)}^{2}}{{x}^{2}}double code(double x) {
return ((double) (((double) pow(((double) sin(x)), 2.0)) / ((double) pow(x, 2.0))));
}
double code(double x) {
return ((double) (((double) pow(((double) sin(x)), 2.0)) / ((double) pow(x, 2.0))));
}



Bits error versus x
Results
Initial program 15.7
Final simplification15.7
herbie shell --seed 2020153
(FPCore (x)
:name "(/ (pow (sin x) 2) (pow x 2))"
:precision binary64
(/ (pow (sin x) 2.0) (pow x 2.0)))