Error

Derivation

1. Initial program 0.3

   \[\log x - \log \left(\log x\right)\]
2. Using strategy rm

3. Applied add-log-exp0.3

   \[\leadsto \color{blue}{\log \left(e^{\log x}\right)} - \log \left(\log x\right)\]

4. Applied diff-log0.3

   \[\leadsto \color{blue}{\log \left(\frac{e^{\log x}}{\log x}\right)}\]

5. Simplified0.0

   \[\leadsto \log \color{blue}{\left(\frac{x}{\log x}\right)}\]

6. Final simplification0.0

   \[\leadsto \log \left(\frac{x}{\log x}\right)\]

Reproduce

herbie shell --seed 2019088 +o rules:numerics
(FPCore (x)
  :name "Jmat.Real.lambertw, estimator"
  (- (log x) (log (log x))))