по идеи в 3 тождество неверно т.к в конечном решение получается -sin a -2=1/cos^2a (у меня так получилось)
сворачиваем по формуле sin(a-b)=sinAcosB-cosAsinB