Вторая двойка избыточна, достаточно 
одной. 

Вот проверяющий код в Maple и картинка проверки: 
simplify(cot(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(sin(arctan(cos(arctan(2)))))))))))))))))))))))))))))))))))))))))))));

Пояснение. Пусть 

. Обозначим через 
 
 
'ую композицию функции 

. Легко проверить, что 

, 

. По индукции доказывается, что 

. В частности, 

Пусть теперь 

 и 

. Тогда 

В частности, 

 и 

. Задача решена. Убедил?
Сергей Маркелов