Half-angle identities - Problem type 1