Average Error: 31.3 → 31.3
Time: 6.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 r124502 = a;
        double r124503 = asin(r124502);
        double r124504 = fmod(r124502, r124503);
        double r124505 = atan(r124504);
        double r124506 = r124502 * r124502;
        double r124507 = pow(r124505, r124506);
        return r124507;
}
↓
double f(double a) {
        double r124508 = a;
        double r124509 = asin(r124508);
        double r124510 = fmod(r124508, r124509);
        double r124511 = atan(r124510);
        double r124512 = r124508 * r124508;
        double r124513 = pow(r124511, r124512);
        return r124513;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.3

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

  2. Final simplification31.3

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

Reproduce

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