Average Error: 0 → 0
Time: 291.0ms
Precision: binary64
\[Cos2x\]
↓
\[Cos2x\]
Cos2x
↓
Cos2x
double code(double Cos2x) {
	return Cos2x;
}
↓
double code(double Cos2x) {
	return Cos2x;
}

Error

Bits error versus Cos2x

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0

    \[Cos2x\]

  2. Final simplification0

    \[\leadsto Cos2x\]

Reproduce

herbie shell --seed 2020152 
(FPCore (Cos2x)
  :name "Cos2x"
  :precision binary64
  Cos2x)