Average Error: 30.9 → 30.9
Time: 11.1s
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 r38126 = a;
        double r38127 = asin(r38126);
        double r38128 = fmod(r38126, r38127);
        double r38129 = atan(r38128);
        double r38130 = r38126 * r38126;
        double r38131 = pow(r38129, r38130);
        return r38131;
}
↓
double f(double a) {
        double r38132 = a;
        double r38133 = asin(r38132);
        double r38134 = fmod(r38132, r38133);
        double r38135 = atan(r38134);
        double r38136 = r38132 * r38132;
        double r38137 = pow(r38135, r38136);
        return r38137;
}

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