How do you use the half angle identify to find the exact value of #sin(pi/8)#?