Average Error: 30.8 → 30.8
Time: 18.7s
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 r1198475 = a;
        double r1198476 = asin(r1198475);
        double r1198477 = fmod(r1198475, r1198476);
        double r1198478 = atan(r1198477);
        double r1198479 = r1198475 * r1198475;
        double r1198480 = pow(r1198478, r1198479);
        return r1198480;
}
↓
double f(double a) {
        double r1198481 = a;
        double r1198482 = asin(r1198481);
        double r1198483 = fmod(r1198481, r1198482);
        double r1198484 = atan(r1198483);
        double r1198485 = r1198481 * r1198481;
        double r1198486 = pow(r1198484, r1198485);
        return r1198486;
}

Error

Bits error versus a

Derivation

  1. Initial program 30.8

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

  2. Final simplification30.8

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

Reproduce

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