Average Error: 31.0 → 31.0
Time: 5.2s
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 r98444 = a;
        double r98445 = asin(r98444);
        double r98446 = fmod(r98444, r98445);
        double r98447 = atan(r98446);
        double r98448 = r98444 * r98444;
        double r98449 = pow(r98447, r98448);
        return r98449;
}
↓
double f(double a) {
        double r98450 = a;
        double r98451 = asin(r98450);
        double r98452 = fmod(r98450, r98451);
        double r98453 = atan(r98452);
        double r98454 = r98450 * r98450;
        double r98455 = pow(r98453, r98454);
        return r98455;
}

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