\[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: 13.8 s
Input Error: 2.9
Output Error: 2.4
Log: ⚲
Profile: 🕒
\(1.8612743679730346 \cdot 10^{-155} - {e}^{\left(\log \left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)\right)}\)
  1. Started with
    \[1.8612743679730346 \cdot 10^{-155} - {a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\]
    2.9
  2. Using strategy rm
    2.9
  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)}}\]
    2.6
  4. Using strategy rm
    2.6
  5. Applied *-un-lft-identity 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}{1 \cdot \log \left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)}}\]
    2.6
  6. Applied exp-prod to get
    \[1.8612743679730346 \cdot 10^{-155} - \color{red}{e^{1 \cdot \log \left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)}} \leadsto 1.8612743679730346 \cdot 10^{-155} - \color{blue}{{\left(e^{1}\right)}^{\left(\log \left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)\right)}}\]
    2.4
  7. Applied simplify to get
    \[1.8612743679730346 \cdot 10^{-155} - {\color{red}{\left(e^{1}\right)}}^{\left(\log \left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)\right)} \leadsto 1.8612743679730346 \cdot 10^{-155} - {\color{blue}{e}}^{\left(\log \left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)\right)}\]
    2.4

Original test:


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