\[\log x - \log \left(\log x\right)\]
Test:
Jmat.Real.lambertw, estimator
Bits:
128 bits
Bits error versus x
Time: 4.9 s
Input Error: 0.3
Output Error: 0.0
Log:
Profile: 🕒
\(\log \left(\frac{x}{\log x}\right)\)
  1. Started with
    \[\log x - \log \left(\log x\right)\]
    0.3
  2. Using strategy rm
    0.3
  3. Applied diff-log to get
    \[\color{red}{\log x - \log \left(\log x\right)} \leadsto \color{blue}{\log \left(\frac{x}{\log x}\right)}\]
    0.0

  4. Removed slow pow expressions

Original test:


(lambda ((x default))
  #:name "Jmat.Real.lambertw, estimator"
  (- (log x) (log (log x))))