Похоже на опечатку, потому что упрощение ничего не дает:
sin(55) = sin(90 - 35) = cos(35)
cos(35) - cos(55) = 2*sin(45)*sin(10) = sqrt(2)*sin(10)
Подставив в исходное, получим:
(sqrt(2)/2) * sqtr(2) *sin(10) = sin(10)
А численное значение выражения, полученное программно не совпадает ни с одним из вариантов.