4*sqrt(2)*cos(Pi/4)*cos(7*Pi/3)