but for this case especial:

that are Half angle formulas and I show you the born of this formulas, the Half angle formulas born too for this

now for Sum or Difference as a Product, is only an identity

to tangent is easily deducible but if you want that i post the formulas, only ask for it