\[\frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}{{a}^2}\]
Test:
(/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a))
Bits:
128 bits
Bits error versus a
Bits error versus b
Time: 9.2 s
Input Error: 18.3
Output Error: 7.0
Log: ⚲
Profile: 🕒
\(\frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\log \left(\log_* (1 + (e^{e^{\tan b}} - 1)^*)\right)\right)}}{{a}^2}\)
  1. Started with
    \[\frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}{{a}^2}\]
    18.3
  2. Using strategy rm
    18.3
  3. Applied add-log-exp to get
    \[\frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\color{red}{\left(\tan b\right)}}}{{a}^2} \leadsto \frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\color{blue}{\left(\log \left(e^{\tan b}\right)\right)}}}{{a}^2}\]
    7.1
  4. Using strategy rm
    7.1
  5. Applied log1p-expm1-u to get
    \[\frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\log \color{red}{\left(e^{\tan b}\right)}\right)}}{{a}^2} \leadsto \frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\log \color{blue}{\left(\log_* (1 + (e^{e^{\tan b}} - 1)^*)\right)}\right)}}{{a}^2}\]
    7.0

Original test:


(lambda ((a default) (b default))
  #:name "(/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a))"
  (/ (pow (asin (atan 3.280379569422725e-280)) (tan b)) (sqr a)))