How do you use a half-angle formula to simplify #tan 67.5#?