Подскажите ,как определить значение функции cos 13пи/8