How do you use the half angle formula to find #sin ((9pi)/ 8)#?