sin (pi/3) cos (pi/3) = √3 / 4