Compute sin(2 * 30°) = 2sin 30° cos 30° . Verify it equals sin 60°