Average Error: 30.9 → 30.9
Time: 5.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 r93747 = a;
        double r93748 = asin(r93747);
        double r93749 = fmod(r93747, r93748);
        double r93750 = atan(r93749);
        double r93751 = r93747 * r93747;
        double r93752 = pow(r93750, r93751);
        return r93752;
}
↓
double f(double a) {
        double r93753 = a;
        double r93754 = asin(r93753);
        double r93755 = fmod(r93753, r93754);
        double r93756 = atan(r93755);
        double r93757 = r93753 * r93753;
        double r93758 = pow(r93756, r93757);
        return r93758;
}

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