How do you use the half angle formula for
sin (5π/12)?
sin (5π/12)?