Half angle and power reduction formulae (#46)