\[{\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.9 s
Input Error: 15.4
Output Error: 15.4
Log: ⚲
Profile: 🕒
\({\left(\tan^{-1} \left(\log \left(e^{\left(a \bmod \left(\sin^{-1} a\right)\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)}\]
    15.4
  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)}}\]
    15.4
  3. Using strategy rm
    15.4
  4. Applied add-log-exp to get
    \[{\left(\tan^{-1} \color{red}{\left(a \bmod \left(\sin^{-1} a\right)\right)}\right)}^{\left({a}^2\right)} \leadsto {\left(\tan^{-1} \color{blue}{\left(\log \left(e^{\left(a \bmod \left(\sin^{-1} a\right)\right)}\right)\right)}\right)}^{\left({a}^2\right)}\]
    15.4

Original test:


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