Average Error: 31.3 → 31.3
Time: 19.7s
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 r73607 = a;
        double r73608 = asin(r73607);
        double r73609 = fmod(r73607, r73608);
        double r73610 = atan(r73609);
        double r73611 = r73607 * r73607;
        double r73612 = pow(r73610, r73611);
        return r73612;
}
↓
double f(double a) {
        double r73613 = a;
        double r73614 = asin(r73613);
        double r73615 = fmod(r73613, r73614);
        double r73616 = atan(r73615);
        double r73617 = r73613 * r73613;
        double r73618 = pow(r73616, r73617);
        return r73618;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.3

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

  2. Final simplification31.3

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

Reproduce

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