Average Error: 0.9 → 0.9
Time: 1.5s
Precision: binary64
\[\frac{e^{w1 \cdot x1 + w2 \cdot x2}}{e^{w1 \cdot x1 + w2 \cdot x2} + 1}\]
↓
\[\frac{e^{w1 \cdot x1 + w2 \cdot x2}}{e^{w1 \cdot x1 + w2 \cdot x2} + 1}\]
\frac{e^{w1 \cdot x1 + w2 \cdot x2}}{e^{w1 \cdot x1 + w2 \cdot x2} + 1}
↓
\frac{e^{w1 \cdot x1 + w2 \cdot x2}}{e^{w1 \cdot x1 + w2 \cdot x2} + 1}
double code(double w1, double x1, double w2, double x2) {
	return ((double) (((double) exp(((double) (((double) (w1 * x1)) + ((double) (w2 * x2)))))) / ((double) (((double) exp(((double) (((double) (w1 * x1)) + ((double) (w2 * x2)))))) + 1.0))));
}
↓
double code(double w1, double x1, double w2, double x2) {
	return ((double) (((double) exp(((double) (((double) (w1 * x1)) + ((double) (w2 * x2)))))) / ((double) (((double) exp(((double) (((double) (w1 * x1)) + ((double) (w2 * x2)))))) + 1.0))));
}

Error

Bits error versus w1

Bits error versus x1

Bits error versus w2

Bits error versus x2

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.9

    \[\frac{e^{w1 \cdot x1 + w2 \cdot x2}}{e^{w1 \cdot x1 + w2 \cdot x2} + 1}\]

  2. Final simplification0.9

    \[\leadsto \frac{e^{w1 \cdot x1 + w2 \cdot x2}}{e^{w1 \cdot x1 + w2 \cdot x2} + 1}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (w1 x1 w2 x2)
  :name "(/ (exp (+ (* w1 x1) (* w2 x2))) (+ (exp (+ (* w1 x1) (* w2 x2))) 1))"
  :precision binary64
  (/ (exp (+ (* w1 x1) (* w2 x2))) (+ (exp (+ (* w1 x1) (* w2 x2))) 1.0)))