How do you use half angle formula to simplify #sin (3pi)/8#?