How do you use a half-angle formula to simplify #tan[ (7pi) / 8 ]#?