cos(12degrees)