Average Error: 30.8 → 30.8
Time: 15.4s
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 r12325459 = a;
        double r12325460 = asin(r12325459);
        double r12325461 = fmod(r12325459, r12325460);
        double r12325462 = atan(r12325461);
        double r12325463 = r12325459 * r12325459;
        double r12325464 = pow(r12325462, r12325463);
        return r12325464;
}
↓
double f(double a) {
        double r12325465 = a;
        double r12325466 = asin(r12325465);
        double r12325467 = fmod(r12325465, r12325466);
        double r12325468 = atan(r12325467);
        double r12325469 = r12325465 * r12325465;
        double r12325470 = pow(r12325468, r12325469);
        return r12325470;
}

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