How do you find the value of #sin (22 1/2)# using the double or half angle formula?