Average Error: 31.0 → 31.0
Time: 19.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 r4333296 = a;
        double r4333297 = asin(r4333296);
        double r4333298 = fmod(r4333296, r4333297);
        double r4333299 = atan(r4333298);
        double r4333300 = r4333296 * r4333296;
        double r4333301 = pow(r4333299, r4333300);
        return r4333301;
}
↓
double f(double a) {
        double r4333302 = a;
        double r4333303 = asin(r4333302);
        double r4333304 = fmod(r4333302, r4333303);
        double r4333305 = atan(r4333304);
        double r4333306 = r4333302 * r4333302;
        double r4333307 = pow(r4333305, r4333306);
        return r4333307;
}

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