Average Error: 22.7 → 22.7
Time: 1.2s
Precision: binary64
\[\frac{l1ptl12 \cdot l13 - l1ptl13 \cdot l12l13}{l12 \cdot l13 - l12l13 \cdot l12l13}\]
↓
\[\frac{l1ptl12 \cdot l13 - l1ptl13 \cdot l12l13}{l12 \cdot l13 - l12l13 \cdot l12l13}\]
\frac{l1ptl12 \cdot l13 - l1ptl13 \cdot l12l13}{l12 \cdot l13 - l12l13 \cdot l12l13}
↓
\frac{l1ptl12 \cdot l13 - l1ptl13 \cdot l12l13}{l12 \cdot l13 - l12l13 \cdot l12l13}
double code(double l1ptl12, double l13, double l1ptl13, double l12l13, double l12) {
	return ((double) (((double) (((double) (l1ptl12 * l13)) - ((double) (l1ptl13 * l12l13)))) / ((double) (((double) (l12 * l13)) - ((double) (l12l13 * l12l13))))));
}
↓
double code(double l1ptl12, double l13, double l1ptl13, double l12l13, double l12) {
	return ((double) (((double) (((double) (l1ptl12 * l13)) - ((double) (l1ptl13 * l12l13)))) / ((double) (((double) (l12 * l13)) - ((double) (l12l13 * l12l13))))));
}

Error

Bits error versus l1ptl12

Bits error versus l13

Bits error versus l1ptl13

Bits error versus l12l13

Bits error versus l12

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 22.7

    \[\frac{l1ptl12 \cdot l13 - l1ptl13 \cdot l12l13}{l12 \cdot l13 - l12l13 \cdot l12l13}\]

  2. Final simplification22.7

    \[\leadsto \frac{l1ptl12 \cdot l13 - l1ptl13 \cdot l12l13}{l12 \cdot l13 - l12l13 \cdot l12l13}\]

Reproduce

herbie shell --seed 2020153 
(FPCore (l1ptl12 l13 l1ptl13 l12l13 l12)
  :name "(/ (- (* l1ptl12 l13) (* l1ptl13 l12l13)) (- (* l12 l13) (* l12l13 l12l13)))"
  :precision binary64
  (/ (- (* l1ptl12 l13) (* l1ptl13 l12l13)) (- (* l12 l13) (* l12l13 l12l13))))