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



Bits error versus pi



Bits error versus z



Bits error versus p
Results
Initial program 29.4
Final simplification29.4
herbie shell --seed 2020152
(FPCore (pi z p)
:name "(sin (+ (* (* 2 pi) z) p))"
:precision binary64
(sin (+ (* (* 2.0 pi) z) p)))