Random Jason Timeout Test 012

Average Error: 61.1 → 60.1

Time: 26.0s

Precision: 64

• could not determine a ground truth for program body

  1. a = 2.635160805841274e+162

Math

\[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]

↓

\[\left(\sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)} \cdot \sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right) \cdot \sqrt[3]{\cos^{-1} \left({\left(\log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right) + \log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\]

C

double f(double a) {
        double r3088 = a;
        double r3089 = cosh(r3088);
        double r3090 = r3088 * r3088;
        double r3091 = fmod(r3089, r3090);
        double r3092 = log1p(r3088);
        double r3093 = pow(r3091, r3092);
        double r3094 = acos(r3093);
        return r3094;
}

↓

double f(double a) {
        double r3095 = a;
        double r3096 = cosh(r3095);
        double r3097 = r3095 * r3095;
        double r3098 = fmod(r3096, r3097);
        double r3099 = exp(r3098);
        double r3100 = log(r3099);
        double r3101 = log1p(r3095);
        double r3102 = pow(r3100, r3101);
        double r3103 = acos(r3102);
        double r3104 = cbrt(r3103);
        double r3105 = r3104 * r3104;
        double r3106 = sqrt(r3099);
        double r3107 = log(r3106);
        double r3108 = r3107 + r3107;
        double r3109 = pow(r3108, r3101);
        double r3110 = acos(r3109);
        double r3111 = cbrt(r3110);
        double r3112 = r3105 * r3111;
        return r3112;
}

Error

Bits error versus a

Derivation

1. Initial program 61.1

   \[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]
2. Using strategy rm

3. Applied add-log-exp 60.1

   \[\leadsto \cos^{-1} \left({\color{blue}{\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]
4. Using strategy rm

5. Applied add-cube-cbrt 60.1

   \[\leadsto \color{blue}{\left(\sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)} \cdot \sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right) \cdot \sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}}\]
6. Using strategy rm

7. Applied add-sqr-sqrt 60.1

   \[\leadsto \left(\sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)} \cdot \sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right) \cdot \sqrt[3]{\cos^{-1} \left({\left(\log \color{blue}{\left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}} \cdot \sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right)}\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\]

8. Applied log-prod 60.1

   \[\leadsto \left(\sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)} \cdot \sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right) \cdot \sqrt[3]{\cos^{-1} \left({\color{blue}{\left(\log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right) + \log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right)\right)}}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\]

9. Final simplification 60.1

   \[\leadsto \left(\sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)} \cdot \sqrt[3]{\cos^{-1} \left({\left(\log \left(e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right) \cdot \sqrt[3]{\cos^{-1} \left({\left(\log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right) + \log \left(\sqrt{e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\]

Reproduce

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