Average Error: 30.8 → 30.8
Time: 14.8s
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 r6004262 = a;
        double r6004263 = asin(r6004262);
        double r6004264 = fmod(r6004262, r6004263);
        double r6004265 = atan(r6004264);
        double r6004266 = r6004262 * r6004262;
        double r6004267 = pow(r6004265, r6004266);
        return r6004267;
}
↓
double f(double a) {
        double r6004268 = a;
        double r6004269 = asin(r6004268);
        double r6004270 = fmod(r6004268, r6004269);
        double r6004271 = atan(r6004270);
        double r6004272 = r6004268 * r6004268;
        double r6004273 = pow(r6004271, r6004272);
        return r6004273;
}

Error

Bits error versus a

Derivation

  1. Initial program 30.8

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

  2. Final simplification30.8

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

Reproduce

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