sin(pi/13)^2