How do you use a half-angle formula to find the exact value of #cos((3pi)/8)#?