Average Error: 31.0 → 31.0
Time: 18.0s
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 r3391013 = a;
        double r3391014 = asin(r3391013);
        double r3391015 = fmod(r3391013, r3391014);
        double r3391016 = atan(r3391015);
        double r3391017 = r3391013 * r3391013;
        double r3391018 = pow(r3391016, r3391017);
        return r3391018;
}
↓
double f(double a) {
        double r3391019 = a;
        double r3391020 = asin(r3391019);
        double r3391021 = fmod(r3391019, r3391020);
        double r3391022 = atan(r3391021);
        double r3391023 = r3391019 * r3391019;
        double r3391024 = pow(r3391022, r3391023);
        return r3391024;
}

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