Sin (arccos0+2 arccos(-корень3/2)+2 arcctg(-корень3/3))

В задачке нужно найти синус суммы углов, которые представлены суммой выражений (arccos0+2 arccos(-корень3/2)+2 arcctg(-корень3/3).
В скобках представлены углы, косинус и тангенс которых представлен, это табличные углы.
Осмотрим каждое из выражений : 1) arccos0 = pi / 2 + 2*pi*n.
2) 2 arccos(-корень3/2) = 2 * 5 / 6 *pi + 2 * pi * n = pi /3 + 2 * pi * n.
3) 2 arcctg(-корень3/3) = 2 * (2 * pi / 3 )+ pi * n ..
Сейчас просуммируем полученные выражения углов : (pi / 2 + pi /3 +2 * 2 * pi / 3)  = 13 / 6 * pi . Теперь определим синус полученного угла :
sin (13 / 6 * pi ) = sin ( 2 * pi + pi / 6 ) = 1 / 2.