Average Error: 31.5 → 31.5
Time: 18.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 r82281 = a;
        double r82282 = asin(r82281);
        double r82283 = fmod(r82281, r82282);
        double r82284 = atan(r82283);
        double r82285 = r82281 * r82281;
        double r82286 = pow(r82284, r82285);
        return r82286;
}
↓
double f(double a) {
        double r82287 = a;
        double r82288 = asin(r82287);
        double r82289 = fmod(r82287, r82288);
        double r82290 = atan(r82289);
        double r82291 = r82287 * r82287;
        double r82292 = pow(r82290, r82291);
        return r82292;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.5

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

  2. Final simplification31.5

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

Reproduce

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