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

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