sin2x = 2*sin 3^0.5/2 * cos (-1/2)