\[\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: 58.7 s
Input Error: 8.5
Output Error: 5.1
Log: ⚲
Profile: 🕒
\(\frac{\frac{1}{\frac{a}{{\left(\sqrt[3]{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}\right)}^3}}}{a}\)
  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}\]
    8.5
  2. Using strategy rm
    8.5
  3. Applied square-mult to get
    \[\frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}{\color{red}{{a}^2}} \leadsto \frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}{\color{blue}{a \cdot a}}\]
    8.5
  4. Applied associate-/r* to get
    \[\color{red}{\frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}{a \cdot a}} \leadsto \color{blue}{\frac{\frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}{a}}{a}}\]
    5.1
  5. Using strategy rm
    5.1
  6. Applied clear-num to get
    \[\frac{\color{red}{\frac{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}{a}}}{a} \leadsto \frac{\color{blue}{\frac{1}{\frac{a}{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}}}}{a}\]
    5.1
  7. Using strategy rm
    5.1
  8. Applied add-cube-cbrt to get
    \[\frac{\frac{1}{\frac{a}{\color{red}{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}}}}{a} \leadsto \frac{\frac{1}{\frac{a}{\color{blue}{{\left(\sqrt[3]{{\left(\sin^{-1} \left(\tan^{-1} \left( 3.280379569422725 \cdot 10^{-280} \right)\right)\right)}^{\left(\tan b\right)}}\right)}^3}}}}{a}\]
    5.1
  9. Removed slow pow expressions

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)))