Copy of The addition formula for sine and cosine