Average Error: 31.0 → 31.0
Time: 20.1s
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 r5416140 = a;
        double r5416141 = asin(r5416140);
        double r5416142 = fmod(r5416140, r5416141);
        double r5416143 = atan(r5416142);
        double r5416144 = r5416140 * r5416140;
        double r5416145 = pow(r5416143, r5416144);
        return r5416145;
}
↓
double f(double a) {
        double r5416146 = a;
        double r5416147 = asin(r5416146);
        double r5416148 = fmod(r5416146, r5416147);
        double r5416149 = atan(r5416148);
        double r5416150 = r5416146 * r5416146;
        double r5416151 = pow(r5416149, r5416150);
        return r5416151;
}

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