\[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: 6.3 s
Input Error: 3.4
Output Error: 3.3
Log: ⚲
Profile: 🕒
\(1.8612743679730346 \cdot 10^{-155} - e^{\log \left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)}\)
  1. Started with
    \[1.8612743679730346 \cdot 10^{-155} - {a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\]
    3.4
  2. Using strategy rm
    3.4
  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.3
  4. 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))))