SAT Competition Benchmark – Trigonometric Functions

Benchmark family for the SAT Competition verifying properties of trigonometric function approximations. The implemented functions are sine, cosine and tangent. All three functions are composed of a single partial cosine implementation in the interval [-π/2, π/2] for which three different methods of approximation are provided.