Average Error: 61.2 → 59.5
Time: 29.3s
Precision: 64
\[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\]
↓
\[\frac{\mathsf{fma}\left(\pi \cdot \pi, \frac{1}{4}, \left(-1\right) \cdot {\left(\sqrt[3]{\sin^{-1} \left({\left(0 + \left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right)}^{6}\right)}{\mathsf{fma}\left(\pi, \frac{1}{2}, \sin^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^{2}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\right)}\]
\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)
↓
\frac{\mathsf{fma}\left(\pi \cdot \pi, \frac{1}{4}, \left(-1\right) \cdot {\left(\sqrt[3]{\sin^{-1} \left({\left(0 + \left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right)}^{6}\right)}{\mathsf{fma}\left(\pi, \frac{1}{2}, \sin^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^{2}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\right)}
double code(double a) {
	return acos(pow(fmod(cosh(a), (a * a)), log1p(a)));
}
↓
double code(double a) {
	return (fma((((double) M_PI) * ((double) M_PI)), 0.25, (-1.0 * pow(cbrt(asin(pow((0.0 + fmod(cosh(a), (a * a))), log1p(a)))), 6.0))) / fma(((double) M_PI), 0.5, asin(pow(fmod(cosh(a), pow(a, 2.0)), log1p(a)))));
}

Error

Bits error versus a

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 61.2

    \[\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-exp60.3

    \[\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 acos-asin60.3

    \[\leadsto \color{blue}{\frac{\pi}{2} - \sin^{-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 flip--60.3

    \[\leadsto \color{blue}{\frac{\frac{\pi}{2} \cdot \frac{\pi}{2} - \sin^{-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 \sin^{-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)}{\frac{\pi}{2} + \sin^{-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)}}\]

  8. Simplified60.3

    \[\leadsto \frac{\color{blue}{\mathsf{fma}\left(\pi \cdot \pi, \frac{1}{4}, \left(-1\right) \cdot {\left(\sqrt[3]{\sin^{-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)}^{6}\right)}}{\frac{\pi}{2} + \sin^{-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)}\]

  9. Simplified60.3

    \[\leadsto \frac{\mathsf{fma}\left(\pi \cdot \pi, \frac{1}{4}, \left(-1\right) \cdot {\left(\sqrt[3]{\sin^{-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)}^{6}\right)}{\color{blue}{\mathsf{fma}\left(\pi, \frac{1}{2}, \sin^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^{2}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\right)}}\]
  10. Using strategy rm

  11. Applied *-un-lft-identity60.3

    \[\leadsto \frac{\mathsf{fma}\left(\pi \cdot \pi, \frac{1}{4}, \left(-1\right) \cdot {\left(\sqrt[3]{\sin^{-1} \left({\left(\log \color{blue}{\left(1 \cdot e^{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)}\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right)}^{6}\right)}{\mathsf{fma}\left(\pi, \frac{1}{2}, \sin^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^{2}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\right)}\]

  12. Applied log-prod60.3

    \[\leadsto \frac{\mathsf{fma}\left(\pi \cdot \pi, \frac{1}{4}, \left(-1\right) \cdot {\left(\sqrt[3]{\sin^{-1} \left({\color{blue}{\left(\log 1 + \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)}^{6}\right)}{\mathsf{fma}\left(\pi, \frac{1}{2}, \sin^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^{2}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\right)}\]

  13. Simplified60.3

    \[\leadsto \frac{\mathsf{fma}\left(\pi \cdot \pi, \frac{1}{4}, \left(-1\right) \cdot {\left(\sqrt[3]{\sin^{-1} \left({\left(\color{blue}{0} + \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)}^{6}\right)}{\mathsf{fma}\left(\pi, \frac{1}{2}, \sin^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^{2}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\right)}\]

  14. Simplified59.5

    \[\leadsto \frac{\mathsf{fma}\left(\pi \cdot \pi, \frac{1}{4}, \left(-1\right) \cdot {\left(\sqrt[3]{\sin^{-1} \left({\left(0 + \color{blue}{\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right)}^{6}\right)}{\mathsf{fma}\left(\pi, \frac{1}{2}, \sin^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^{2}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\right)}\]

  15. Final simplification59.5

    \[\leadsto \frac{\mathsf{fma}\left(\pi \cdot \pi, \frac{1}{4}, \left(-1\right) \cdot {\left(\sqrt[3]{\sin^{-1} \left({\left(0 + \left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)}\right)}^{6}\right)}{\mathsf{fma}\left(\pi, \frac{1}{2}, \sin^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^{2}\right)\right)}^{\left(\mathsf{log1p}\left(a\right)\right)}\right)\right)}\]

Reproduce

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