\frac{a}{-\cos^{-1} a}\frac{a}{-\cos^{-1} a}double f(double a) {
double r95650 = a;
double r95651 = acos(r95650);
double r95652 = -r95651;
double r95653 = r95650 / r95652;
return r95653;
}
double f(double a) {
double r95654 = a;
double r95655 = acos(r95654);
double r95656 = -r95655;
double r95657 = r95654 / r95656;
return r95657;
}



Bits error versus a
Results
Initial program 0.2
Final simplification0.2
herbie shell --seed 2019306
(FPCore (a)
:name "Fuzzer 001"
:precision binary64
(/ a (- (acos a))))