Average Error: 30.9 → 30.9
Time: 17.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 r11022658 = a;
        double r11022659 = asin(r11022658);
        double r11022660 = fmod(r11022658, r11022659);
        double r11022661 = atan(r11022660);
        double r11022662 = r11022658 * r11022658;
        double r11022663 = pow(r11022661, r11022662);
        return r11022663;
}
↓
double f(double a) {
        double r11022664 = a;
        double r11022665 = asin(r11022664);
        double r11022666 = fmod(r11022664, r11022665);
        double r11022667 = atan(r11022666);
        double r11022668 = r11022664 * r11022664;
        double r11022669 = pow(r11022667, r11022668);
        return r11022669;
}

Error

Bits error versus a

Derivation

  1. Initial program 30.9

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

  2. Final simplification30.9

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

Reproduce

herbie shell --seed 2019119 +o rules:numerics
(FPCore (a)
  :name "Fuzzer 002"
  (pow (atan (fmod a (asin a))) (* a a)))