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