\[{\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\log \left({a}^{\left(\sinh a\right)}\right)\right)}\]
Test:
(pow (tan (log1p a)) (log (pow a (sinh a))))
Bits:
128 bits
Bits error versus a
Bits error versus b
Bits error versus c
Time: 16.4 s
Input Error: 0.2
Output Error: 0.0
Log: ⚲
Profile: 🕒
\({\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left({\left(\sqrt[3]{\log a} \cdot \sqrt[3]{\sinh a}\right)}^3\right)}\)
  1. Started with
    \[{\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\log \left({a}^{\left(\sinh a\right)}\right)\right)}\]
    0.2
  2. Applied taylor to get
    \[{\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\log \left({a}^{\left(\sinh a\right)}\right)\right)} \leadsto {\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\log a \cdot \sinh a\right)}\]
    0.0
  3. Taylor expanded around 0 to get
    \[{\left(\tan \left(\log_* (1 + a)\right)\right)}^{\color{red}{\left(\log a \cdot \sinh a\right)}} \leadsto {\left(\tan \left(\log_* (1 + a)\right)\right)}^{\color{blue}{\left(\log a \cdot \sinh a\right)}}\]
    0.0
  4. Using strategy rm
    0.0
  5. Applied add-cube-cbrt to get
    \[{\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\log a \cdot \color{red}{\sinh a}\right)} \leadsto {\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\log a \cdot \color{blue}{{\left(\sqrt[3]{\sinh a}\right)}^3}\right)}\]
    0.0
  6. Applied add-cube-cbrt to get
    \[{\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\color{red}{\log a} \cdot {\left(\sqrt[3]{\sinh a}\right)}^3\right)} \leadsto {\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\color{blue}{{\left(\sqrt[3]{\log a}\right)}^3} \cdot {\left(\sqrt[3]{\sinh a}\right)}^3\right)}\]
    0.0
  7. Applied cube-unprod to get
    \[{\left(\tan \left(\log_* (1 + a)\right)\right)}^{\color{red}{\left({\left(\sqrt[3]{\log a}\right)}^3 \cdot {\left(\sqrt[3]{\sinh a}\right)}^3\right)}} \leadsto {\left(\tan \left(\log_* (1 + a)\right)\right)}^{\color{blue}{\left({\left(\sqrt[3]{\log a} \cdot \sqrt[3]{\sinh a}\right)}^3\right)}}\]
    0.0

Original test:


(lambda ((a default) (b default) (c default))
  #:name "(pow (tan (log1p a)) (log (pow a (sinh a))))"
  (pow (tan (log1p a)) (log (pow a (sinh a)))))