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.用于SAT竞赛（SAT Competition）的三角函数近似属性验证基准测试集族。本次实现的函数包括正弦（sine）、余弦（cosine）与正切（tangent）。上述三类函数均基于区间[-π/2, π/2]内的单一局部余弦实现，且针对该实现提供了三种不同的近似方法。