Average Error: 31.0 → 31.0
Time: 19.4s
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 r3481328 = a;
        double r3481329 = asin(r3481328);
        double r3481330 = fmod(r3481328, r3481329);
        double r3481331 = atan(r3481330);
        double r3481332 = r3481328 * r3481328;
        double r3481333 = pow(r3481331, r3481332);
        return r3481333;
}
↓
double f(double a) {
        double r3481334 = a;
        double r3481335 = asin(r3481334);
        double r3481336 = fmod(r3481334, r3481335);
        double r3481337 = atan(r3481336);
        double r3481338 = r3481334 * r3481334;
        double r3481339 = pow(r3481337, r3481338);
        return r3481339;
}

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 2019158 +o rules:numerics
(FPCore (a)
  :name "Fuzzer 002"
  (pow (atan (fmod a (asin a))) (* a a)))