How do you find the value of #sin15# using the double or half angle formula?