How do you use a half-angle formula to find #cos (pi/8)#?