Average Error: 2.0 → 0
Time: 20.6s
Precision: 64
Internal Precision: 320
\[\frac{1}{700 \cdot \log 1000} - \frac{1}{700 \cdot \log 300}\]
\[\frac{700 \cdot \left(\log 300 - \log 1000\right)}{\left(\left(700 \cdot \log 1000\right) \cdot 700\right) \cdot \log 300}\]

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 2.0

      \[\frac{1}{700 \cdot \log 1000} - \frac{1}{700 \cdot \log 300}\]
    2. Using strategy rm
    3. Applied frac-sub1.0

      \[\leadsto \color{blue}{\frac{1 \cdot \left(700 \cdot \log 300\right) - \left(700 \cdot \log 1000\right) \cdot 1}{\left(700 \cdot \log 1000\right) \cdot \left(700 \cdot \log 300\right)}}\]
    4. Applied simplify1.0

      \[\leadsto \frac{\color{blue}{700 \cdot \left(\log 300 - \log 1000\right)}}{\left(700 \cdot \log 1000\right) \cdot \left(700 \cdot \log 300\right)}\]
    5. Using strategy rm
    6. Applied associate-*r*0

      \[\leadsto \frac{700 \cdot \left(\log 300 - \log 1000\right)}{\color{blue}{\left(\left(700 \cdot \log 1000\right) \cdot 700\right) \cdot \log 300}}\]

    Runtime

    Time bar (total: 20.6s)Debug log

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