These are derived from the compound angle formulae