Average Error: 0.3 → 0.3
Time: 3.3s
Precision: 64
\[\frac{a}{-\cos^{-1} a}\]
↓
\[\frac{a}{-\cos^{-1} a}\]
\frac{a}{-\cos^{-1} a}
↓
\frac{a}{-\cos^{-1} a}
double f(double a) {
        double r155076 = a;
        double r155077 = acos(r155076);
        double r155078 = -r155077;
        double r155079 = r155076 / r155078;
        return r155079;
}
↓
double f(double a) {
        double r155080 = a;
        double r155081 = acos(r155080);
        double r155082 = -r155081;
        double r155083 = r155080 / r155082;
        return r155083;
}

Error

Bits error versus a

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

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 2020035 +o rules:numerics
(FPCore (a)
  :name "Fuzzer 001"
  :precision binary64
  (/ a (- (acos a))))