How do you use the sum and difference identity to evaluate #sin(pi/12)#?