Сначал можно понизить степень: sin^2 x = (1 - cos 2x)/2
А затем использовать формулу косинуса разности.