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

# Try it out

Results

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