Average Error: 31.6 → 31.6
Time: 5.3s
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 r119506 = a;
        double r119507 = asin(r119506);
        double r119508 = fmod(r119506, r119507);
        double r119509 = atan(r119508);
        double r119510 = r119506 * r119506;
        double r119511 = pow(r119509, r119510);
        return r119511;
}
↓
double f(double a) {
        double r119512 = a;
        double r119513 = asin(r119512);
        double r119514 = fmod(r119512, r119513);
        double r119515 = atan(r119514);
        double r119516 = r119512 * r119512;
        double r119517 = pow(r119515, r119516);
        return r119517;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.6

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

  2. Final simplification31.6

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

Reproduce

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