Как получили последнюю строку? Вроде должно получиться неравенство cost>=1/2 => -arcos1/2+2Pi*n <= t <= arcos1/2+2Pi*n или -Pi/3+2Pi*n <= t <= Pi/3+2Pi*n