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