How do you use the half angle formula for #sin ((5pi)/12)#?