Average Error: 17.8 → 17.8
Time: 1.2s
Precision: binary64
\[\frac{\left(x - b\right) \cdot \left(c - d\right)}{a - b} + c\]
↓
\[\frac{\left(x - b\right) \cdot \left(c - d\right)}{a - b} + c\]
\frac{\left(x - b\right) \cdot \left(c - d\right)}{a - b} + c
↓
\frac{\left(x - b\right) \cdot \left(c - d\right)}{a - b} + c
double code(double x, double b, double c, double d, double a) {
	return ((double) (((double) (((double) (((double) (x - b)) * ((double) (c - d)))) / ((double) (a - b)))) + c));
}
↓
double code(double x, double b, double c, double d, double a) {
	return ((double) (((double) (((double) (((double) (x - b)) * ((double) (c - d)))) / ((double) (a - b)))) + c));
}

Error

Bits error versus x

Bits error versus b

Bits error versus c

Bits error versus d

Bits error versus a

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 17.8

    \[\frac{\left(x - b\right) \cdot \left(c - d\right)}{a - b} + c\]

  2. Final simplification17.8

    \[\leadsto \frac{\left(x - b\right) \cdot \left(c - d\right)}{a - b} + c\]

Reproduce

herbie shell --seed 2020153 
(FPCore (x b c d a)
  :name "(+ (/ (* (- x b) (- c d)) (- a b)) c)"
  :precision binary64
  (+ (/ (* (- x b) (- c d)) (- a b)) c))