cos(25 degrees)