cos(-pi/6)