Average Error: 0.2 → 0.2
Time: 2.8s
Precision: binary64
\[\]
↓
\[\]
↓
double code(double x, double y) {
	return ((x - (16.0 / 116.0)) * 3.0) * y;
}

↓
double code(double x, double y) {
	return ((x - (16.0 / 116.0)) * 3.0) * y;
}

Error
Bits error versus x
Bits error versus y
Try it out
Your Program's Arguments
Results
Enter valid numbers for all inputs
Target
Original0.2
Target0.2
Herbie0.2
\[\]
Derivation
  1. Initial program 0.2
    \[\]
  2. Final simplification0.2
    \[\leadsto \]
Reproduce
herbie shell --seed 2020338 
(FPCore (x y)
  :name "Data.Colour.CIE:cieLAB from colour-2.3.3, A"
  :precision binary64

  :herbie-target
  (* y (- (* x 3.0) 0.41379310344827586))

  (* (* (- x (/ 16.0 116.0)) 3.0) y))