Average Error: 30.8 → 30.8
Time: 17.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 r3002686 = a;
        double r3002687 = asin(r3002686);
        double r3002688 = fmod(r3002686, r3002687);
        double r3002689 = atan(r3002688);
        double r3002690 = r3002686 * r3002686;
        double r3002691 = pow(r3002689, r3002690);
        return r3002691;
}
↓
double f(double a) {
        double r3002692 = a;
        double r3002693 = asin(r3002692);
        double r3002694 = fmod(r3002692, r3002693);
        double r3002695 = atan(r3002694);
        double r3002696 = r3002692 * r3002692;
        double r3002697 = pow(r3002695, r3002696);
        return r3002697;
}

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