\[{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]
Test:
Random Jason Timeout Test 011
Bits:
128 bits
Bits error versus a
Time: 12.1 s
Input Error: 14.8
Output Error: 0.7
Log: ⚲
Profile: 🕒
\({\left(\tan^{-1} \left(a \bmod \left(e^{\log \left(\sin^{-1} a\right)}\right)\right)\right)}^{\left({a}^2\right)}\)
  1. Started with
    \[{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}\]
    14.8
  2. Applied simplify to get
    \[\color{red}{{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left(a \cdot a\right)}} \leadsto \color{blue}{{\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\right)\right)\right)}^{\left({a}^2\right)}}\]
    14.8
  3. Using strategy rm
    14.8
  4. Applied add-exp-log to get
    \[{\left(\tan^{-1} \left(a \bmod \color{red}{\left(\sin^{-1} a\right)}\right)\right)}^{\left({a}^2\right)} \leadsto {\left(\tan^{-1} \left(a \bmod \color{blue}{\left(e^{\log \left(\sin^{-1} a\right)}\right)}\right)\right)}^{\left({a}^2\right)}\]
    0.7

Original test:


(lambda ((a default))
  #:name "Random Jason Timeout Test 011"
  (pow (atan (fmod a (asin a))) (* a a)))