Random Jason Timeout Test 004

Average Error: 34.3 → 33.9

Time: 39.0s

Precision: 64

• could not determine a ground truth for program body

  1. a = 6.170998008126982e-120
  2. c = -1.8340745317516165e+50

Math

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

↓

\[\left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \left(\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right)}^{2}} \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right)}^{6}}} \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}}\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 r24175 = c;
        double r24176 = cosh(r24175);
        double r24177 = a;
        double r24178 = log1p(r24177);
        double r24179 = fmod(r24176, r24178);
        return r24179;
}

↓

double f(double a, double c) {
        double r24180 = c;
        double r24181 = cosh(r24180);
        double r24182 = a;
        double r24183 = log1p(r24182);
        double r24184 = cbrt(r24183);
        double r24185 = cbrt(r24184);
        double r24186 = 2.0;
        double r24187 = pow(r24185, r24186);
        double r24188 = cbrt(r24187);
        double r24189 = cbrt(r24185);
        double r24190 = r24188 * r24189;
        double r24191 = r24185 * r24190;
        double r24192 = 6.0;
        double r24193 = pow(r24185, r24192);
        double r24194 = cbrt(r24193);
        double r24195 = cbrt(r24194);
        double r24196 = r24195 * r24189;
        double r24197 = r24191 * r24196;
        double r24198 = r24197 * r24184;
        double r24199 = r24198 * r24184;
        double r24200 = fmod(r24181, r24199);
        return r24200;
}

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 \left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\sqrt[3]{\color{blue}{\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) \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. Applied cbrt-prod 34.0

   \[\leadsto \left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \sqrt[3]{\color{blue}{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \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)\]

9. Applied cbrt-prod 33.9

   \[\leadsto \left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \color{blue}{\left(\sqrt[3]{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}}} \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}}\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. Simplified 33.9

    \[\leadsto \left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \left(\color{blue}{\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right)}^{2}}} \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}}\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)\]
11. Using strategy rm

12. Applied add-cube-cbrt 34.0

    \[\leadsto \left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \left(\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right)}^{2}} \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}}\right)\right) \cdot \sqrt[3]{\sqrt[3]{\color{blue}{\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) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)\]

13. Applied cbrt-prod 33.9

    \[\leadsto \left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \left(\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right)}^{2}} \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}}\right)\right) \cdot \sqrt[3]{\color{blue}{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \sqrt[3]{\mathsf{log1p}\left(a\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)\]

14. Applied cbrt-prod 33.9

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

15. Simplified 33.9

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

16. Final simplification 33.9

    \[\leadsto \left(\left(\cosh c\right) \bmod \left(\left(\left(\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}} \cdot \left(\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right)}^{2}} \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}}\right)\right) \cdot \left(\sqrt[3]{\sqrt[3]{{\left(\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right)}^{6}}} \cdot \sqrt[3]{\sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}}\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 2019323 
(FPCore (a c)
  :name "Random Jason Timeout Test 004"
  :precision binary64
  (fmod (cosh c) (log1p a)))