Average Error: 31.2 → 31.2
Time: 15.8s
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)}\]
double f(double a) {
        double r11060233 = a;
        double r11060234 = asin(r11060233);
        double r11060235 = fmod(r11060233, r11060234);
        double r11060236 = atan(r11060235);
        double r11060237 = r11060233 * r11060233;
        double r11060238 = pow(r11060236, r11060237);
        return r11060238;
}
↓
double f(double a) {
        double r11060239 = a;
        double r11060240 = asin(r11060239);
        double r11060241 = fmod(r11060239, r11060240);
        double r11060242 = atan(r11060241);
        double r11060243 = r11060239 * r11060239;
        double r11060244 = pow(r11060242, r11060243);
        return r11060244;
}


{\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)}

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