Average Error: 24.9 → 24.9
Time: 900.0ms
Precision: binary64
\[\left(a \bmod \left(2 \cdot \pi\right)\right)\]
↓
\[\left(a \bmod \left(2 \cdot \pi\right)\right)\]
\left(a \bmod \left(2 \cdot \pi\right)\right)
↓
\left(a \bmod \left(2 \cdot \pi\right)\right)
double code(double a) {
	return ((double) fmod(a, ((double) (2.0 * ((double) M_PI)))));
}
↓
double code(double a) {
	return ((double) fmod(a, ((double) (2.0 * ((double) M_PI)))));
}

Error

Bits error versus a

Try it out

Your Program's Arguments

Results

Enter valid numbers for all inputs

Derivation

  1. Initial program 24.9

    \[\left(a \bmod \left(2 \cdot \pi\right)\right)\]

  2. Final simplification24.9

    \[\leadsto \left(a \bmod \left(2 \cdot \pi\right)\right)\]

Reproduce

herbie shell --seed 2020152 
(FPCore (a)
  :name "(fmod a (* 2 PI))"
  :precision binary64
  (fmod a (* 2.0 PI)))