Tan7pi8 Using Half Angle Formula