\[1.8612743679730346 \cdot 10^{-155} - {a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\]
Test:
(- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25)))
Bits:
128 bits
Bits error versus a
Time: 9.8 s
Input Error: 3.3
Output Error: 3.2
Log: ⚲
Profile: 🕒
\(1.8612743679730346 \cdot 10^{-155} - {\left(e^{\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)}\right)}^{\left(\log a\right)}\)
  1. Started with
    \[1.8612743679730346 \cdot 10^{-155} - {a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\]
    3.3
  2. Using strategy rm
    3.3
  3. Applied add-exp-log to get
    \[1.8612743679730346 \cdot 10^{-155} - \color{red}{{a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}} \leadsto 1.8612743679730346 \cdot 10^{-155} - \color{blue}{e^{\log \left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)}}\]
    3.2
  4. Using strategy rm
    3.2
  5. Applied log-pow to get
    \[1.8612743679730346 \cdot 10^{-155} - e^{\color{red}{\log \left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)}} \leadsto 1.8612743679730346 \cdot 10^{-155} - e^{\color{blue}{\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right) \cdot \log a}}\]
    3.4
  6. Applied exp-prod to get
    \[1.8612743679730346 \cdot 10^{-155} - \color{red}{e^{\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right) \cdot \log a}} \leadsto 1.8612743679730346 \cdot 10^{-155} - \color{blue}{{\left(e^{\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)}\right)}^{\left(\log a\right)}}\]
    3.2
  7. Removed slow pow expressions

Original test:


(lambda ((a default))
  #:name "(- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25)))"
  (- 1.8612743679730346e-155 (pow a (atan 5.662719674881949e+25))))