Average Error: 0.1 → 0.1
Time: 1.1s
Precision: binary64
\[\frac{1.19999999999999996 + \frac{19}{v + 1}}{1 + e^{\frac{\left(1.01800000000000002 \cdot v + 50\right) - n}{0.25 \cdot v + 25}}}\]
↓
\[\frac{1.19999999999999996 + \frac{19}{v + 1}}{1 + e^{\frac{\left(1.01800000000000002 \cdot v + 50\right) - n}{0.25 \cdot v + 25}}}\]
\frac{1.19999999999999996 + \frac{19}{v + 1}}{1 + e^{\frac{\left(1.01800000000000002 \cdot v + 50\right) - n}{0.25 \cdot v + 25}}}
↓
\frac{1.19999999999999996 + \frac{19}{v + 1}}{1 + e^{\frac{\left(1.01800000000000002 \cdot v + 50\right) - n}{0.25 \cdot v + 25}}}
double code(double v, double n) {
	return ((double) (((double) (1.2 + ((double) (19.0 / ((double) (v + 1.0)))))) / ((double) (1.0 + ((double) exp(((double) (((double) (((double) (((double) (1.018 * v)) + 50.0)) - n)) / ((double) (((double) (0.25 * v)) + 25.0))))))))));
}
↓
double code(double v, double n) {
	return ((double) (((double) (1.2 + ((double) (19.0 / ((double) (v + 1.0)))))) / ((double) (1.0 + ((double) exp(((double) (((double) (((double) (((double) (1.018 * v)) + 50.0)) - n)) / ((double) (((double) (0.25 * v)) + 25.0))))))))));
}

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.19999999999999996 + \frac{19}{v + 1}}{1 + e^{\frac{\left(1.01800000000000002 \cdot v + 50\right) - n}{0.25 \cdot v + 25}}}\]

  2. Final simplification0.1

    \[\leadsto \frac{1.19999999999999996 + \frac{19}{v + 1}}{1 + e^{\frac{\left(1.01800000000000002 \cdot v + 50\right) - n}{0.25 \cdot v + 25}}}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (v n)
  :name "(/ (+ 1.2 (/ 19 (+ v 1))) (+ 1 (exp (/ (- (+ (* 1.018 v) 50) n) (+ (* 0.25 v) 25)))))"
  :precision binary64
  (/ (+ 1.2 (/ 19.0 (+ v 1.0))) (+ 1.0 (exp (/ (- (+ (* 1.018 v) 50.0) n) (+ (* 0.25 v) 25.0))))))