Average Error: 0.0 → 0.0
Time: 962.0ms
Precision: binary64
\[sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213\]
↓
\[sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213\]
sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213
↓
sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213
double code(double sqLength12, double sqLength13, double scal1213) {
	return ((double) (((double) (sqLength12 * sqLength13)) - ((double) (scal1213 * scal1213))));
}
↓
double code(double sqLength12, double sqLength13, double scal1213) {
	return ((double) (((double) (sqLength12 * sqLength13)) - ((double) (scal1213 * scal1213))));
}

Error

Bits error versus sqLength12

Bits error versus sqLength13

Bits error versus scal1213

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213\]

  2. Final simplification0.0

    \[\leadsto sqLength12 \cdot sqLength13 - scal1213 \cdot scal1213\]

Reproduce

herbie shell --seed 2020152 
(FPCore (sqLength12 sqLength13 scal1213)
  :name "(- (* sqLength12 sqLength13) (* scal1213 scal1213))"
  :precision binary64
  (- (* sqLength12 sqLength13) (* scal1213 scal1213)))