Average Error: 30.9 → 30.9
Time: 10.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 r121112 = a;
        double r121113 = asin(r121112);
        double r121114 = fmod(r121112, r121113);
        double r121115 = atan(r121114);
        double r121116 = r121112 * r121112;
        double r121117 = pow(r121115, r121116);
        return r121117;
}
↓
double f(double a) {
        double r121118 = a;
        double r121119 = asin(r121118);
        double r121120 = fmod(r121118, r121119);
        double r121121 = atan(r121120);
        double r121122 = r121118 * r121118;
        double r121123 = pow(r121121, r121122);
        return r121123;
}

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)))