Simplify cos(75 degrees )