Average Error: 30.7 → 30.7
Time: 20.5s
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 r170223 = a;
        double r170224 = asin(r170223);
        double r170225 = fmod(r170223, r170224);
        double r170226 = atan(r170225);
        double r170227 = r170223 * r170223;
        double r170228 = pow(r170226, r170227);
        return r170228;
}
↓
double f(double a) {
        double r170229 = a;
        double r170230 = asin(r170229);
        double r170231 = fmod(r170229, r170230);
        double r170232 = atan(r170231);
        double r170233 = r170229 * r170229;
        double r170234 = pow(r170232, r170233);
        return r170234;
}

Error

Bits error versus a

Derivation

  1. Initial program 30.7

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

  2. Final simplification30.7

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

Reproduce

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