Average Error: 0.3 → 0.3
Time: 1.8m
Precision: 64
\[\frac{a}{-\cos^{-1} a}\]
↓
\[\frac{a}{-\cos^{-1} a}\]
double f(double a) {
        double r14842109 = a;
        double r14842110 = acos(r14842109);
        double r14842111 = -r14842110;
        double r14842112 = r14842109 / r14842111;
        return r14842112;
}
↓
double f(double a) {
        double r14842113 = a;
        double r14842114 = acos(r14842113);
        double r14842115 = -r14842114;
        double r14842116 = r14842113 / r14842115;
        return r14842116;
}


\frac{a}{-\cos^{-1} a}
↓
\frac{a}{-\cos^{-1} a}

Error

Bits error versus a

Derivation

  1. Initial program 0.3

    \[\frac{a}{-\cos^{-1} a}\]

  2. Final simplification0.3

    \[\leadsto \frac{a}{-\cos^{-1} a}\]

Reproduce

herbie shell --seed 2019101 
(FPCore (a)
  :name "Fuzzer 001"
  (/ a (- (acos a))))