The addition formula for sine and cosine