cos(15 degrees)