Average Error: 31.0 → 31.0
Time: 20.9s
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 r59796 = a;
        double r59797 = asin(r59796);
        double r59798 = fmod(r59796, r59797);
        double r59799 = atan(r59798);
        double r59800 = r59796 * r59796;
        double r59801 = pow(r59799, r59800);
        return r59801;
}
↓
double f(double a) {
        double r59802 = a;
        double r59803 = asin(r59802);
        double r59804 = fmod(r59802, r59803);
        double r59805 = atan(r59804);
        double r59806 = r59802 * r59802;
        double r59807 = pow(r59805, r59806);
        return r59807;
}

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