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



Bits error versus x



Bits error versus pi
Results
Initial program 28.5
Final simplification28.5
herbie shell --seed 2020153
(FPCore (x pi)
:name "(sin (/ (* x pi) 180))"
:precision binary64
(sin (/ (* x pi) 180.0)))