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}}}}$

# Try it out

Your Program's Arguments

Results

 In Out
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))