\[{\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.2
Log: ⚲
Profile: 🕒
\({\left((e^{\log_* (1 + \tan \left(\log_* (1 + a)\right))} - 1)^*\right)}^{\left(\log \left({a}^{\left((e^{\log_* (1 + \sinh a)} - 1)^*\right)}\right)\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 expm1-log1p-u 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((e^{\log_* (1 + \sinh a)} - 1)^*\right)}}\right)\right)}\]
    0.2
  4. Using strategy rm
    0.2
  5. Applied expm1-log1p-u to get
    \[{\color{red}{\left(\tan \left(\log_* (1 + a)\right)\right)}}^{\left(\log \left({a}^{\left((e^{\log_* (1 + \sinh a)} - 1)^*\right)}\right)\right)} \leadsto {\color{blue}{\left((e^{\log_* (1 + \tan \left(\log_* (1 + a)\right))} - 1)^*\right)}}^{\left(\log \left({a}^{\left((e^{\log_* (1 + \sinh a)} - 1)^*\right)}\right)\right)}\]
    0.2

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