Average Error: 30.6 → 30.6
Time: 5.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 r103856 = a;
        double r103857 = asin(r103856);
        double r103858 = fmod(r103856, r103857);
        double r103859 = atan(r103858);
        double r103860 = r103856 * r103856;
        double r103861 = pow(r103859, r103860);
        return r103861;
}
↓
double f(double a) {
        double r103862 = a;
        double r103863 = asin(r103862);
        double r103864 = fmod(r103862, r103863);
        double r103865 = atan(r103864);
        double r103866 = r103862 * r103862;
        double r103867 = pow(r103865, r103866);
        return r103867;
}

Error

Bits error versus a

Derivation

  1. Initial program 30.6

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

  2. Final simplification30.6

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

Reproduce

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