Average Error: 33.7 → 33.8
Time: 50.1s
Precision: 64
\[\left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\sin \left(\mathsf{expm1}\left(a\right)\right)\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]
↓
\[\left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\left(\sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}} \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right)\right)\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]
\left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\sin \left(\mathsf{expm1}\left(a\right)\right)\right)}{\tan^{-1} a}\right) \bmod a\right)\right|
↓
\left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\left(\sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}} \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right)\right)\right)}{\tan^{-1} a}\right) \bmod a\right)\right|
double f(double a) {
        double r921523 = a;
        double r921524 = expm1(r921523);
        double r921525 = sin(r921524);
        double r921526 = expm1(r921525);
        double r921527 = atan(r921523);
        double r921528 = atan2(r921526, r921527);
        double r921529 = fmod(r921528, r921523);
        double r921530 = fabs(r921529);
        return r921530;
}
↓
double f(double a) {
        double r921531 = a;
        double r921532 = expm1(r921531);
        double r921533 = sin(r921532);
        double r921534 = cbrt(r921533);
        double r921535 = cbrt(r921534);
        double r921536 = r921535 * r921535;
        double r921537 = cbrt(r921536);
        double r921538 = r921537 * r921536;
        double r921539 = cbrt(r921535);
        double r921540 = r921538 * r921539;
        double r921541 = r921536 * r921536;
        double r921542 = r921536 * r921541;
        double r921543 = r921540 * r921542;
        double r921544 = expm1(r921543);
        double r921545 = atan(r921531);
        double r921546 = atan2(r921544, r921545);
        double r921547 = fmod(r921546, r921531);
        double r921548 = fabs(r921547);
        return r921548;
}

Error

Bits error versus a

Derivation

  1. Initial program 33.7

    \[\left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\sin \left(\mathsf{expm1}\left(a\right)\right)\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]
  2. Using strategy rm

  3. Applied add-cube-cbrt33.8

    \[\leadsto \left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\color{blue}{\left(\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)} \cdot \sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}\right) \cdot \sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]
  4. Using strategy rm

  5. Applied add-cube-cbrt33.8

    \[\leadsto \left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)} \cdot \color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)}\right) \cdot \sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]

  6. Applied add-cube-cbrt33.8

    \[\leadsto \left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)} \cdot \left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]

  7. Applied swap-sqr33.8

    \[\leadsto \left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\color{blue}{\left(\left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right)} \cdot \sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]
  8. Using strategy rm

  9. Applied add-cube-cbrt33.8

    \[\leadsto \left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)}\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]
  10. Using strategy rm

  11. Applied add-cube-cbrt33.8

    \[\leadsto \left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \sqrt[3]{\color{blue}{\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}}}\right)\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]

  12. Applied cbrt-prod33.8

    \[\leadsto \left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \color{blue}{\left(\sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}} \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}}\right)}\right)\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]

  13. Applied associate-*r*33.8

    \[\leadsto \left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \color{blue}{\left(\left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}}\right) \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}}\right)}\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]

  14. Final simplification33.8

    \[\leadsto \left|\left(\left(\tan^{-1}_* \frac{\mathsf{expm1}\left(\left(\left(\sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}} \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right) \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right) \cdot \left(\sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}} \cdot \sqrt[3]{\sqrt[3]{\sin \left(\mathsf{expm1}\left(a\right)\right)}}\right)\right)\right)\right)}{\tan^{-1} a}\right) \bmod a\right)\right|\]

Reproduce

herbie shell --seed 2019172 
(FPCore (a)
  :name "Random Jason Timeout Test 006"
  (fabs (fmod (atan2 (expm1 (sin (expm1 a))) (atan a)) a)))