№ 11475

Найдите сумму целых чисел, которые принадлежат множеству значений функции \[ f(x)=\log_2\left(15\cos2x+17\right) \] при \[ x\in\left[\frac{5}{3}\operatorname{arctg}\left(\frac{1}{7}\right)\cos\left(\pi+\arcsin(-0{,}8)\right);\ \operatorname{arctg}2\right]. \]