Average Error: 31.4 → 31.4
Time: 16.9s
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 r17302434 = a;
        double r17302435 = asin(r17302434);
        double r17302436 = fmod(r17302434, r17302435);
        double r17302437 = atan(r17302436);
        double r17302438 = r17302434 * r17302434;
        double r17302439 = pow(r17302437, r17302438);
        return r17302439;
}
↓
double f(double a) {
        double r17302440 = a;
        double r17302441 = asin(r17302440);
        double r17302442 = fmod(r17302440, r17302441);
        double r17302443 = atan(r17302442);
        double r17302444 = r17302440 * r17302440;
        double r17302445 = pow(r17302443, r17302444);
        return r17302445;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.4

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

  2. Final simplification31.4

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

Reproduce

herbie shell --seed 2019104 +o rules:numerics
(FPCore (a)
  :name "Fuzzer 002"
  (pow (atan (fmod a (asin a))) (* a a)))