How do you simplify cos (sin^-1(1/2))?