\frac{x \cdot \cos^{-1} x}{\sin \left(\cos^{-1} x\right)}\frac{x \cdot \cos^{-1} x}{\sin \left(\cos^{-1} x\right)}double code(double x) {
return ((double) (((double) (x * ((double) acos(x)))) / ((double) sin(((double) acos(x))))));
}
double code(double x) {
return ((double) (((double) (x * ((double) acos(x)))) / ((double) sin(((double) acos(x))))));
}



Bits error versus x
Results
Initial program 0.3
Final simplification0.3
herbie shell --seed 2020152
(FPCore (x)
:name "(/ (* x (acos x)) (sin (acos x)))"
:precision binary64
(/ (* x (acos x)) (sin (acos x))))