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