cos(pi/3)sin(pi/6)=1/2(sin(pi/2)-sin(pi/6))