\[\left(\log d + \left|c\right|\right) \cdot \tan d\]
Test:
(* (+ (log d) (fabs c)) (tan d))
Bits:
128 bits
Bits error versus a
Bits error versus b
Bits error versus c
Bits error versus d
Time: 11.8 s
Input Error: 0.2
Output Error: 0.3
Log: ⚲
Profile: 🕒
\(\frac{\left(\log d + \left|c\right|\right) \cdot \sin d}{\cos d}\)
  1. Started with
    \[\left(\log d + \left|c\right|\right) \cdot \tan d\]
    0.2
  2. Using strategy rm
    0.2
  3. Applied tan-quot to get
    \[\left(\log d + \left|c\right|\right) \cdot \color{red}{\tan d} \leadsto \left(\log d + \left|c\right|\right) \cdot \color{blue}{\frac{\sin d}{\cos d}}\]
    0.3
  4. Applied associate-*r/ to get
    \[\color{red}{\left(\log d + \left|c\right|\right) \cdot \frac{\sin d}{\cos d}} \leadsto \color{blue}{\frac{\left(\log d + \left|c\right|\right) \cdot \sin d}{\cos d}}\]
    0.3

Original test:


(lambda ((a default) (b default) (c default) (d default))
  #:name "(* (+ (log d) (fabs c)) (tan d))"
  (* (+ (log d) (fabs c)) (tan d)))