Average Error: 30.9 → 30.9
Time: 16.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 r20109310 = a;
        double r20109311 = asin(r20109310);
        double r20109312 = fmod(r20109310, r20109311);
        double r20109313 = atan(r20109312);
        double r20109314 = r20109310 * r20109310;
        double r20109315 = pow(r20109313, r20109314);
        return r20109315;
}
↓
double f(double a) {
        double r20109316 = a;
        double r20109317 = asin(r20109316);
        double r20109318 = fmod(r20109316, r20109317);
        double r20109319 = atan(r20109318);
        double r20109320 = r20109316 * r20109316;
        double r20109321 = pow(r20109319, r20109320);
        return r20109321;
}

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