Average Error: 30.9 → 30.9
Time: 6.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 r414 = a;
        double r415 = asin(r414);
        double r416 = fmod(r414, r415);
        double r417 = atan(r416);
        double r418 = r414 * r414;
        double r419 = pow(r417, r418);
        return r419;
}
↓
double f(double a) {
        double r420 = a;
        double r421 = asin(r420);
        double r422 = fmod(r420, r421);
        double r423 = atan(r422);
        double r424 = r420 * r420;
        double r425 = pow(r423, r424);
        return r425;
}

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