Average Error: 1.0 → 0
Time: 5.6s
Precision: 64
Internal Precision: 320
\[\frac{\frac{1}{\log 500} - \frac{1}{\log 1000}}{700}\]
\[\frac{\sqrt[3]{\frac{1}{\log 500} - \frac{1}{\log 1000}} \cdot \sqrt[3]{\frac{1}{\log 500} - \frac{1}{\log 1000}}}{\frac{700}{\sqrt[3]{\frac{1}{\log 500} - \frac{1}{\log 1000}}}}\]

Error

Try it out

Your Program's Arguments

    Results

    Enter valid numbers for all inputs

    Derivation

    1. Initial program 1.0

      \[\frac{\frac{1}{\log 500} - \frac{1}{\log 1000}}{700}\]
    2. Using strategy rm
    3. Applied add-cube-cbrt0

      \[\leadsto \frac{\color{blue}{\left(\sqrt[3]{\frac{1}{\log 500} - \frac{1}{\log 1000}} \cdot \sqrt[3]{\frac{1}{\log 500} - \frac{1}{\log 1000}}\right) \cdot \sqrt[3]{\frac{1}{\log 500} - \frac{1}{\log 1000}}}}{700}\]
    4. Applied associate-/l*0

      \[\leadsto \color{blue}{\frac{\sqrt[3]{\frac{1}{\log 500} - \frac{1}{\log 1000}} \cdot \sqrt[3]{\frac{1}{\log 500} - \frac{1}{\log 1000}}}{\frac{700}{\sqrt[3]{\frac{1}{\log 500} - \frac{1}{\log 1000}}}}}\]

    Runtime

    Time bar (total: 5.6s)Debug log

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