Double and half angle trigonometric identities