\[\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: 40.4 s
Input Error: 28.0
Output Error: 21.3
Log: ⚲
Profile: 🕒
\(\begin{cases} \log \left(e^{e^{\log \left(\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^{\left(\log_* (1 + a)\right)}\right)\right)}}\right) & \text{when } a \le 1558.2944f0 \\ \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 < 1558.2944f0

    1. Started with
      \[\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left(a \cdot a\right)\right)}^{\left(\log_* (1 + a)\right)}\right)\]
      26.1
    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)}\]
      26.1
    3. Using strategy rm
      26.1
    4. Applied add-log-exp to get
      \[\color{red}{\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^{\left(\log_* (1 + a)\right)}\right)} \leadsto \color{blue}{\log \left(e^{\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^{\left(\log_* (1 + a)\right)}\right)}\right)}\]
      26.1
    5. Using strategy rm
      26.1
    6. Applied add-exp-log to get
      \[\log \left(e^{\color{red}{\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^{\left(\log_* (1 + a)\right)}\right)}}\right) \leadsto \log \left(e^{\color{blue}{e^{\log \left(\cos^{-1} \left({\left(\left(\cosh a\right) \bmod \left({a}^2\right)\right)}^{\left(\log_* (1 + a)\right)}\right)\right)}}}\right)\]
      26.1

    if 1558.2944f0 < 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.0
    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.0
  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))))