Random Jason Timeout Test 004

Average Error: 34.3 → 33.9

Time: 40.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(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \left(\left(\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) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\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)\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)\]

C

double f(double a, double c) {
        double r23978 = c;
        double r23979 = cosh(r23978);
        double r23980 = a;
        double r23981 = log1p(r23980);
        double r23982 = fmod(r23979, r23981);
        return r23982;
}

↓

double f(double a, double c) {
        double r23983 = c;
        double r23984 = cosh(r23983);
        double r23985 = a;
        double r23986 = log1p(r23985);
        double r23987 = cbrt(r23986);
        double r23988 = cbrt(r23987);
        double r23989 = 2.0;
        double r23990 = pow(r23988, r23989);
        double r23991 = cbrt(r23990);
        double r23992 = cbrt(r23988);
        double r23993 = r23991 * r23992;
        double r23994 = r23993 * r23988;
        double r23995 = 6.0;
        double r23996 = pow(r23988, r23995);
        double r23997 = cbrt(r23996);
        double r23998 = cbrt(r23997);
        double r23999 = r23998 * r23992;
        double r24000 = r23994 * r23999;
        double r24001 = r23987 * r24000;
        double r24002 = r24001 * r23987;
        double r24003 = fmod(r23984, r24002);
        return r24003;
}

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(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \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)}\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(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \left(\left(\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)}}}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\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(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \left(\left(\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)}}}} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\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(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \left(\left(\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)} \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\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(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \left(\left(\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) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\right) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\right)}}\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(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \left(\left(\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) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\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)\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(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \left(\left(\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) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\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)\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(\sqrt[3]{\mathsf{log1p}\left(a\right)} \cdot \left(\left(\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) \cdot \sqrt[3]{\sqrt[3]{\mathsf{log1p}\left(a\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)\right) \cdot \sqrt[3]{\mathsf{log1p}\left(a\right)}\right)\right)\]

15. Simplified 33.9

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