Average Error: 31.5 → 31.5
Time: 5.6s
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 r133273 = a;
        double r133274 = asin(r133273);
        double r133275 = fmod(r133273, r133274);
        double r133276 = atan(r133275);
        double r133277 = r133273 * r133273;
        double r133278 = pow(r133276, r133277);
        return r133278;
}
↓
double f(double a) {
        double r133279 = a;
        double r133280 = asin(r133279);
        double r133281 = fmod(r133279, r133280);
        double r133282 = atan(r133281);
        double r133283 = r133279 * r133279;
        double r133284 = pow(r133282, r133283);
        return r133284;
}

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 2020057 
(FPCore (a)
  :name "Fuzzer 002"
  :precision binary64
  (pow (atan (fmod a (asin a))) (* a a)))