Average Error: 31.7 → 31.7
Time: 13.7s
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 r4991055 = a;
        double r4991056 = asin(r4991055);
        double r4991057 = fmod(r4991055, r4991056);
        double r4991058 = atan(r4991057);
        double r4991059 = r4991055 * r4991055;
        double r4991060 = pow(r4991058, r4991059);
        return r4991060;
}
↓
double f(double a) {
        double r4991061 = a;
        double r4991062 = asin(r4991061);
        double r4991063 = fmod(r4991061, r4991062);
        double r4991064 = atan(r4991063);
        double r4991065 = r4991061 * r4991061;
        double r4991066 = pow(r4991064, r4991065);
        return r4991066;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.7

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

  2. Final simplification31.7

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

Reproduce

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