Average Error: 30.9 → 30.9
Time: 18.0s
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 r12494115 = a;
        double r12494116 = asin(r12494115);
        double r12494117 = fmod(r12494115, r12494116);
        double r12494118 = atan(r12494117);
        double r12494119 = r12494115 * r12494115;
        double r12494120 = pow(r12494118, r12494119);
        return r12494120;
}
↓
double f(double a) {
        double r12494121 = a;
        double r12494122 = asin(r12494121);
        double r12494123 = fmod(r12494121, r12494122);
        double r12494124 = atan(r12494123);
        double r12494125 = r12494121 * r12494121;
        double r12494126 = pow(r12494124, r12494125);
        return r12494126;
}

Error

Bits error versus a

Derivation

  1. Initial program 30.9

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

  2. Final simplification30.9

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

Reproduce

herbie shell --seed 2019107 +o rules:numerics
(FPCore (a)
  :name "Fuzzer 002"
  (pow (atan (fmod a (asin a))) (* a a)))