Average Error: 30.5 → 30.5
Time: 10.6s
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 r111980 = a;
        double r111981 = asin(r111980);
        double r111982 = fmod(r111980, r111981);
        double r111983 = atan(r111982);
        double r111984 = r111980 * r111980;
        double r111985 = pow(r111983, r111984);
        return r111985;
}
↓
double f(double a) {
        double r111986 = a;
        double r111987 = asin(r111986);
        double r111988 = fmod(r111986, r111987);
        double r111989 = atan(r111988);
        double r111990 = r111986 * r111986;
        double r111991 = pow(r111989, r111990);
        return r111991;
}

Error

Bits error versus a

Derivation

  1. Initial program 30.5

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

  2. Final simplification30.5

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

Reproduce

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