(((2^(15+2)*(Sqrt[2-2*Sqrt[(Cos[(Pi/(2^(15+1)))]+1)/2]]))))