Average Error: 0.1 → 0.1
Time: 1.1s
Precision: binary64
\[cy + radius4 \cdot \cos angle\]
↓
\[cy + radius4 \cdot \cos angle\]
cy + radius4 \cdot \cos angle
↓
cy + radius4 \cdot \cos angle
double code(double cy, double radius4, double angle) {
	return ((double) (cy + ((double) (radius4 * ((double) cos(angle))))));
}
↓
double code(double cy, double radius4, double angle) {
	return ((double) (cy + ((double) (radius4 * ((double) cos(angle))))));
}

Error

Bits error versus cy

Bits error versus radius4

Bits error versus angle

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 0.1

    \[cy + radius4 \cdot \cos angle\]

  2. Final simplification0.1

    \[\leadsto cy + radius4 \cdot \cos angle\]

Reproduce

herbie shell --seed 2020153 
(FPCore (cy radius4 angle)
  :name "(+ cy (* radius4 (cos angle)))"
  :precision binary64
  (+ cy (* radius4 (cos angle))))