Average Error: 19.5 → 19.5
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 19.5

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

  2. Final simplification19.5

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

Reproduce

herbie shell --seed 2020153 
(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))))