Random Jason Timeout Test 004

Average Error: 34.3 → 34.0

Time: 16.8s

Precision: 64

• could not determine a ground truth for program body

  1. a = 5.1572421902127275e+265
  2. c = -4240874295.0135207

Math

\[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]

↓

\[\left(\sqrt[3]{\sqrt{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)} \cdot \sqrt{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}} \cdot \sqrt[3]{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}\right) \cdot \sqrt[3]{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}\]

C

double f(double a, double c) {
        double r13837 = c;
        double r13838 = cosh(r13837);
        double r13839 = a;
        double r13840 = log1p(r13839);
        double r13841 = fmod(r13838, r13840);
        return r13841;
}

↓

double f(double a, double c) {
        double r13842 = c;
        double r13843 = cosh(r13842);
        double r13844 = a;
        double r13845 = log1p(r13844);
        double r13846 = cbrt(r13845);
        double r13847 = cbrt(r13846);
        double r13848 = r13847 * r13847;
        double r13849 = r13848 * r13847;
        double r13850 = r13849 * r13846;
        double r13851 = r13850 * r13846;
        double r13852 = fmod(r13843, r13851);
        double r13853 = sqrt(r13852);
        double r13854 = r13853 * r13853;
        double r13855 = cbrt(r13854);
        double r13856 = cbrt(r13852);
        double r13857 = r13855 * r13856;
        double r13858 = r13857 * r13856;
        return r13858;
}

Error

Bits error versus a

Bits error versus c

Derivation

1. Initial program 34.3

   \[\left(\left(\cosh c\right) \bmod \left(\mathsf{log1p}\left(a\right)\right)\right)\]
2. Using strategy rm

3. Applied add-cube-cbrt 34.0

   \[\leadsto \left(\left(\cosh c\right) \bmod \color{blue}{\left(\left(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)}\right)\]
4. Using strategy rm

5. Applied add-cube-cbrt 34.0

   \[\leadsto \left(\left(\cosh c\right) \bmod \left(\left(\color{blue}{\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right)} \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)\]
6. Using strategy rm

7. Applied add-cube-cbrt 34.0

   \[\leadsto \color{blue}{\left(\sqrt[3]{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)} \cdot \sqrt[3]{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}\right) \cdot \sqrt[3]{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}}\]
8. Using strategy rm

9. Applied add-sqr-sqrt 34.0

   \[\leadsto \left(\sqrt[3]{\color{blue}{\sqrt{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)} \cdot \sqrt{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}}} \cdot \sqrt[3]{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}\right) \cdot \sqrt[3]{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}\]

10. Final simplification 34.0

    \[\leadsto \left(\sqrt[3]{\sqrt{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)} \cdot \sqrt{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}} \cdot \sqrt[3]{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}\right) \cdot \sqrt[3]{\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)}\]

Reproduce

herbie shell --seed 2020057 
(FPCore (a c)
  :name "Random Jason Timeout Test 004"
  :precision binary64
  (fmod (cosh c) (log1p a)))