Average Error: 30.9 → 30.9
Time: 15.4s
Precision: 64
\[{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]
↓
\[{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]
{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}
↓
{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}
double f(double a) {
        double r72356 = a;
        double r72357 = asin(r72356);
        double r72358 = fmod(r72356, r72357);
        double r72359 = atan(r72358);
        double r72360 = r72356 * r72356;
        double r72361 = pow(r72359, r72360);
        return r72361;
}
↓
double f(double a) {
        double r72362 = a;
        double r72363 = asin(r72362);
        double r72364 = fmod(r72362, r72363);
        double r72365 = atan(r72364);
        double r72366 = r72362 * r72362;
        double r72367 = pow(r72365, r72366);
        return r72367;
}

Error

Bits error versus a

Derivation

  1. Initial program 30.9

    \[{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]

  2. Final simplification30.9

    \[\leadsto {\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]

Reproduce

herbie shell --seed 2019294 
(FPCore (a)
  :name "Fuzzer 002"
  :precision binary64
  (pow (atan (fmod a (asin a))) (* a a)))