\[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\log_* (1 + a)\right)}\right)\]
Test:
Random Jason Timeout Test 012
Bits:
128 bits
Bits error versus a
Bits error versus b
Bits error versus c
Time: 1.7 m
Input Error: 27.8
Output Error: 21.0
Log: ⚲
Profile: 🕒
\(\begin{cases} \cos^{-1} \left({\left(\sqrt[3]{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}\right)}^{\left(\log_* (1 + a)\right)} \cdot {\left(\sqrt[3]{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right) \cdot \left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}\right)}^{\left(\log_* (1 + a)\right)}\right) & \text{when } a \le 1746.7119f0 \\ \cos^{-1} \left({\left(\left(\cosh \left(\frac{1}{a}\right)\right) \bmod \left(\frac{1}{{a}^2}\right)\right)}^{\left(\log_* (1 + a)\right)}\right) & \text{otherwise} \end{cases}\)

    if a < 1746.7119f0

    1. Started with
      \[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\log_* (1 + a)\right)}\right)\]
      25.9
    2. Applied simplify to get
      \[\color{red}{\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\log_* (1 + a)\right)}\right)} \leadsto \color{blue}{\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^{\left(\log_* (1 + a)\right)}\right)}\]
      25.9
    3. Using strategy rm
      25.9
    4. Applied add-cbrt-cube to get
      \[\cos^{-1} \left({\color{red}{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}}^{\left(\log_* (1 + a)\right)}\right) \leadsto \cos^{-1} \left({\color{blue}{\left(\sqrt[3]{{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^3}\right)}}^{\left(\log_* (1 + a)\right)}\right)\]
      25.5
    5. Using strategy rm
      25.5
    6. Applied cube-mult to get
      \[\cos^{-1} \left({\left(\sqrt[3]{\color{red}{{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^3}}\right)}^{\left(\log_* (1 + a)\right)}\right) \leadsto \cos^{-1} \left({\left(\sqrt[3]{\color{blue}{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right) \cdot \left(\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right) \cdot \left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)\right)}}\right)}^{\left(\log_* (1 + a)\right)}\right)\]
      25.5
    7. Applied cbrt-prod to get
      \[\cos^{-1} \left({\color{red}{\left(\sqrt[3]{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right) \cdot \left(\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right) \cdot \left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)\right)}\right)}}^{\left(\log_* (1 + a)\right)}\right) \leadsto \cos^{-1} \left({\color{blue}{\left(\sqrt[3]{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)} \cdot \sqrt[3]{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right) \cdot \left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}\right)}}^{\left(\log_* (1 + a)\right)}\right)\]
      25.3
    8. Applied unpow-prod-down to get
      \[\cos^{-1} \color{red}{\left({\left(\sqrt[3]{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)} \cdot \sqrt[3]{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right) \cdot \left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}\right)}^{\left(\log_* (1 + a)\right)}\right)} \leadsto \cos^{-1} \color{blue}{\left({\left(\sqrt[3]{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}\right)}^{\left(\log_* (1 + a)\right)} \cdot {\left(\sqrt[3]{\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right) \cdot \left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}\right)}^{\left(\log_* (1 + a)\right)}\right)}\]
      25.3

    if 1746.7119f0 < a

    1. Started with
      \[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\log_* (1 + a)\right)}\right)\]
      30.0
    2. Applied simplify to get
      \[\color{red}{\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\log_* (1 + a)\right)}\right)} \leadsto \color{blue}{\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^{\left(\log_* (1 + a)\right)}\right)}\]
      30.0
    3. Applied taylor to get
      \[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^{\left(\log_* (1 + a)\right)}\right) \leadsto \cos^{-1} \left({\left(\left(\cosh \left(\frac{1}{a}\right)\right) \bmod \left(\frac{1}{{a}^2}\right)\right)}^{\left(\log_* (1 + a)\right)}\right)\]
      16.3
    4. Taylor expanded around inf to get
      \[\cos^{-1} \left({\color{red}{\left(\left(\cosh \left(\frac{1}{a}\right)\right) \bmod \left(\frac{1}{{a}^2}\right)\right)}}^{\left(\log_* (1 + a)\right)}\right) \leadsto \cos^{-1} \left({\color{blue}{\left(\left(\cosh \left(\frac{1}{a}\right)\right) \bmod \left(\frac{1}{{a}^2}\right)\right)}}^{\left(\log_* (1 + a)\right)}\right)\]
      16.3
  1. Removed slow pow expressions

Original test:


(lambda ((a default) (b default) (c default))
  #:name "Random Jason Timeout Test 012"
  (acos (pow (fmod (cosh a) (* a a)) (log1p a))))