\sin \left(2 \cdot pi\right)
\sin \left(2 \cdot pi\right)
double code(double pi) {
return ((double) sin(((double) (2.0 * pi))));
}
double code(double pi) {
return ((double) sin(((double) (2.0 * pi))));
}



Bits error versus pi
Results
Initial program 0.0
Final simplification0.0
herbie shell --seed 2020153
(FPCore (pi)
:name "(sin (* 2 pi))"
:precision binary64
(sin (* 2.0 pi)))