Half angle formula is literally just the double angle formula. The only other half angle thing is t-formula. Either way, you don’t really need to remember them as they are more or less derived from the “Compound angles” section of the formula sheet. If you can derive it from these formulae then it is in the syllabus.