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}}}}\]

Error

Bits error versus v

Bits error versus n

Try it out

Your Program's Arguments

Results

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