\[{\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: 14.2 s
Input Error: 0.2
Output Error: 0.0
Log: ⚲
Profile: 🕒
\({\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left({\left(\sqrt[3]{\sinh a}\right)}^3 \cdot \log a\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. Using strategy rm
    0.2
  3. Applied add-cube-cbrt to get
    \[{\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\log \left({a}^{\color{red}{\left(\sinh a\right)}}\right)\right)} \leadsto {\left(\tan \left(\log_* (1 + a)\right)\right)}^{\left(\log \left({a}^{\color{blue}{\left({\left(\sqrt[3]{\sinh a}\right)}^3\right)}}\right)\right)}\]
    0.2
  4. Using strategy rm
    0.2
  5. Applied log-pow to get
    \[{\left(\tan \left(\log_* (1 + a)\right)\right)}^{\color{red}{\left(\log \left({a}^{\left({\left(\sqrt[3]{\sinh a}\right)}^3\right)}\right)\right)}} \leadsto {\left(\tan \left(\log_* (1 + a)\right)\right)}^{\color{blue}{\left({\left(\sqrt[3]{\sinh a}\right)}^3 \cdot \log a\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)))))