cos(pi/3)