Average Error: 0.0 → 0.0
Time: 1.0s
Precision: binary64
\[Plane1NormalY \cdot Plane2NormalZ - Plane1NormalZ \cdot Plane2NormalY\]
↓
\[Plane1NormalY \cdot Plane2NormalZ - Plane1NormalZ \cdot Plane2NormalY\]
Plane1NormalY \cdot Plane2NormalZ - Plane1NormalZ \cdot Plane2NormalY
↓
Plane1NormalY \cdot Plane2NormalZ - Plane1NormalZ \cdot Plane2NormalY
double code(double Plane1NormalY, double Plane2NormalZ, double Plane1NormalZ, double Plane2NormalY) {
	return ((double) (((double) (Plane1NormalY * Plane2NormalZ)) - ((double) (Plane1NormalZ * Plane2NormalY))));
}
↓
double code(double Plane1NormalY, double Plane2NormalZ, double Plane1NormalZ, double Plane2NormalY) {
	return ((double) (((double) (Plane1NormalY * Plane2NormalZ)) - ((double) (Plane1NormalZ * Plane2NormalY))));
}

Error

Bits error versus Plane1NormalY

Bits error versus Plane2NormalZ

Bits error versus Plane1NormalZ

Bits error versus Plane2NormalY

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.0

    \[Plane1NormalY \cdot Plane2NormalZ - Plane1NormalZ \cdot Plane2NormalY\]

  2. Final simplification0.0

    \[\leadsto Plane1NormalY \cdot Plane2NormalZ - Plane1NormalZ \cdot Plane2NormalY\]

Reproduce

herbie shell --seed 2020152 
(FPCore (Plane1NormalY Plane2NormalZ Plane1NormalZ Plane2NormalY)
  :name "(- (* Plane1NormalY Plane2NormalZ) (* Plane1NormalZ Plane2NormalY))"
  :precision binary64
  (- (* Plane1NormalY Plane2NormalZ) (* Plane1NormalZ Plane2NormalY)))