How do you find the value of #cos ((23pi)/12)# using the double or half angle formula?