sin(pi/6)