Average Error: 7.3 → 7.3
Time: 2.6s
Precision: binary64
\[\frac{\left(b_1 - a_12 \cdot x_2\right) - a_13 \cdot x_3}{a_11}\]
↓
\[\frac{\left(b_1 - a_12 \cdot x_2\right) - a_13 \cdot x_3}{a_11}\]
\frac{\left(b_1 - a_12 \cdot x_2\right) - a_13 \cdot x_3}{a_11}
↓
\frac{\left(b_1 - a_12 \cdot x_2\right) - a_13 \cdot x_3}{a_11}
double code(double b_1, double a_12, double x_2, double a_13, double x_3, double a_11) {
	return ((double) (((double) (((double) (b_1 - ((double) (a_12 * x_2)))) - ((double) (a_13 * x_3)))) / a_11));
}
↓
double code(double b_1, double a_12, double x_2, double a_13, double x_3, double a_11) {
	return ((double) (((double) (((double) (b_1 - ((double) (a_12 * x_2)))) - ((double) (a_13 * x_3)))) / a_11));
}

Error

Bits error versus b_1

Bits error versus a_12

Bits error versus x_2

Bits error versus a_13

Bits error versus x_3

Bits error versus a_11

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 7.3

    \[\frac{\left(b_1 - a_12 \cdot x_2\right) - a_13 \cdot x_3}{a_11}\]

  2. Final simplification7.3

    \[\leadsto \frac{\left(b_1 - a_12 \cdot x_2\right) - a_13 \cdot x_3}{a_11}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (b_1 a_12 x_2 a_13 x_3 a_11)
  :name "(/ (- (- b_1 (* a_12 x_2)) (* a_13 x_3)) a_11)"
  :precision binary64
  (/ (- (- b_1 (* a_12 x_2)) (* a_13 x_3)) a_11))