Average Error: 0.1 → 0.0
Time: 50.1s
Precision: 64
Internal Precision: 576
$\frac{1.2 + \frac{19}{v + 1}}{1 + e^{\frac{\left(1.018 \cdot v + 50\right) - n}{0.25 \cdot v + 25}}}$
$\frac{1.2 + \frac{19}{v + 1}}{1 + \frac{e^{\frac{1.018 \cdot v + 50}{0.25 \cdot v + 25}}}{e^{\frac{n}{0.25 \cdot v + 25}}}}$

# Try it out

Results

 In Out
Enter valid numbers for all inputs

# Derivation

1. Initial program 0.1

$\frac{1.2 + \frac{19}{v + 1}}{1 + e^{\frac{\left(1.018 \cdot v + 50\right) - n}{0.25 \cdot v + 25}}}$
2. Using strategy rm
3. Applied div-sub0.1

$\leadsto \frac{1.2 + \frac{19}{v + 1}}{1 + e^{\color{blue}{\frac{1.018 \cdot v + 50}{0.25 \cdot v + 25} - \frac{n}{0.25 \cdot v + 25}}}}$
4. Applied exp-diff0.0

$\leadsto \frac{1.2 + \frac{19}{v + 1}}{1 + \color{blue}{\frac{e^{\frac{1.018 \cdot v + 50}{0.25 \cdot v + 25}}}{e^{\frac{n}{0.25 \cdot v + 25}}}}}$

# Runtime

Time bar (total: 50.1s)Debug log

herbie shell --seed '#(2775764126 3555076145 3898259844 1891440260 2599947619 1948460636)'
(FPCore (v n)
:name "(1.2 + 19/(v+1)) / (1 + exp((1.018v + 50 - n)/(.25v + 25)))"
(/ (+ 1.2 (/ 19 (+ v 1))) (+ 1 (exp (/ (- (+ (* 1.018 v) 50) n) (+ (* 0.25 v) 25))))))