\sin \left(2 \cdot \pi\right)
\sin \left(2 \cdot \pi\right)
double code() {
return ((double) sin(((double) (2.0 * ((double) M_PI)))));
}
double code() {
return ((double) sin(((double) (2.0 * ((double) M_PI)))));
}
Results
Initial program 61.9
Final simplification61.9
herbie shell --seed 2020152
(FPCore ()
:name "(sin (* 2 PI))"
:precision binary64
(sin (* 2.0 PI)))