Random Jason Timeout Test 004

Average Error: 33.7 → 33.4

Time: 16.7s

Precision: 64

• could not determine a ground truth for program body

  1. a = 1.702252773710828e+90
  2. c = -1.4274390538678366e+206

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

C

double f(double a, double c) {
        double r12661 = c;
        double r12662 = cosh(r12661);
        double r12663 = a;
        double r12664 = log1p(r12663);
        double r12665 = fmod(r12662, r12664);
        return r12665;
}

↓

double f(double a, double c) {
        double r12666 = c;
        double r12667 = cosh(r12666);
        double r12668 = a;
        double r12669 = log1p(r12668);
        double r12670 = cbrt(r12669);
        double r12671 = r12670 * r12670;
        double r12672 = cbrt(r12671);
        double r12673 = cbrt(r12670);
        double r12674 = r12672 * r12673;
        double r12675 = r12670 * r12674;
        double r12676 = cbrt(r12675);
        double r12677 = r12676 * r12673;
        double r12678 = cbrt(r12677);
        double r12679 = r12672 * r12678;
        double r12680 = r12670 * r12679;
        double r12681 = r12680 * r12670;
        double r12682 = fmod(r12667, r12681);
        return r12682;
}

Error

Bits error versus a

Bits error versus c

Derivation

1. Initial program 33.7

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

3. Applied add-cube-cbrt 33.4

   \[\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 33.4

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

6. Applied cbrt-prod 33.4

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

8. Applied add-cube-cbrt 33.4

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

9. Applied cbrt-prod 33.4

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

11. Applied add-cube-cbrt 33.4

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

12. Applied cbrt-prod 33.4

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

13. Final simplification 33.4

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

Reproduce

herbie shell --seed 2020018 +o rules:numerics
(FPCore (a c)
  :name "Random Jason Timeout Test 004"
  :precision binary64
  (fmod (cosh c) (log1p a)))