Average Error: 1.6 → 0
Time: 6.2s
Precision: 64
Internal Precision: 320
\[\frac{1}{\log 1000} - \frac{1}{\log 300}\]
\[\frac{\log 300 - \log 1000}{\log 1000 \cdot \log 300}\]

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 1.6

      \[\frac{1}{\log 1000} - \frac{1}{\log 300}\]
    2. Using strategy rm
    3. Applied frac-sub0

      \[\leadsto \color{blue}{\frac{1 \cdot \log 300 - \log 1000 \cdot 1}{\log 1000 \cdot \log 300}}\]
    4. Applied simplify0

      \[\leadsto \frac{\color{blue}{\log 300 - \log 1000}}{\log 1000 \cdot \log 300}\]

    Runtime

    Time bar (total: 6.2s)Debug log

    herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)' 
    (FPCore ()
      :name "1/log(1000) - 1/log(300)"
      (- (/ 1 (log 1000)) (/ 1 (log 300))))