cos(75) = x/2