Sin and Cos are typically defined as “Here’s some weird infinite sums” from which they deduce the behaviours. Indeed, pi is typically defined in terms of the first positive zero of the sin function.