Average Error: 31.0 → 31.0
Time: 28.8s
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 r2461245 = a;
        double r2461246 = asin(r2461245);
        double r2461247 = fmod(r2461245, r2461246);
        double r2461248 = atan(r2461247);
        double r2461249 = r2461245 * r2461245;
        double r2461250 = pow(r2461248, r2461249);
        return r2461250;
}
↓
double f(double a) {
        double r2461251 = a;
        double r2461252 = asin(r2461251);
        double r2461253 = fmod(r2461251, r2461252);
        double r2461254 = atan(r2461253);
        double r2461255 = r2461251 * r2461251;
        double r2461256 = pow(r2461254, r2461255);
        return r2461256;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.0

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

  2. Final simplification31.0

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

Reproduce

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