Average Error: 31.2 → 31.2
Time: 19.8s
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 r96696 = a;
        double r96697 = asin(r96696);
        double r96698 = fmod(r96696, r96697);
        double r96699 = atan(r96698);
        double r96700 = r96696 * r96696;
        double r96701 = pow(r96699, r96700);
        return r96701;
}
↓
double f(double a) {
        double r96702 = a;
        double r96703 = asin(r96702);
        double r96704 = fmod(r96702, r96703);
        double r96705 = atan(r96704);
        double r96706 = r96702 * r96702;
        double r96707 = pow(r96705, r96706);
        return r96707;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.2

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

  2. Final simplification31.2

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

Reproduce

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