Average Error: 31.2 → 31.2
Time: 5.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 r123495 = a;
        double r123496 = asin(r123495);
        double r123497 = fmod(r123495, r123496);
        double r123498 = atan(r123497);
        double r123499 = r123495 * r123495;
        double r123500 = pow(r123498, r123499);
        return r123500;
}
↓
double f(double a) {
        double r123501 = a;
        double r123502 = asin(r123501);
        double r123503 = fmod(r123501, r123502);
        double r123504 = atan(r123503);
        double r123505 = r123501 * r123501;
        double r123506 = pow(r123504, r123505);
        return r123506;
}

Error

Bits error versus a

Derivation

  1. Initial program 31.2

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

  2. Final simplification31.2

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

Reproduce

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