Angle addition formulae