Cotangent half angle formula. Evaluating and proving half angle trigonometric identities...