Average Error: 31.4 → 31.4
Time: 13.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 r75972 = a;
        double r75973 = asin(r75972);
        double r75974 = fmod(r75972, r75973);
        double r75975 = atan(r75974);
        double r75976 = r75972 * r75972;
        double r75977 = pow(r75975, r75976);
        return r75977;
}
↓
double f(double a) {
        double r75978 = a;
        double r75979 = asin(r75978);
        double r75980 = fmod(r75978, r75979);
        double r75981 = atan(r75980);
        double r75982 = r75978 * r75978;
        double r75983 = pow(r75981, r75982);
        return r75983;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.4

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

  2. Final simplification31.4

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

Reproduce

herbie shell --seed 2019291 
(FPCore (a)
  :name "Fuzzer 002"
  :precision binary64
  (pow (atan (fmod a (asin a))) (* a a)))