\frac{\sin \left(\pi \cdot x\right)}{\pi \cdot x}\frac{\sin \left(\pi \cdot x\right)}{\pi \cdot x}double code(double x) {
return ((double) (((double) sin(((double) (((double) M_PI) * x)))) / ((double) (((double) M_PI) * x))));
}
double code(double x) {
return ((double) (((double) sin(((double) (((double) M_PI) * x)))) / ((double) (((double) M_PI) * x))));
}



Bits error versus x
Results
Initial program 29.1
Final simplification29.1
herbie shell --seed 2020152
(FPCore (x)
:name "(/ (sin (* PI x)) (* PI x))"
:precision binary64
(/ (sin (* PI x)) (* PI x)))