Average Error: 31.0 → 31.0
Time: 19.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 r3307683 = a;
        double r3307684 = asin(r3307683);
        double r3307685 = fmod(r3307683, r3307684);
        double r3307686 = atan(r3307685);
        double r3307687 = r3307683 * r3307683;
        double r3307688 = pow(r3307686, r3307687);
        return r3307688;
}
↓
double f(double a) {
        double r3307689 = a;
        double r3307690 = asin(r3307689);
        double r3307691 = fmod(r3307689, r3307690);
        double r3307692 = atan(r3307691);
        double r3307693 = r3307689 * r3307689;
        double r3307694 = pow(r3307692, r3307693);
        return r3307694;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.0

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

  2. Final simplification31.0

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

Reproduce

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