How do you evaluate #cos ((11pi)/8)# using the half angle formula?