Double angle formula of cos. Building from our formula Double angle fo...