\[{\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: 18.3 s
Input Error: 31.7
Output Error: 31.7
Log: ⚲
Profile: 🕒
\({\left(\tan^{-1} \left(a \bmod \left(\sin^{-1} a\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)}\]
    31.7
  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)}}\]
    31.7
  3. Removed slow pow expressions

Original test:


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