cos 13° * cos 17° − sin 13° * sin 17°

Результат: cos(13° + 17°) = cos(30°) = √3/2.