Double angle formulas

Invalid username
Login to AoPS