cos(75 degrees)