Average Error: 20.0 → 20.0
Time: 1.4s
Precision: binary64
\[\frac{b1 \cdot a2 - b2 \cdot a1}{c1 \cdot a2 - c2 \cdot a1}\]
↓
\[\frac{b1 \cdot a2 - b2 \cdot a1}{c1 \cdot a2 - c2 \cdot a1}\]
\frac{b1 \cdot a2 - b2 \cdot a1}{c1 \cdot a2 - c2 \cdot a1}
↓
\frac{b1 \cdot a2 - b2 \cdot a1}{c1 \cdot a2 - c2 \cdot a1}
double code(double b1, double a2, double b2, double a1, double c1, double c2) {
	return ((double) (((double) (((double) (b1 * a2)) - ((double) (b2 * a1)))) / ((double) (((double) (c1 * a2)) - ((double) (c2 * a1))))));
}
↓
double code(double b1, double a2, double b2, double a1, double c1, double c2) {
	return ((double) (((double) (((double) (b1 * a2)) - ((double) (b2 * a1)))) / ((double) (((double) (c1 * a2)) - ((double) (c2 * a1))))));
}

Error

Bits error versus b1

Bits error versus a2

Bits error versus b2

Bits error versus a1

Bits error versus c1

Bits error versus c2

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 20.0

    \[\frac{b1 \cdot a2 - b2 \cdot a1}{c1 \cdot a2 - c2 \cdot a1}\]

  2. Final simplification20.0

    \[\leadsto \frac{b1 \cdot a2 - b2 \cdot a1}{c1 \cdot a2 - c2 \cdot a1}\]

Reproduce

herbie shell --seed 2020152 
(FPCore (b1 a2 b2 a1 c1 c2)
  :name "(/ (- (* b1 a2) (* b2 a1)) (- (* c1 a2) (* c2 a1)))"
  :precision binary64
  (/ (- (* b1 a2) (* b2 a1)) (- (* c1 a2) (* c2 a1))))