\[{\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: 13.6 s
Input Error: 15.3
Output Error: 0.6
Log: ⚲
Profile: 🕒
\({\left(\tan^{-1} \left(a \bmod \left({e}^{\left(\log \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.3
  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.3
  3. Using strategy rm
    15.3
  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.8
  5. Using strategy rm
    0.8
  6. Applied pow1 to get
    \[{\left(\tan^{-1} \left(a \bmod \left(e^{\log \color{red}{\left(\sin^{-1} a\right)}}\right)\right)\right)}^{\left({a}^2\right)} \leadsto {\left(\tan^{-1} \left(a \bmod \left(e^{\log \color{blue}{\left({\left(\sin^{-1} a\right)}^{1}\right)}}\right)\right)\right)}^{\left({a}^2\right)}\]
    0.8
  7. Applied log-pow to get
    \[{\left(\tan^{-1} \left(a \bmod \left(e^{\color{red}{\log \left({\left(\sin^{-1} a\right)}^{1}\right)}}\right)\right)\right)}^{\left({a}^2\right)} \leadsto {\left(\tan^{-1} \left(a \bmod \left(e^{\color{blue}{1 \cdot \log \left(\sin^{-1} a\right)}}\right)\right)\right)}^{\left({a}^2\right)}\]
    0.8
  8. Applied exp-prod to get
    \[{\left(\tan^{-1} \left(a \bmod \color{red}{\left(e^{1 \cdot \log \left(\sin^{-1} a\right)}\right)}\right)\right)}^{\left({a}^2\right)} \leadsto {\left(\tan^{-1} \left(a \bmod \color{blue}{\left({\left(e^{1}\right)}^{\left(\log \left(\sin^{-1} a\right)\right)}\right)}\right)\right)}^{\left({a}^2\right)}\]
    0.6
  9. Applied simplify to get
    \[{\left(\tan^{-1} \left(a \bmod \left({\color{red}{\left(e^{1}\right)}}^{\left(\log \left(\sin^{-1} a\right)\right)}\right)\right)\right)}^{\left({a}^2\right)} \leadsto {\left(\tan^{-1} \left(a \bmod \left({\color{blue}{e}}^{\left(\log \left(\sin^{-1} a\right)\right)}\right)\right)\right)}^{\left({a}^2\right)}\]
    0.6

Original test:


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