Average Error: 31.5 → 31.5
Time: 19.2s
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 r92793 = a;
        double r92794 = asin(r92793);
        double r92795 = fmod(r92793, r92794);
        double r92796 = atan(r92795);
        double r92797 = r92793 * r92793;
        double r92798 = pow(r92796, r92797);
        return r92798;
}
↓
double f(double a) {
        double r92799 = a;
        double r92800 = asin(r92799);
        double r92801 = fmod(r92799, r92800);
        double r92802 = atan(r92801);
        double r92803 = r92799 * r92799;
        double r92804 = pow(r92802, r92803);
        return r92804;
}

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 +o rules:numerics
(FPCore (a)
  :name "Fuzzer 002"
  (pow (atan (fmod a (asin a))) (* a a)))