Average Error: 30.6 → 30.6
Time: 19.1s
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 r78532 = a;
        double r78533 = asin(r78532);
        double r78534 = fmod(r78532, r78533);
        double r78535 = atan(r78534);
        double r78536 = r78532 * r78532;
        double r78537 = pow(r78535, r78536);
        return r78537;
}
↓
double f(double a) {
        double r78538 = a;
        double r78539 = asin(r78538);
        double r78540 = fmod(r78538, r78539);
        double r78541 = atan(r78540);
        double r78542 = r78538 * r78538;
        double r78543 = pow(r78541, r78542);
        return r78543;
}

Error

Bits error versus a

Derivation

  1. Initial program 30.6

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

  2. Final simplification30.6

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

Reproduce

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