How do you use the half angle formula to simplify #sin^2(pi/6)#?