\[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: 10.3 s
Input Error: 3.4
Output Error: 3.3
Log: ⚲
Profile: 🕒
\(1.8612743679730346 \cdot 10^{-155} - {\left(e^{3}\right)}^{\left(\log \left(\sqrt[3]{{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)}\]
    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. Using strategy rm
    3.3
  5. Applied add-cube-cbrt to get
    \[1.8612743679730346 \cdot 10^{-155} - e^{\log \color{red}{\left({a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}\right)}} \leadsto 1.8612743679730346 \cdot 10^{-155} - e^{\log \color{blue}{\left({\left(\sqrt[3]{{a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}}\right)}^3\right)}}\]
    3.3
  6. Using strategy rm
    3.3
  7. Applied pow3 to get
    \[1.8612743679730346 \cdot 10^{-155} - e^{\log \color{red}{\left({\left(\sqrt[3]{{a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}}\right)}^3\right)}} \leadsto 1.8612743679730346 \cdot 10^{-155} - e^{\log \color{blue}{\left({\left(\sqrt[3]{{a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}}\right)}^{3}\right)}}\]
    3.3
  8. Applied log-pow to get
    \[1.8612743679730346 \cdot 10^{-155} - e^{\color{red}{\log \left({\left(\sqrt[3]{{a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}}\right)}^{3}\right)}} \leadsto 1.8612743679730346 \cdot 10^{-155} - e^{\color{blue}{3 \cdot \log \left(\sqrt[3]{{a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}}\right)}}\]
    3.6
  9. Applied exp-prod to get
    \[1.8612743679730346 \cdot 10^{-155} - \color{red}{e^{3 \cdot \log \left(\sqrt[3]{{a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}}\right)}} \leadsto 1.8612743679730346 \cdot 10^{-155} - \color{blue}{{\left(e^{3}\right)}^{\left(\log \left(\sqrt[3]{{a}^{\left(\tan^{-1} \left( 5.662719674881949 \cdot 10^{+25} \right)\right)}}\right)\right)}}\]
    3.3
  10. 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))))