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