cos(20 degrees)