(cos(7pi/12))*cos(5pi/12)=